Skip to main content

Timeline for Homocyclic primary module over PID

Current License: CC BY-SA 3.0

4 events
when toggle format what by license comment
Jul 13, 2013 at 13:17 comment added Binzhou Xia Following is the way I can think of to work for the case when some $s_i=0$. Get $m_i$'s in your argument for nonzero $s_i$'s, and prove that they are $R$-linearly independent by showing a correspinding minor of $A$ is invertible mod $p^s$. Then extend these $m_i$'s to an $R$-basis of $M$ as $M$ is homocyclic. Is there any simpler way?
Jun 27, 2013 at 16:47 vote accept Binzhou Xia
Jun 27, 2013 at 12:13 vote accept Binzhou Xia
Jun 27, 2013 at 12:13
Jun 26, 2013 at 13:36 history answered Neil Strickland CC BY-SA 3.0