Results 1 to 3 of 3

Thread: Tensor product and Algebras

  1. #1
    Junior Member
    Joined
    Sep 2009
    Posts
    27

    Tensor product and Algebras

    ...
    Last edited by dabien; Dec 7th 2009 at 07:57 PM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by dabien View Post
    Suppose we have finite field extensions B and K of F of respective degrees m and n, all contained in some larger field of E.

    Prove that the set of all finite linear combinations with coefficients in F of elements of E of the form $\displaystyle \alpha*\gamma$ with $\displaystyle \alpha \in B$, $\displaystyle \gamma \in K$ already form a subfield of E.
    what is $\displaystyle *$ supposed to mean? is it the usual multiplication? if so, then write $\displaystyle \alpha \gamma$ not $\displaystyle \alpha * \gamma.$
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    i'll show the set of all finite linear combinations of the form $\displaystyle \alpha \gamma, \ \alpha \in B, \ \gamma \in K$ with coefficients in $\displaystyle F$ by $\displaystyle Q.$ clearly $\displaystyle Q$ is a subring of $\displaystyle E$ and $\displaystyle F \subseteq Q.$ also note that every element of $\displaystyle Q$ is algebraic

    over $\displaystyle F$ because $\displaystyle B,K$ are algebraic over $\displaystyle F.$ now let $\displaystyle 0 \neq q \in Q.$ let $\displaystyle f(x) =\sum_{i=0}^r a_ix^i \in F[x], \ a_r=1,$ be the minimal polynomial of $\displaystyle q.$ so $\displaystyle q^r + \cdots + a_1q + a_0 = 0.$ the assumption $\displaystyle a_0 = 0$ will contradict the minimality of $\displaystyle f(x)$ because $\displaystyle E$ is an integral domain. so $\displaystyle a_0 \neq 0$ and hence $\displaystyle qa_0^{-1}(- q^{r-1} - \cdots - a_1)=1.$ therefore $\displaystyle q$ is invertible in $\displaystyle Q$, because $\displaystyle q^{-1}=a_0^{-1}(-q^{r-1} - \cdots - a_1) \in Q.$
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Tensor product and basis
    Posted in the Differential Geometry Forum
    Replies: 13
    Last Post: Jan 24th 2011, 02:47 PM
  2. tensor product
    Posted in the Advanced Algebra Forum
    Replies: 6
    Last Post: Aug 26th 2010, 11:51 AM
  3. Trace of a tensor product
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: Mar 26th 2010, 03:15 AM
  4. example, tensor product
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Feb 12th 2010, 11:41 AM
  5. Tensor product constructs
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: Jan 17th 2010, 03:22 PM

Search Tags


/mathhelpforum @mathhelpforum