Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Structure theorem for abelian groups

  1. Jul 3, 2011 #1
    So say you have a presentation matrix A for a module, and you diagonalise it and you get something like diag[1,5] well you can interpret that as A can be broken down as the direct sum of 1+Z/5Z. That is the trivial group of just the identity plus cyclic 5. What if your module is defined over the ring of polynomials, and after you diagonalise your presentation matrix you get something like
    diag[1,(t-1)^2(t-2)]? How do I interpret this? What is the cyclic group something like
    (t-1)^2(t-2) would represent?
     
  2. jcsd
  3. Jul 4, 2011 #2

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    I assume you are working with k[X]. Your presentation matrix of M is

    [tex]A=\left(\begin{array}{cc} 1 & 0\\ 0 & (X-1)^2(X-2)\\ \end{array}\right)[/tex]

    Let the map corresponding to this matrix by [itex]\alpha:k[X]^2\rightarrow k[X]^2[/itex]. Then we know that

    [tex]M\cong k[X]^2/\alpha k[X]^2[/tex]

    Now, let {e,e'} be a basis corresponding to A, then we know that [itex]\alpha k[X][/itex] is generated by [itex]\{e,(X-1)^2(X-2)e'\}[/itex]

    Thus

    [tex]M\cong k[X]^2/\alpha k[X]^2=k[X]\times (k[X]/(X-1)^2(X-2))[/tex]
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook