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

learn more… | top users | synonyms (1)

0
votes
1answer
21 views

Are rank and determinantal rank the same over a PID?

Are the notions of rank and determinantal rank equivalent for an $m\times n$ matrix $A$ with entries in a principal ideal domain $D$? I'm specifically interested in the case $D=\mathbb{Z}$.
3
votes
1answer
93 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 The result is supposely similar to the well-known structure theorem in the non-graded case. So let $M$ be a ...
3
votes
1answer
93 views

Proof for Unique Factorization Domain

Prove that the quotient ring $\mathbb{C}[x,y]/(x^2+y^2-1)$ is a unique factorization domain. I am trying to prove first it is a principal ideal domain. However I am really stuck on this problem
1
vote
0answers
96 views

Proof for maximal ideals in $\mathbb{Z}[x]$

I have been trying to prove the following theorem: Every maximal ideal in $\mathbb{Z}[x]$ has the form $(p, f(x))$ where $p$ is prime integer and $f$ is primitive integer polynomial that is ...
3
votes
1answer
68 views

Abstract Algebra: integral domain and principal ideal domain

I am studying by myself and I needed help for few question which I am confused how give proof of that. Let $\varphi : J \to K$ be a ring epimorphism with $\varphi(1) = 1$, where $J$ and $K$ are ...
0
votes
0answers
13 views

Domain GCD Property

Let D be a domain and $\emptyset \subset A \subseteq D^*$ $d \in GCD(A)$ if and only if (d) is a minimum among the principal ideals containing (A) If $d \in GCD(A)$ then d|a for all $a \in A$ and ...
3
votes
1answer
88 views

Structure Theorem For PIDs

So, I'm a biologist at KCL, but I quite like mathematics and so am going through a book of exercises in algebra. Unfortunately, I've run into a problem in trying to answer some of the questions. I've ...
1
vote
1answer
46 views

Projective Modules on PIDs

We are given a PID. Then we have to show that if F is a finitely generated free module of rank n, then a submodule M of F is free. This is fine. However, it then says to deduce that every finitely ...
0
votes
0answers
18 views

Ring Theory Domain Proof

Let D be a domain. Show that $D[X]^x$=$D^x$. Because D is a domain it means that it is cancellative and D has no nonzero zero divisors. The only units in $D[X]^x$ are the units in $D^x$ so it's ...
13
votes
3answers
413 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 own ...
0
votes
1answer
49 views

$IJ =(I\cap J)(I+J)$ holds in a PID? $I,J$ Ideals of a PID

One inequality is obvious, but the other one im not sure if holds. Any idea?
0
votes
1answer
25 views

Show $M(\mathfrak{p})$ is an $R$-submodule of $M$

Let $R$ be a PID, $\mathfrak{p}$ be a prime ideal in $R$, and $M$ an $R$-module. Then $$M(\mathfrak{p})=\{m\in M \mid \operatorname{Ann}_Rm=\mathfrak{p}^j, \, \text{ for some } j\geq 0 \}$$ is ...
0
votes
0answers
148 views

Homology out of Smith normal form: simultaneous or independent diagonalization?

Let $R$ be a PID and $R^m\overset{A}{\longrightarrow} R^n\overset{B}{\longrightarrow} R^o$ matrices with $BA=0$ and Smith normal forms ...
2
votes
1answer
243 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 ...
-1
votes
1answer
131 views

An ideal in a domain is free if and only if it is principal [closed]

Let $R$ be a domain. Show that every ideal in $R$ is $R$-torsion-free, but is free if and only if it is principal. In particular, show that $R$ is a PID if every submodule of a free module is free. ...
0
votes
2answers
63 views

Nonprincipal prime ideals contain two relatively prime elements

Let $R$ be a principal ideal domain and let $P$ be a nonprincipal prime ideal of $R[x]$. I'm having trouble seeing why $P$ must contain two elements with no common divisor. Can anyone help me? ...
1
vote
1answer
21 views

Help decomposing an ideal.

Let $R$ be a PID and $A$ an ideal of $R$ such that for any $r^2 \in A$ where $r \in R$, then $r \in A$. I'm trying to show that $R / A$ is isomorphic to a finite direct product of fields. But I'm a ...
4
votes
1answer
152 views

A question on valuation overrings of a PID

Let $A$ be a PID and let $K$ be its quotient field. Let $V$ be a valuation ring of $K$ containing $A$ and assume $V\neq K$. Show that $V$ is a local ring $A_{(p)}$ for some prime element $p$. I ...
6
votes
2answers
538 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 ...
2
votes
2answers
182 views

Prove that all ideals in Q[x] are principal

Prove that all ideals in the polynomial ring $\mathbb{Q}[x]$ are principal. There is probably some elegant shortcut one can use for this proof, but I am only just beginning to study ring theory and ...
3
votes
2answers
59 views

If $N\cap rM=rN$ for all $r\in R$, then is $M=N\oplus K$ for some $K$?

Suppose $M$ is a finitely generated free module over a principal ideal domain $R$, and $N$ a submodule. Why does the condition $N\cap rM=rN$ for all $r\in R$ implies that $M=N\oplus K$ for some ...
1
vote
1answer
127 views

Showing a ring is not a principal ideal ring

If I have a ring and suppose that I want to show that it is not a principal ideal ring, how can I construct an ideal (that is not a principal ideal) as a counterexample? For example, I saw this ...
1
vote
1answer
38 views

primary ideals in principal ideals domain

I'm to prove that an ideal $M$ is primary iff for some $n$, $M = (p^n)$ where $p$ is a prime or $p=0$. The second direction is simply proved referring to the definition of the primary ideal, my ...
2
votes
2answers
68 views

proper ideals in the principal ideal domain

I'm to prove that every proper ideal is a product of maximal ideals which are uniquely determined up to order. I have no idea even how to start in the proof to solve this question :( May anybody help ...
1
vote
1answer
117 views

Infinite direct product of rings free.

Let $A$ be a commutative ring (viewed as an $A$-module over itself) that is not a field. Are there some conditions that guarantee that $\prod_{k=0}^\infty A$ is free? What if $A=\mathbf{Z}$ or more ...
1
vote
1answer
42 views

irreducible elements of polynomial rings

Let $p$ be a prime integer. For $x\in\mathbb{Z}$, let $x'$ be the remainder of $x$ when divided by $p$. Let $\sum_{i=0}^{n}a_iX^i\in \mathbb{Z}[X]$ with $p$ does not divide $a_n$ in $\mathbb{Z}$. Then ...
2
votes
1answer
79 views

Intersection of a PID and a field

There is an exercise in Bourbaki about the intersection $A = k (x,y) [z] \cap k (z, x + yz)$. These are two subrings of $k (x,y,z)$. The first is PID, the second is a field. Bourbaki requests to prove ...
0
votes
1answer
60 views

to show that a ring is a principal ideal ring

I'm asked to show that $\mathbb{Z}_m$ (the integers mod $m$) is a principal ideal ring for every $m > 0$ I see that it is the same discussion used in verifying that $\mathbb{Z}$ (the set of all ...
2
votes
1answer
59 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 ...
0
votes
0answers
176 views

Let $f:R\longrightarrow S$ be a surjective ring homomorphism. If $R$ is PID, then $S$ is PID.

Let $f:R\longrightarrow S$ be a surjective ring homomorphism. If $R$ is PID, then $S$ is PID. I think I have proved this: Let $J$ be an ideal of $S$. Then $f^{-1}(J)=(a)$ is a principal ideal of ...
0
votes
1answer
65 views

Let $R$ be an integral domain and $I$ be a prime ideal of $R$. If $R/I$ is a Euclidean domain, will $R$ be a unique factorization domain?

Let $R$ be an integral domain and $I$ be a prime ideal of $R$. If $R/I$ is a Euclidean domain, will $R$ be a unique factorization domain? I have no idea to prove or disprove this... should I prove ...
0
votes
0answers
24 views

Example of principal v-ideal

I am confuse in constructing counter example that If $A⊆B$ is an extension of domains such that $J$ is a principal $v$-ideal in $A$, then $JB$ is also principal in $B$.
1
vote
1answer
167 views

Prove that $M$ is a free module if and only if $M$ is a projective module over $PID$.

Let $R$ be a principal ideal domain and $M$ a finitely generated $R$ module. Prove that $M$ is a free $R$-module if and only if $M$ is a projective $R$-module. I am quite confused and totally not ...
0
votes
1answer
64 views

Is a ring generated by an irreducible polynomial a PID?

If $p(x)$ is an irreducible polynomial in $\mathbb R[X]$ (the set of polynomials with real coeffs), is the (sub)ring generated by $p(x)$ a PID? My guess is yes, at least if I have an ideal ...
2
votes
2answers
54 views

Inverse image of a PID is a PID

Let $f : R \to S$ be a ring homomorphism from $R$ onto $S$. If $S$ is a PID, is $R$ then a PID? If this is not possbile, is there an example to contradict it?
-2
votes
0answers
40 views

Quotient of a PID by a prime ideal [duplicate]

Prove that quotient of a PID by a prime ideal is PID.
2
votes
2answers
363 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 ...
1
vote
1answer
63 views

Describe units and maximal ideals in these two PIDs

If $p$ is a fixed prime integer, let $R$ be the set of all rational numbers that can be written in the form $(a)$ $\frac{a}{b}$ with $b$ not divisible by $p$. $(b)$ $\frac{a}{b}$ with $b=p^k$ for a ...
3
votes
3answers
75 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 ...
0
votes
1answer
55 views

gcd & lcm in a PID

In a PID, $l={\rm lcm}(a,b)$ and $d=\gcd(a,b)$. Is it always true that the following product ideals are equal? $$<d><l> = <a><b>$$ Thanks in advance -- Mike
0
votes
2answers
62 views

Why $\langle I, J\rangle =R$ for distinct prime ideals $I$, $J$ of a principal ideal domain $R$?

Let $R$ be a principal ideal domain with identity and $I$, $J$ be distinct prime ideals of $R$. Prove that $1 \in \langle I, J\rangle$ hence $\langle I, J\rangle = R$. How to prove?
0
votes
0answers
102 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 ...
3
votes
1answer
119 views

Quotient ring of $\Bbb Z[x]$ by an irreducible polynomial is a PID

I don't know what can I do with this problem. How can I prove that $\mathbb{Z}[x]/(x^{3}-4x+2)$ is PID?
6
votes
3answers
282 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
41 views

Generator for the ideal $I + J$ where $I = (2 + 3i)$ and $J = (1 - i)$

On a related question I calculated the GCD of $I = (2 + 3i)$ and $J = (1 - i)$ to be $1$. Now I know that $\mathbb{Z}[i]$ is a principal ideal domain. And I also know that the greatest common divisor ...
1
vote
2answers
198 views

surjective homomorphism between principal ideal rings

I asked this question before but did not get an answer, I tried solving it myself and I think I'm heading somewhere, I just need a push in the right direction. Let $\phi: R \to S$ be a homomorphism ...
0
votes
1answer
99 views

Ring homomorphism, maximal ideals

Here's a question from my worksheet, i solved subquestion (1) but can use help with the other 2...And also would appreciate any comments on my answer for subquestion (1). Let $\psi: R->S$ be a ...
1
vote
0answers
34 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 ...
2
votes
2answers
1k 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 ...
0
votes
1answer
54 views

Understanding this basic lemma proof in Ireland & Rosen

Lemma 2. Let $R$ be a PID and $p$ a prime element and $a \neq 0$ any element. Then there is an integer $n$ such that $p^n \ | \ a$ but $p^{n+1}$ doesn't divide $a$. Proof. If the lemma were ...