Questions tagged [principal-ideal-domains]

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

Filter by
Sorted by
Tagged with
0
votes
0answers
28 views

understanding the contradiction of $I$ is not free.

My professor gave us this example on a module that is not free : $R = k[x,y,z]$ where $k$ is a field. $I = xyR + yz R + xz R \subset R.$ take $u = xy, v = yz, w = xz$ then $I = uR + vR + wR.$ And so, ...
0
votes
1answer
26 views

Ideals of quotient ring of a principal ideal domain are also principal ideals.

Let $R$ be a PID. I have to show that every ideal of a quotient ring of $R$ is a principal ideal. I am able to visualize this problem by taking $R=Z$. I took ideal $(20)$ of $Z$ for example. Then I ...
3
votes
1answer
51 views

Relations between Cayley-Hamilton theorem and the classification theorem for finitely generated modules over a PID

There is a sentence in the book "Algebra Chapter 0" that the Cayley-Hamilton theorem would be evident if we connect it with the classification theorem for finitely generated modules over a ...
8
votes
1answer
90 views

$A \oplus B \cong A \oplus C$ implies $B \cong C$ where $A,B,C$ are finitely generated $R$ modules and $R$ is a PID

There are number of similar questions to this, but I have read through them all and the answers either rely on results that I don't have access to or I'm unsure how to translate them to this situation....
1
vote
0answers
33 views

What kind of subrings inherit their parent ring's properties?

I was studying the proof my teacher from my abstract algebra course gave me for the Gauss Lemma, and I came up with a question he could not answer me at that moment (it's the first time he works ...
0
votes
0answers
42 views

irrationality of $\sqrt{2}$ with ring theory [duplicate]

I consider the ideal $I \subseteq \Bbb Z$ with $I=\{n \in \Bbb Z \mid n \times \sqrt{2} \in \Bbb Z\}$. I do not manage to prove that this ideal is trivial. Can you help me ? Thanks.
2
votes
2answers
31 views

Find a generator of the ideal generated by $3$ and $2-2\sqrt{-2}$ in ${\mathbb{Z}\left[\sqrt{-2}\right]}$

Exercise: Find a generator of the ideal generated by $3$ and $2-2\sqrt{-2}$ in ${\mathbb{Z}\left[\sqrt{-2}\right]}$. I know that such a generator exists since $\mathbb{Z}\left[\sqrt{-2}\right]$ is a ...
1
vote
1answer
45 views

maximal ideal of PIR

PIR means principal ideal ring.This is extended concept of PID, we do not assume integral domain. Is it true that every nonzero prime ideal is maximal, even in PIR ? Or, do we need to restrict the ...
0
votes
1answer
28 views

For commutative rings, if the ring of polynomials is a PID then the ring is an integral domain.

I am reading Dummit and Foote's proof that if $R$ is a commutative ring, and if $R[x]$ is a PID, then $R$ is a field. At the start of the proof they write Proof: Assume $R[x]$ is a Principal Ideal ...
1
vote
2answers
63 views

Can you suggest some challenging ring theory problems? [closed]

I would like to work on some wonderful excercises (not particularly hard) in ring theory, subjects PID, UFD or polynomial rings. Can you introduce a resource that has newer exercises? Or if you can ...
2
votes
1answer
28 views

Show that the ideal $AB$ is prime iff $A = \{0_R\}$ or $B = \{0_R\}$ as follows [closed]

Let $A$ and $B$ be ideals in a principal ideal domain $R$, where $A \ne R$ and $B \ne R$. Show that the ideal $AB$ is prime iff $A = \{0_R\}$ or $B = \{0_R\}$. I know that since $R$ is PID then $A$ ...
1
vote
2answers
69 views

Is there a field $K$ for which the kernel of the map $\mathbb{Z}[x]\to K$ is NOT principal?

Consider $K$ a field and a ring homomorphism $\phi:\mathbb{Z}[x]\to K$. I guess this is wrong, because I was asked to give an example of precisely a field $K$ for which the kernel of the map above is ...
0
votes
1answer
29 views

Is PID cyclic? I cannot understand quotient ring is cyclic

In the textbook, it says “If $R$ is a principal ideal domain and $r$ is an elt of $R$, then the quotient ring $R/(r)$ is a cyclic R-module. I dont know why $R/(r)$ is cyclic. Thank you in advance.
1
vote
1answer
53 views

Prove that ring of fractions of $Q[x]$ is a PID

I'm trying to prove the following: Let $$ R = \left\{\frac{f(x)}{g(x)}\mid f(x),g(x)\in\mathbb{Q}[x], g(x)\not=0\right\}\subset\mathbb{Q}(x) $$ Show that $R$ is a principal ideal domain. My approach ...
1
vote
0answers
45 views

Generalization of Bezout Identity for Polynomials

Let $i \in \{1,\ldots, n\}$, $f_i(x)$ be a univariate polynomial, and $g(x) = \mathsf{GCD}(f_1(x), \ldots,f_n(x))$. According to Bezout identity, there exists $a_i(x)$ such that: $$\sum_{i \in [n]}a_i(...
0
votes
0answers
28 views

Order of a Module

Here is the problem I am working on: If $M$ is a finitely generated torsion module over a PID $R$ such that there exists $m \in M$ with $ann(m) = (r)$, where $R \ni r = order(M)$, what can you say ...
0
votes
1answer
49 views

Is $(1+x^2,x^3) \in \mathbb{Q}[x]$ a principal ideal?

Is this line of reasoning correct? If $\big(1+x^2,\:x^3\big) \in \mathbb{Q}[x]$ were a principal ideal, then there would be a polynomial $f\in \mathbb{Q}[x]$ such that $\big(f(x)\big) = \big(1+x^2,x^3\...
0
votes
1answer
34 views

Why irreduciblilty and not division leads to relative primeness in a PID

I'm unable to understand reasoning behind following conclusion: If $p$ is irreducible element of PID $R$ and $p$ doesn't divide $a$ of R. Then $p$ and $a$ are relatively prime. The definition of a ...
0
votes
1answer
30 views

Ideal in principal ideal domain

Let $R$ be a principal ideal domain and let $a$ and $b$ be two nonunit elements in $R$ then ideal generated by $a$ and $b$ is also generated by $a+b$ $ab$ $\gcd(a,b)$ $\text{lcm}(a,b)$ I am not ...
2
votes
1answer
82 views

Units in a ring between an integral domain $R$ and its fraction field.

Let $R$ be an integral domain with fraction field $K$, and let $\mathcal{T}$ be the set of subrings $T$ of $K$ such that $R\subseteq T$. Call $R\;$unit-complete$\;$if for all $T\in \mathcal{T}$, ...
1
vote
0answers
19 views

Prove that $x = uy$ for some unit $u \in R^{\times}$ iff $(x)=(y)$ as ideals. [duplicate]

Prove that:In a commutative ring $R,$ $x = uy$ for some unit $u \in R^{\times}$ iff $(x)=(y)$ as ideals. My thoughts: I feel like the idea is similar to the proof of the following proposition: ...
2
votes
1answer
115 views

Let $F$ be an infinite field and let $f(x) ∈ F[x]$. If $f(a) = 0$ for infinitely many $a ∈ F$, show that $f = 0$. [duplicate]

Step 1: Suppose that $F$ is an infinite field and $f(x) \in F[x]$. To claim the statement, "If $f(a)=0$ for infinitely many elements $a$ of $F$, then $f(x)=0$". To prove this statement using ...
1
vote
1answer
27 views

Reference on different types of integral domains

I am looking for a good reference (book or otherwise) which has a comprehensive study of the different types of integral domains, including: Euclidean domains UFDs GCD domains PIDs Dedekind domains ...
0
votes
0answers
27 views

The difference in the procedure of showing that every ideal is principal in $\mathbb{Z}$ and in $\mathbb{Z}[\sqrt{3}]$?

I am trying to prove that every ideal is principal in $\mathbb{Z}[\sqrt{3}].$ And I got a hint to use the norm function and the following division property satisfied by $\mathbb{Z}[\sqrt{3}]$: Given $...
1
vote
0answers
52 views

Uniqueness of a Decomposition of a finitely generated torsion module over a PID

Let $M$ be a finitely generated torsion $R$-module. Show that we can write $M \cong R/(a_1) \oplus ... \oplus R/(a_n)$ such that $a_1 | a_2 | ... | a_n$. Show that $a_1,...,a_n$ are uniquely ...
1
vote
1answer
33 views

How to prove $ y_1, \dots , y_n$ generate module M?

Let $M$ be a finitely generated module over PID $R$, and $M$ is generated by $x_1, x_2, \dots, x_n$. Let $y_1=a_1\cdot x_1+\dots +a_n\cdot x_n$, and $\gcd(a_1, \dots , a_n)=1.$ Prove that there exist $...
1
vote
0answers
69 views

Isomorphism between posets of ideals of $\mathbb Q[x]$ and $\mathbb Q[x,y]$.

Here is a problem that I have only solved partially. I am (edit: "was") stuck at the second part. Problem: Given that two posets $(\mathcal{P}_1,\leq_1)$ and $(\mathcal{P}_2,\leq_2)$ are ...
1
vote
0answers
49 views

What condition makes $\mathbb{Z}[a]$ is PID, where $a$ is complex number.

I want to find the condition which $a$ makes $\mathbb{Z}[a]$ is a PID(Principal Ideal Domain). I wonder am I right. My answer is : If $R$ is Noetherian ring, then $R[x]$ is also Noetherian ring. As ...
0
votes
2answers
75 views

Which element belong to the principal ideal $(3+i)$?

In the ring $\mathbb{Z}[i]\space$, which of the following elements belongs to the principal ideal $(3+i)$? (a) $1+8i$ (b) $1+5i$ (c) $1+6i$ (d) $1+7i$
1
vote
1answer
37 views

Proof that Divisible Modules are Injective over a PID

I'm reading the proof given in Hilton/Stammbach's homological algebra book that over a PID, injective modules and divisible modules are the same. (Thm. 7.1 in chapter 1, pp. 31-32). I'm stuck on a ...
1
vote
2answers
99 views

Maximal free submodule over a PID

Let M be a f.g. module over a p.i.d. and T(M) be its torsion submodule. Then M is the direct sum of T(M) and of a free submodule F, unique up to isomorphism, and in addition which is a maximal free ...
3
votes
2answers
75 views

Are quotients of a PID by non-prime ideals ever a PID? [duplicate]

I've proved that any quotient of a PID by a prime ideal is again a PID as an exercise, and got into thinking about quotients by non-prime ideals. Are they ever a PID? More concretely, say $R$ is a PID ...
1
vote
0answers
52 views

What is the dimension of this vector space?

This theorem is to show the uniqueness of the Structure Theorem Can someone elaborate the part where they deduce the $\dim M(p)?$ For context let me elaborate the previous sentence preceding the ...
0
votes
1answer
44 views

Why does the ring element get absorbed here?

Suppose $M$ is finitely generated over $R$ that is a PID. Let $x \in M$, $\ann(x) = (a)$, $p\in R$ be irreducible. Then If $p|a$ then $Rx/pRx \approx R/(p)$ If $p \not| a$, then $pRx = Rx.$ The ...
1
vote
0answers
168 views

How to show that ${\Bbb Q}[x,y]/(x^2+y^2+1)$ is a PID?

I know that ${\Bbb Q}[x,y]/(x^2+y^2-1)$ is not a PID, because it is not a UFD. But ${\Bbb Q}[x,y]/(x^2+y^2+1)$ is a PID. I heard about some proof using Hochschild-Serre spectral sequence. I was ...
1
vote
1answer
25 views

Decomposition of finitely generated Module over PID

Suppose Let $M = <x,y>/<2x-3y> $ where $<x,y>, <2x-3y>$ are $ \mathbb{Z} $-modules. How can I find the decomposition of $M$ to its invariant factors?
1
vote
1answer
42 views

Computing $\operatorname{Aut}(\mathbb{C}[x]/(x-a)^n)$

How do I find $\operatorname{Aut}(\mathbb{C}[x]/(x-a)^n)$ as $\mathbb{C}[x]$ module? Does it have a reasonable description?
3
votes
1answer
77 views

Exact sequences and characteristic ideal of modules over a principal ideal domain

Let $R$ be a principal ideal ring, which is not a field, and $M$ be a torsion module, then there is an isomorphism due to the theorem for finitely generated modules over a principal domain $ M \cong \...
0
votes
2answers
134 views

Let $M$ be a free module over a PID with finite rank, then any submodule $N \subset M$ is also free with finite rank

I want to post the statement from Dummit and Foote (page460), but it is so long that I have to post a shorter one from another book. Q2: I want to make sure I understand this. We apply induction on $...
1
vote
2answers
57 views

A question about PIDs

Every PID $R$ is Noetherian, since if $a_1R\subsetneq a_2R\subsetneq \cdots$ is an infinite increasing chain of ideals, then the union $I=\cup_i a_iR$ is also an ideal, hence $I=bR$ for some $b\in R$. ...
0
votes
0answers
63 views

In $\mathbb Z[x]$, show that the set $A$ of all polynomials with even constant term is not a principal ideal

I'm doing Exercise 1 in textbook Algebra by Saunders MacLane and Garrett Birkhoff. In $\mathbb Z[x]$, show that the set $A$ of all polynomials with even constant term is not a principal ideal. ...
0
votes
1answer
36 views

Polynomial Ring of a Field extension

The problem is stated as follows: Let $K$ be a finite field extension of $F$ and consider $P\in K[x]$ monic irreducible. Then, there exists $Q\in K[x]$ such that $PQ\in F[x]$. This question is ...
2
votes
1answer
240 views

$(1-x,y)$ is not principal in $\Bbb Q[x,y]/(x^2+y^2-1)$

I'm very interested in this interesting approach to the problem whether $\Bbb Q[x,y]/(x^2+y^2-1)$ is PID or not. https://math.stackexchange.com/questions/3573915/1-x-y-is-not-principal-in-bbb-qx-y-x2+...
2
votes
0answers
55 views

Ad hoc proof of Minkowski's bound for $\mathbb{Q}(\sqrt{-19})$

Let $R=\mathbb{Z}[\frac{-1+\sqrt{-19}}{2}]=\mathcal{O}_K$, where $K=\mathbb{Q}(\sqrt{-19})$. A classical way to prove the fact that $R$ is a PID is to establish that for all $a,b\in R,b\neq 0$, there ...
1
vote
1answer
132 views

Locally Principal Ideal Domain [duplicate]

Let $A$ be a domain with $\max(A)$ a finite set. It is known that if $\mathfrak{m}\in \max(A)$ then $A_{\mathfrak{m}}$ is a PID. Show that $A$ is also a PID. Here is what I was thinking. Suppose that ...
1
vote
0answers
55 views

Show that every ideal in the ring of Gaussian integers is principal

I'm doing Exercise 9 in textbook Algebra by Saunders MacLane and Garrett Birkhoff. Show that every ideal in the ring of Gaussian integers is principal. Could you please verify if my attempt is fine ...
2
votes
1answer
136 views

Proof of every PID is Noetherian

I saw the proof of this proposition in here, but I have a question about this. Definition of Noetherian ring is that ring is commutative, and every ideal of R is finitely generated, right? Principal ...
1
vote
1answer
57 views

What is principal ideal generated by $p$?

I'm studying abstract algebra, with Dummit's book. Our professor introduced a lemma, and I'm confused with some concept. Here is the lemma: "Let $R$ be an integral domain, and let $p$ be in $R$. ...
8
votes
1answer
128 views

uncountable principal ideal domain with few units

Does there exist an uncountable principal ideal domain with only countably many units (or, even, with only finitely many units) ? The answer would be yes, if only unique factorization domain was ...
1
vote
1answer
68 views

Question about Principal ring

I'm mathematics student. I just confusing about some basic concept, so I ask for it here... First of all, principal ideal means ideal generated by a single element, but I don't know what 'generated' ...

1
2 3 4 5
15