# Tagged Questions

For questions about principle ideal domains: rings without zero divisors where every ideal is principle.

105 views

### Sum of free submodules of a module over a PID

It's possible to produce an example of an integral domain $R$ and a free $R$-module $M$ with free submodules $L, L'$ such that $L+L'$ is not free. We can take $R=M=K[x,y]$ , $L=\left<x\right>$ , ...
40 views

56 views

50 views

68 views

### Decomposition of Free Module over PID

Let $M$ be a free module with rank $2$ over the PID $R$ having basis $B=\{b_1,b_2\}$. I have a few questions regarding the submodule $Rm$, where $m$ is some element of our module $M$. Suppose $m$ is ...
84 views

### Prime ideal being maximal ideal and PID

Q1. Does there exist an ID R in which every non zero prime ideal of type pR is maximal ideal but R is not PID? Q2. Does there exist an ID R in which every non zero prime ideal is maximal ideal but R ...
35 views

62 views

36 views

### $\mathbb{Z}[\zeta_n]$ is a PID for $n=3,4,5$ using Minkowski theory

I want to show that $\mathbb{Z}[\zeta_n]$ is a PID for $n=3,4,5$ using Minkowski theory. I know that if the class group is trivial, then it is a PID. Is this helpful to show the claim or how else can ...
73 views

### Examples of PIDs and prime ideals

(a) Give a specific example of a PID with exactly two prime ideals. Give a brief proof of your answer. (b) Give an specific example of a PID with infinitely many prime ideals. Give a brief proof of ...
184 views

### Subring of the field of rational numbers

Let $R=\{a\cdot2^n\mid a,n \in \mathbb{Z}\}$ be a subring or the field of rational numbers $\mathbb Q$. i) What kind of elements are invertible in $R$? ii) Prove that $R$ is a principal ...
45 views

### Inclusion-minimality of a lattice basis

An integer lattice is a subgroup of $\mathbb{Z}^n$. Since $\mathbb{Z}$ is PID, each lattice has a well-defined rank and a generating set of rank many elements is a basis. I wonder if there is a way ...
23 views

### Why is a discrete valuation ring's unique prime ideal generated by a non-nilpotent element?

Serre gives first the definition of a discrete valuation ring as a "principal ideal domain that has a unique non-zero prime ideal $m(A)$." Next, he says: Let $A$ be a commutative ring. In order that ...
42 views

### ED,PID and UFD and the relation between them

Let R be a Commutative ring with unity, such that R[x] is UFD. If R[x] is a PID then it is a Eucledian Domain? Is the last statement about being eucledian domain correct?
39 views

### Proving the Gaussian Integers are a Principal Ideal Domain

Is there a good way to show that the Gaussian integers are a Principal Ideal Domain without using the fact that they are a Euclidean Domain? It seems like a lot of extra structure to need to prove ...
77 views

### Finitely generated modules over principal ideal domain

Let $A$ be principal ideal domain with field of fractions $K$. $L$ is finite separable extension of $K$ and $B$ is the integral closure of $A$ in $L$. It is obvious that there exists a constant $d$ in ...
65 views

### Is any Direct Summand of a Free Module over a PID also Free?

Let $R$ be a PID and $F$ be a free module over $R$. Suppose we have $F=A\oplus B$ for some $R$-modules $A$ and $B$. Then are $A$ and $B$ necessarily free? If $F$ is finitely generated, then I know ...
75 views

### Let $R$ be a PID. Prove that $\exists c \in R$ such that $c\mid a, c\mid b$ and $c = ax + by$.

Let $R$ be a PID and $a,b \in R$. Prove that $\exists c \in R$ such that $c\mid a, c\mid b$ and $c = ax + by$ for some $x,y \in R$.
36 views

### Another question about free modules of finite rank over a PID

I am now trying to prove the following: Let $R$ be a PID and let $M$ be a free $R$-module of finite rank. If $N$ is a submodule of $M$ and $M/N$ is finite, then rank$(N)$ = rank$(M).$ Attempt at a ...
I have proved the following: If $G$ is a free abelian group of rank $n$ and $H$ is a subgroup of $G$, then $H$ is free of rank $m\leq n$. Moreover, there exists a $\mathbb{Z}$-basis $x_1,\ldots,x_n$ ...
I am interested to know the Smith normal form of $4 \times 2$ matrices $M$: The two cases of my interests are: (1). M_1= \begin{pmatrix} 3 & 0\\ -5 & 4\\ 4 & -5\\ 0 & 3 \end{...