Skip to main content
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
Source Link

I posed the question herehere, but get no answers yet.

Let $R$ be a PID, $M$ be an $R$-module. If $M$ is isomorphic to $r$ copies of cyclic primary module $R/\langle p^s\rangle$ where $p$ is a prime element of $R$, then does $M$ possess the following property?

Given any submodule $N$ of $M$ isomorphic to $R/\langle p^{s_1}\rangle\oplus\cdots\oplus R/\langle p^{s_r}\rangle$, $M/N$ is isomorphic to $R/\langle p^{s-s_1}\rangle\oplus\cdots\oplus R/\langle p^{s-s_r}\rangle$.

I posed the question here, but get no answers yet.

Let $R$ be a PID, $M$ be an $R$-module. If $M$ is isomorphic to $r$ copies of cyclic primary module $R/\langle p^s\rangle$ where $p$ is a prime element of $R$, then does $M$ possess the following property?

Given any submodule $N$ of $M$ isomorphic to $R/\langle p^{s_1}\rangle\oplus\cdots\oplus R/\langle p^{s_r}\rangle$, $M/N$ is isomorphic to $R/\langle p^{s-s_1}\rangle\oplus\cdots\oplus R/\langle p^{s-s_r}\rangle$.

I posed the question here, but get no answers yet.

Let $R$ be a PID, $M$ be an $R$-module. If $M$ is isomorphic to $r$ copies of cyclic primary module $R/\langle p^s\rangle$ where $p$ is a prime element of $R$, then does $M$ possess the following property?

Given any submodule $N$ of $M$ isomorphic to $R/\langle p^{s_1}\rangle\oplus\cdots\oplus R/\langle p^{s_r}\rangle$, $M/N$ is isomorphic to $R/\langle p^{s-s_1}\rangle\oplus\cdots\oplus R/\langle p^{s-s_r}\rangle$.

Source Link
Binzhou Xia
  • 767
  • 4
  • 15

Homocyclic primary module over PID

I posed the question here, but get no answers yet.

Let $R$ be a PID, $M$ be an $R$-module. If $M$ is isomorphic to $r$ copies of cyclic primary module $R/\langle p^s\rangle$ where $p$ is a prime element of $R$, then does $M$ possess the following property?

Given any submodule $N$ of $M$ isomorphic to $R/\langle p^{s_1}\rangle\oplus\cdots\oplus R/\langle p^{s_r}\rangle$, $M/N$ is isomorphic to $R/\langle p^{s-s_1}\rangle\oplus\cdots\oplus R/\langle p^{s-s_r}\rangle$.