Results 1 to 5 of 5

Math Help - Why is the Endomorphism ring of a finite dimensional central simple algebra...

  1. #1
    Newbie
    Joined
    Nov 2009
    Posts
    6

    Why is the Endomorphism ring of a finite dimensional central simple algebra...

    Why is the Endomorphism ring of a finite dimensional central simple algebra isomorphic to the matrix ring over the centre/underlying field having dimension n^2, where n is the dimension of the algebra over the field?
    Last edited by mr fantastic; May 6th 2010 at 04:38 AM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Member
    Joined
    May 2010
    Posts
    95
    Quote Originally Posted by percimbe View Post
    Why is the Endomorphism ring of a finite dimensional central simple algebra isomorphic to the matrix ring over the centre/underlying field having dimension n^2, where n is the dimension of the algebra over the field?
    This is my attempt:

    Think of a central simple algebra V is a vector space over K with additional conditions.

    More generally,
    If V \cong m_1V^{(1)} \oplus m_2V^{(2)} \cdots \oplus m_kV^{(k)}, then \text{End V} \cong \bigoplus_{i=1}^k \text{Mat}_{m_i}.

    Since V is simple, \text{End V} \cong \text{Mat}_{m_1}, where m_1=n (since V is a central simple algebra of a dimension n) and \text{dim (End V)} = n^2.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Banned
    Joined
    Oct 2009
    Posts
    4,261
    Quote Originally Posted by percimbe View Post
    Why is the Endomorphism ring of a finite dimensional central simple algebra isomorphic to the matrix ring over the centre/underlying field having dimension n^2, where n is the dimension of the algebra over the field?


    This is exactly what Artin-Wedderburn's theorem states...

    Tonio
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Newbie
    Joined
    Nov 2009
    Posts
    6
    Thank you both. My second question is:

    As you know, a finite dimensional simple algebra is isomorphic to a matrix ring of a division ring.

    If the algebra is central, why is the division ring then central?

    Is it because the center of the division ring has to be contained in the centre of the matrix ring? Thus it must be the underlying field. Doesn't hurt to double check!!!
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7
    Quote Originally Posted by percimbe View Post
    Why is the Endomorphism ring of a finite dimensional central simple algebra isomorphic to the matrix ring over the centre/underlying field having dimension n^2, where n is the dimension of the algebra over the field?
    this is just a simple linear algebra fact and it's true for any finite dimensional algebra. in general, for any finite dimensional K-vector space A with \dim_K A=n, we have End_K (A) \cong M_n(K)

    and so \dim_K End_K(A)=n^2. you might have meant this fact about a K-central simple algebra A, which is far from being trivial: A \otimes_K A^{op} \cong End_K(A).
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Central simple algebra
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: April 12th 2010, 12:45 AM
  2. Replies: 1
    Last Post: February 25th 2010, 01:15 AM
  3. Ring of Endomorphism =3
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: December 23rd 2009, 05:12 PM
  4. Replies: 1
    Last Post: October 15th 2008, 11:34 AM
  5. Linear Algebra, finite-dimensional null space and range
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: September 25th 2008, 08:01 AM

Search Tags


/mathhelpforum @mathhelpforum