Mathematics Stack Exchange
Mathematics Stack Exchange

Questions tagged [principal-ideal-domains]

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

A PID is a type of integral domain where every proper ideal can be generated by a single element. Every Euclidean ring is a PID but the converse is not true. Every PID is a unique factorisation domain but not conversely.

Examples of PIDs are any field, $\mathbb{Z}$, rings of polynomials, Gaussian integers, and Eisenstein integers.

806 questions
43
votes
1 answer

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 it does not apply to modules that are not…
Ben Blum-Smith
  • 19,309
  • 4
  • 52
  • 115
42
votes
3 answers

Ring of integers is a PID but not a Euclidean domain

I have noticed that to prove fields like $\mathbb{Q}(i)$ and $\mathbb{Q}(e^{\frac{2\pi i}{3}})$ have class number one, we show they are Euclidean domains by tessellating the complex plane with the points $a+bv : a, b \in \mathbb{Z}$, where $1, v$ is…
D_S
  • 30,734
  • 6
  • 38
  • 107
33
votes
6 answers

Is $\mathbb{Z}[x]$ a principal ideal domain?

Is $ \mathbb{Z}[x] $ a principal ideal domain? Since the standard definition of principal ideal domain is quite difficult to use. Could you give me some equivalent conditions on whether a ring is a principal ideal domain?
KunXian Xia
  • 757
  • 2
  • 6
  • 7
29
votes
2 answers

A subring of the field of fractions of a PID is a PID as well.

Let $A$ be a PID and $R$ a ring such that $A\subset R \subset \operatorname{Frac}(A)$, where $\operatorname{Frac}(A)$ denotes the field of fractions of $A$. How to show $R$ is also a PID? Any hints?
CC_Azusa
  • 1,363
  • 11
  • 20
28
votes
4 answers

An integral domain whose every prime ideal is principal is a PID

Does anyone has a simple proof of the following fact: An integral domain whose every prime ideal is principal is a principal ideal domain (PID).
fmoura2005
  • 849
  • 1
  • 8
  • 14
26
votes
2 answers

Prove that a UFD is a PID if and only if every nonzero prime ideal is maximal

Prove that a UFD is a PID if and only if every nonzero prime ideal is maximal. The forward direction is standard, and the reverse direction is giving me trouble. In particular, I can prove that if every nonzero prime ideal is maximal then every…
JeremyKun
  • 3,340
  • 2
  • 25
  • 39
25
votes
1 answer

$A=\frac{\mathbb{C}[X,Y]}{(X^2+Y^2-1)}$ is a PID.

I was given an exercise to show $A=\frac{\mathbb{C}[X,Y]}{(X^2+Y^2-1)}$ is a PID. But I wonder if it is at all true. Note that PID $\implies$ UFD. But we have $$X\cdot X = 1-Y^2 =(1-Y)(1+Y)$$ in $A$ which contradicts UFD. Is there something wrong…
Sayan
  • 2,638
  • 14
  • 25
23
votes
2 answers

Quotient of polynomials, PID but not Euclidean domain?

While trying to look up examples of PIDs that are not Euclidean domains, I found a statement (without reference) on the Euclidean domain page of Wikipedia that $$\mathbb{R}[X,Y]/(X^2+Y^2+1)$$ is such a ring. After a good deal of searching, I have…
Jessica B
  • 1,557
  • 1
  • 10
  • 40
21
votes
4 answers

Prove that $n^2+n+41$ is prime for $n<40$

Here's a problem that showed up on an exam I took, I'm interested in seeing if there are other ways to approach it. Let $n\in\{0,1,...,39\}$. Prove that $n^2+n+41$ is prime. I shall provide my own solution, though I am curious does anyone know…
Stella Biderman
  • 30,178
  • 6
  • 43
  • 86
20
votes
5 answers

The ring $\Bbb Z\left [\frac{-1+\sqrt{-19}}{2}\right ]$ is not a Euclidean domain

Let $\alpha = \frac{1+\sqrt{-19}}{2}$. Let $A = \mathbb Z[\alpha]$. Let's assume that we know that its invertibles are $\{1,-1\}$. During an exercise we proved that: Lemma: If $(D,g)$ is a Euclidean domain such that its invertibles are $\{1,-1\}$,…
Jacopo Notarstefano
  • 2,207
  • 1
  • 19
  • 30
19
votes
3 answers

In a principal ideal domain, prove that every non trivial prime ideal is a maximal ideal. What could be wrong in this approach?

In a principal ideal domain, prove that every non trivial prime ideal is a maximal ideal Attempt: Let $R$ be the principal ideal domain. A principal ideal domain $R$ is an integral domain in which every ideal $A$ is of the form $\langle a \rangle =…
MathMan
  • 8,474
  • 7
  • 52
  • 118
19
votes
1 answer

For which $d$ is $\mathbb Z[\sqrt d]$ a principal ideal domain?

Is there any general idea about for which $d$, $\mathbb Z[\sqrt d]$ a principal ideal domain (PID)? As for example $\mathbb Z[\sqrt{-1}]$ and $\mathbb Z[\sqrt 2] $ are PIDs, but $\mathbb Z[\sqrt{-5}] $ is not a PID.
Sankha
  • 1,325
  • 1
  • 13
  • 25
17
votes
2 answers

Norm-Euclidean rings?

For which integer $d$ is the ring $\mathbb{Z}[\sqrt{d}]$ norm-Euclidean? Here I'm referring to $\mathbb{Z}[\sqrt{d}] = \{a + b\sqrt{d} : a,b \in \mathbb{Z}\}$, not the ring of integers of $\mathbb{Q}[\sqrt{d}]$. For $d < 0$, it is easy to show that…
Isaac
  • 171
  • 1
  • 4
16
votes
2 answers

Is the localization of a PID a PID?

Let $A$ be a commutative ring and $S$ a multiplicative closed subset of $A$. If $A$ is a PID, show that $S^{-1}A$ is a PID. I've taken an ideal $I$ of $S^{-1}A$ and I've tried to see that is generated by one element; the ideal $I$ has the form…
Sadi
16
votes
5 answers

How does a Class group measure the failure of Unique factorization?

I have been stuck with a severe problem from last few days. I have developed some intuition for my-self in understanding the class group, but I lost the track of it in my brain. So I am now facing a hell. The Class group is given by $\rm{Cl}(F)=$…
IDOK
  • 5,085
  • 36
  • 65
1
2 3
…
53 54