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
    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]


    [tex]M\cong k[X]^2/\alpha k[X]^2=k[X]\times (k[X]/(X-1)^2(X-2))[/tex]
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook