Results 1 to 3 of 3

Math Help - Endomorphisms of a finitely generated abelian group

  1. #1
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7

    Endomorphisms of a finitely generated abelian group

    I think this is a nice problem:

    Problem. Explicitly describe the (ring of) endomorphisms of a finitely generated abelian group G.

    The answer should be in a matrix form.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Swlabr's Avatar
    Joined
    May 2009
    Posts
    1,176

    Re: Endomorphisms of a finitely generated abelian group

    Well, almost by definition the set of m\times m matrices with entries from \mathbb{Z}_{n^a} form the endomorphism ring of \mathbb{Z}_{n^a}^m (with n\in\mathbb{N}\cup\{\infty\}, \mathbb{Z}_{\infty}:=\mathbb{Z}). So the question is "how do we pin these together?" Basically, you pin them together by assuming you have your fgab in a "collected" form, with different copies of isomorphic groups beside each other,

    G\cong \mathbb{Z}_{n_1^{a_1}}^{m_1}\times\mathbb{Z}_{n_2^  {a_2}}^{m_2}\times\ldots\times\mathbb{Z}_{n_p^{a_p  }}^{m_p} where \mathbb{Z}_{n_i^{a_i}} appears nowhere else in the decomposition of your group.

    Then, your ring of endomorphisms is the ring of m_1+m_2+\ldots+m_p matrices, where the top m_1 elements on the diagonal, and the m_1\times m_1 square around them, have entries from \mathbb{Z}_{n_1^{a_1}}, the (m_1+1)^{th} to the m_1+m_2 elements on the diagonal, and the m_2\times m_2 square around them have entries from \mathbb{Z}_{n_2^{a_2}}, etc. Everywhere else is zero.

    Clearly all such matrices form a ring, and clearly they are endomorphisms of the abelian group. It is then sufficient to prove that every endomorphism appears in this way, but that is routine...and would take too long to type (I'm lazy).
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor

    Joined
    May 2008
    Posts
    2,295
    Thanks
    7

    Re: Endomorphisms of a finitely generated abelian group

    yes, we first use the fundamental theorem for finitely generated abelian groups and then, for abelian groups G_i, we apply the ring isomorphism \text{End} \left (\bigoplus_{i=1}^n G_i \right ) \cong R, where R is the matrix ring whose (i,j)-entry is \text{Hom}(G_j,G_i). so we just need to find \text{Hom}(G_j,G_i), where G_i and G_j are cyclic groups (finite or infinite). that's the idea but the full solution is quite long.
    Last edited by NonCommAlg; September 8th 2011 at 03:27 PM.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Finitely Generated Abelian Groups
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: March 4th 2012, 05:32 AM
  2. Finitely generated
    Posted in the Advanced Algebra Forum
    Replies: 2
    Last Post: October 9th 2011, 10:41 AM
  3. Is this group finitely generated? (Omega_infinity)
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: August 18th 2010, 08:36 AM
  4. finitely generated Abelian groups
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: April 19th 2009, 02:34 AM
  5. Replies: 5
    Last Post: January 22nd 2007, 07:51 PM

Search Tags


/mathhelpforum @mathhelpforum