# Tagged Questions

25 views

### Help understanding statement relating to structure of modules over PIDs

Lemma IV.6.11 of Hungerford's Algebra is Lemma 6.11. Let $R$ be a principal ideal domain. If $r \in R$ factors as $r = p_1^{n_1} \cdots p_k^{n_k}$ with $p_1,\ldots,p_k \in R$ distinct primes and ...
64 views

### module over a quotient of a principal ideal domain

The Statement I suspect the following proposition is well known, but I found no reference. Proposition If $A$ is a principal ideal domain, if $I$ is a nonzero ideal of $A$, and if $M$ is an ...
24 views

1k views

### Submodule of free module over a p.i.d. is free even when the module is not finitely generated?

I have heard that any submodule of a free module over a p.i.d. is free. I can prove this for finitely generated modules over a p.i.d. But the proof involves induction on the number of generators, so ...
156 views

### How can we write this $\mathbb{Q}[x]$-module as a direct sum of cyclic $\mathbb{Q}[x]$-modules?

If $L$ is the submodule of $\mathbb{Q}[x]^{(3)}$ generated by $(2x-1,x,x),(x,x,x),(x+1,2x,x)$. How do we write $\mathbb{Q}[x]^{(3)}/L$ as a direct sum of cyclic modules?
135 views

### Do a matrix and its transpose have the same invariant factors over a PID?

I suspect this is true since it holds in the case over a field. But suppose $A\in M_{m\times n}(R)$ where $R$ is a PID. Does it still hold that $A$ and $A^{T}$ have the same invariant factors? ...
132 views

### Sub-module over the Fraction field of a PID

R is a PID with field of fractions K. $M \subseteq K$ is a fin. generated R-Submodule. I am trying to show M is in fact generated by one element.
294 views

### Isomorphism between set of all R-modules homomorphisms

Let $S$ be an $R$-module where $R$ is an integral domain and let $P = \langle p \rangle$ be a prime ideal. Define: $S_{P}=\{s \in S: p^{n} s=0 \ \textrm{for some natural }n\}$. As usual, denote ...
Let $A$, $B$, $C$, and $D$ be finitely generated modules over a PID $R$ such that $A\oplus$ $B$ $\cong$ $C\oplus$ $D$ and $A\oplus$ $D$ $\cong$ $C\oplus$ $B$ . Prove that $A$ $\cong$ $C$ and $B$ ...