
#1
Jan1613, 10:20 AM

P: 245

A Theorem in our textbook says...
If R is a PID, then every finitely generated torision Rmodule M is a direct sum of cyclic modules [tex]M= R/(c_1) \bigoplus R/(c_2) \bigoplus ... \bigoplus R/(c_t)[/tex] where [tex]t \geq 1[/tex] and [tex]c_1  c_2  ...  c_t [/tex]. There is an example from our textbook that I attached...they find the invariant factors from the elementary divisors. But what if we had to find the invariant factors without being given the elementary divisors. How would we do that? Thanks in advance 



#2
Jan1813, 03:00 PM

Sci Advisor
HW Helper
P: 9,428

well you have to be given something. i have some examples in my book on my webpage.
to be "given" a f.g. module usually means to be given a "presentation" as a quotient of two free modules. such a quotient is specified by a matrix. then you diagonalize that presentation matrix. see the discussion here: http://www.math.uga.edu/%7Eroy/8451.pdf 


Register to reply 
Related Discussions  
Lagrangian invariant but Action is gauge invariant  Advanced Physics Homework  1  
xray question about form factors  Advanced Physics Homework  0  
a question about factoring and factors  Linear & Abstract Algebra  1  
Invariant stress tensor = Invariant force?  Advanced Physics Homework  0 