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

learn more… | top users | synonyms (1)

13
votes
1answer
4k 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 ...
5
votes
3answers
1k views

Ring of trigonometric functions with real coefficients

Let $R$ be the ring of functions that are polynomials in $\cos t$ and $\sin t$ with real coefficients. Prove that $R$ is isomorphic to $\mathbb R[x,y]/(x^2+y^2-1)$. Prove that $R$ is not a unique ...
17
votes
2answers
2k views

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?
15
votes
4answers
848 views

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 ...
2
votes
2answers
2k views

Greatest common divisor in the Gaussian Integers

Let $a$ and $b$ be integers. Prove that their greatest common divisor in the ring of integers is the as their greatest common divisor in the ring of Gaussian Integers. Ring of Gaussian Integers is: $...
15
votes
2answers
4k views

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 ...
14
votes
3answers
3k views

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).
8
votes
5answers
5k views

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 ...
17
votes
2answers
2k views

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 tessalating the complex plane with the ...
5
votes
2answers
208 views

One-dimensional Noetherian UFD is a PID

I am looking for a reference which has a self-contained (elementary, that is, at the "undergraduate algebra level") proof of the the fact that any one-dimensional Noetherian UFD is a PID. Does anyone ...
6
votes
4answers
342 views

Why is $(2, 1+\sqrt{-5})$ not principal?

Why is $(2, 1+\sqrt{-5})$ not principal in $\mathbb{Z}[\sqrt{-5}]$? Say $(2,1+\sqrt{-5})=(\alpha)$, then since $2\in(2,1+\sqrt{-5})$ we have $2\in (\alpha)$, so $\alpha\mid2$ in $\mathbb Z[\sqrt{-5}]...
6
votes
3answers
632 views

$\mathbb Z\times\mathbb Z$ is principal but is not a PID

I need to find an example of a ring that is not a PID but every ideal is principal. I know that $\mathbb Z\times\mathbb Z$ is not an integral domain, so certainly is not a PID, but here every ideal is ...
2
votes
1answer
128 views

$R/Ra$ is an injective module over itself

Let $R$ be a PID, $a\in R$ be a nonzero nonunit in $R$. Prove that $R/Ra$ is an injective module over itself. If $R$ is a PID, every $R$- divisible module is injective, but the question concerns ...
1
vote
6answers
3k views

Proving the quotient of a principal ideal domain by a prime ideal is again a principal ideal domain [closed]

Please help me prove that the quotient of a principal ideal domain by a prime ideal is again a principal ideal domain. This was from Abstract Algebra
9
votes
1answer
1k views

Ring of Polynomials is a Principal Ideal Ring implies Coefficient Ring is a Field?

I read this proof that if $D$ is an integral domain and $D[X]$ is a principal ideal domain, then $D$ is a field. My question is if the requirements can be relaxed a bit, namely: Is it true that ...
2
votes
2answers
586 views

$R$ is a commutative integral ring, $R[X]$ is a principal ideal domain imply $R$ is a field

I've just read a proof of the statement: Let $R$ be a commutative integral ring. If $R[X]$ is a principal ideal domain, then $R$ is a field. In one part of the proof there is a step which I don'...
19
votes
2answers
666 views

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 ...
7
votes
2answers
1k views

Prime elements in $\mathbb{Z}[\sqrt{2}]$

What are the prime elements in the ring $\mathbb{Z}[\sqrt{2}]$? Note that since the ring is a PID (and thus a UFD) then prime = irreducible. Even more, it is Euclidean with respect to the absolute ...
6
votes
1answer
550 views

Proof that $\mathbb{Z}\left[\frac{1 + \sqrt{-19}}{2}\right]$ is a PID

How would one prove that $\mathbb{Z}\left[\frac{1 + \sqrt{-19}}{2}\right]$ is a principal ideal domain (PID)? It isn't a Euclidean domain according to the Wikipedia article on PIDs.
7
votes
2answers
172 views

Does there exist such an invertible matrix?

Let $n \geq 1$ and $A = \mathbb{k}[x]$, where $\mathbb{k}$ is a field. Let $a_1, \dots, a_n \in A$ be such that $$Aa_1 + \dots + Aa_n = A.$$ Does there exist an invertible matrix $\|r_{ij}\| \in M_n\...
5
votes
1answer
409 views

Contraction of maximal ideals in polynomial rings over PIDs

Let $R$ be a principal ideal domain which is not a field, and let $M$ be a maximal ideal of the polynomial ring $R[X_1,\dots,X_n]$. If $n=1$ it is very easy to see that $M \cap R \neq 0$. Is this also ...
2
votes
1answer
86 views

Why is the polynomial ring of more than one variable not a PID?

Let $R$ be a field. Show that the polynomial ring $R[x_{1},...x_{n}]$ is not a PID if $n>1$. How do I show this? So far, I've shown that $(2)+(x)$ wouldn't be principal in $\mathbb{Z}[x]$ so I ...
2
votes
2answers
757 views

Specific way of showing $\Bbb Z[\sqrt{-d}]$ is not a Euclidean Domain when $d>2$

Is it true that if a ring is not a UFD then it's not a Euclidean Domain? I have a ring $R=\mathbb{Z}[\sqrt{-d}]=\{ a+b\sqrt{-d} \mid a,b \in \mathbb{Z} \}$ where $d$ is a square free integer. I want ...
2
votes
2answers
180 views

Every principal ideal domain satisfies ACCP.

Every principal ideal domain $D$ satisfies the ACCP. Proof. Let $(a_1) ⊆ (a_2) ⊆ (a_3) ⊆ · · ·$ be a chain of principal ideals in $D$. It can be easily verified that $I = \displaystyle{∪_{i∈N} (...
1
vote
1answer
105 views

Does validity of Bezout identity in integral domain implies the domain is PID? [closed]

Let $D$ be an integral domain such that for any $a,b \in D$, $Da+Db$ is a principal ideal. Then must $D$ necessarily be a principal ideal domain i.e. should all the ideals of $D$ be principal ?
4
votes
3answers
133 views

Showing that an integral domain is a PID if it satisfies two conditions

This is just a textbook problem from Dummit and Foote, but the issue is that our class barely touched on PIDs and the preceding material, so I don't really know or understand much. Anyway, Let $R$...
1
vote
1answer
193 views

$F$ is a field iff $F[x]$ is a Principal Ideal Domain

A commutative ring $F$ is a field iff $F[x]$ is a Principal Ideal Domain. I have done the part that if $F$ is a field then $F[x]$ is a PID using the division algorithm and contradicting the ...
1
vote
2answers
170 views

Prime ideals in $R[x]$, $R$ a PID

Let $R$ be a PID. Show that if $\mathfrak p \subset R[x]$ is a prime ideal, $(r) = \left\{h(0) \colon h(x) \in \mathfrak p \right\}$, and $$\mathfrak p = (r, f(x), g(x)),$$ where $f(x), g(x) \in R[x]$ ...
0
votes
1answer
59 views

Over a PID, $\text{rank}(F/N)=0 \Longleftrightarrow\text{rank}(F)=\text{rank}(N)$?

Let $D$ a PID, $F$ a free module rank $n$, $N$ a submodule of $F$. I want to prove (or find a counterexample) of: $\text{rank}(F/N)=0 \Longleftrightarrow\text{rank}(F)=\text{rank}(N)$ $\text{rank}(...
14
votes
5answers
805 views

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 ...
6
votes
1answer
2k views

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}] ...
5
votes
3answers
3k views

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 ...
4
votes
1answer
225 views

Finitely generated graded modules over $K[x]$

I need some help on this exercise from A Course in Ring Theory by Donald S. Passman Find all finitely generated graded $K[x]$-modules up to abstract isomorphism. Remember, $K[x]$ is a principal ...
3
votes
1answer
125 views

When a holomorphy ring is a PID?

I will use the notation and language of Stichtenoth, Algebraic Function Fields and Codes. Let $F$ be a function field over a finite field $\mathbb F_q$, $S$ a non empty set of places (possibly ...
3
votes
2answers
2k views

Proving that a ring is not a Principal Ideal Domain

This is my first question on StackExchange. I'm taking a second semester course of Abstract Algebra. I have a general understanding of Principal Ideal Domains, but I am a bit confused on proving that ...
2
votes
1answer
1k views

Is any UFD also a PID?

Is there any counterexample that will disprove that every unique factorization domain (UFD) is also a principal ideal domain (PID)? I mean, any PID is a UFD, does the converse hold? Thanks in advance!...
1
vote
2answers
170 views

For which values of $d<0$ , is the subring of quadratic integers of $\mathbb Q[\sqrt{d}]$ is a PID?

The "integers" of quadratic field $\mathbb Q[\sqrt{d}]$ , for a squarefree integer $d$ , forms an integral domain . I know that for $d<0$ , the quadratic integers of the quadratic number fields ...
1
vote
1answer
626 views

$R$ is PID, so $R/I$ is PID, and application on $\mathbb{Z}$ and $\mathbb{N}$

I'm supposed to show in a part of an exercise that if we have a ring $R$ that is a principal ideal domain, then for any ideal $I$ in $R$, $R/I$ will also be a PID. So $I=(i)$ for some $i \in R$, and $...
11
votes
1answer
756 views

Are all subrings of the rationals Euclidean domains?

This is a purely recreational question -- I came up with it when setting an undergraduate example sheet. Let's go with Wikipedia's definition of a Euclidean domain. So an ID $R$ is a Euclidean domain ...
4
votes
1answer
91 views

Finite intersection of DVRs

Let $K$ be a field and $R_1,\dots,R_n$ DVRs of $K$ with $m_i$ the maximal ideal of $R_i$ and $R_i \not\subseteq R_j$ for $j\neq i$ . Define $A=\bigcap_{i=1}^n R_i$. Then $A$ is semilocal with maximal ...
3
votes
1answer
202 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? ...
2
votes
2answers
151 views

Integral domain, UFD and PID related problem

(i) Let $R$ be an integral domain that has irreducible elements. Prove that $R[X]$ is not A PID. (ii) Let $R$ be a UFD and $K$ its field of fractions. Let $f \in R[X]$ be a monic polynomial with $...
1
vote
2answers
89 views

Why is F[x] a UFD? [duplicate]

When reading the proof for if $R$ is a UFD, then $R[x]$ is a UFD, the author uses a fact that $F[x]$ is a UFD. I don't quite understand this. Why $F[x]$ is a UFD? ($F$ is the fraction field of $R$)...
1
vote
2answers
116 views

Let D be a principal ideal domain. Prove that every non-zero prime ideal in D is a maximal ideal in D.

Let D be a principal ideal domain. Prove that every non-zero prime ideal in D is a maximal ideal in D. So I'm think I need to use the fact that all PID's are UFD's. If it is a UFD I can infer that ...
1
vote
2answers
83 views

If R is a PID, is it true that $R/\ker \phi$ is also a PID?

I came across this solution that seeks to prove that any submodule of a cyclic module is cyclic. Proof: Let $M$ be a cyclic module, so that $\phi:R \rightarrow M$ is a surjection under $\phi(r)=r \...
0
votes
2answers
138 views

Higher Ext's vanish over a PID

Let $R$ be a PID and $M$, $N$ be $R$-modules. I am trying to show that $$\forall n\ge 2~: \operatorname{Ext}_{R}^{n}(M,N)=0.$$ For example $\forall n\ge 2~: \operatorname{Ext}_{\mathbb Z}^{n}(M,...
0
votes
3answers
2k views

Show that the ring of all rational numbers, which when written in simplest form has an odd denominator, is a principal ideal domain.

Show that the ring of all rational numbers $m/n$ with $n$ an odd integer is a principal ideal domain. We haven't really discussed principal ideal domains. I've heard that this is easy, but I just ...
9
votes
3answers
611 views

Why define vector spaces over fields instead of a PID?

In my few years of studying abstract algebra I've always seen vector spaces over fields, rather than other weaker structures. What are the differences of having a vector space (or whatever the ...
4
votes
0answers
96 views

Property of free submodules for 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=<x>$ , $L'=<y&...
2
votes
4answers
125 views

In a P.I.D., if $a^m = b^m$ and $a^n = b^n$ for $m, n \in \mathbb{N}$ with $\gcd(m,n) = 1$, then $a=b$

Let $R$ be a principal ideal domain, and $a, b \in R$ with $a^m = b^m$ and $a^n = b^n$ for $m, n \in \mathbb{N}$, and $\gcd(m, n) = 1$. I now want to show that we then already have $a = b$. I think ...