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

learn more… | top users | synonyms (1)

1
vote
1answer
54 views

The ring is a principal ideal domain, especially an integral domain.

The following holds for the ring $ \mathbb{Z}_p, p \in \mathbb{P}$: The ring $ \mathbb{Z}_p $ is a principal ideal domain, especially an integral domain. I try to understand the following proof: ...
0
votes
3answers
50 views

Showing that $1 + \sqrt{5}$ is irreducible in $\mathbb{Z}[\sqrt{5}]$

Consider the ring $\mathbb{Z}[\sqrt{5}]$. How can we show that the element $1 + \sqrt{5}$ is irreducible in this ring?
2
votes
2answers
32 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 ...
2
votes
1answer
60 views

Quotient of polynomial ring in two variables is a PID

With $K$ a field and $K[x,y]$ the polynomial ring over it in two variables, the quotient ring of it over the ideal generated by $1-xy$ is a PID. I've tried using Noetherianess but haven't gotten ...
1
vote
1answer
32 views

Finitely generated module with free submodule $S$ and $M/S$ torsion free implies $M$ is free

Let $R$ be a PID and $M$ a module. Show the following: (i) If $M$ is finitely generated and $S$ is a free submodule with $M/S$ torsion free, then $M$ is free. (ii) If $M$ is torsion free ...
1
vote
1answer
25 views

Factor $55 - 88 \sqrt{-2}$ as a product of primes in $\mathbb{Z}[\sqrt{-2}]$

To solve this problem, I let $K = \mathbb{Q}(\sqrt{-2})$, and I thought to take the norm $$N(55 - 88 \sqrt{-2}) = 55^2 + 2 \cdot 88^2 = 18513 = 3^2\cdot11^2 \cdot 17$$ If $a \in \mathbb{Z}[\sqrt{-2}]$ ...
0
votes
0answers
10 views

What can we say about the function $f(x)$ in this case?

Alright, I'm little bit confused about what's happening here to the function $f(x)$, i thought that the formula of $f(x)$, have nothing to do with its behavior or domain. there are two or many ...
0
votes
2answers
51 views

Looking for help, Aluffi Exercise 5.13, Chapter 6: characterization of PIDs

I quote: "Let $M$ be a finitely generated module over an integral domain $R$. Prove that if $R$ is a PID, then $M$ is torsion-free if and only if it is free. Prove that this property characterizes ...
0
votes
1answer
60 views

continuous poset w.r.t. Scott topology

I am learning continuous poset by myself. I have conclusion as follows: If $P$ is a continuous poset w.r.t. Scott topology then there is $x\in P$ s.t. for any $y\in P$ and for any open sets $U_x$ and ...
2
votes
1answer
29 views

Questions about ring of smooth functions

First of all, this is a homework problem. Let $C^{\infty}(\mathbb{R})$ denote the ring of smooth functions. Let $I_n$ denote the set of $f\in C^{\infty}(\mathbb{R})$ such that $$f^{(k)}(0)=0, \ 0 ...
1
vote
0answers
50 views

When is a holomorphy ring a PID? [duplicate]

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
93 views

PID and finitely generated module

I am trying to prove the following statements: Let $R$ be a PID and $M$ a finitely generated $R$-module. Prove: (a) $M$ is torsion module iff $\operatorname{Hom}_R(M,R)=0$ (b) $M$ is an ...
2
votes
3answers
23 views

Torsion-free module morphism

I am trying to prove the statement: Let $R$ be a PID but not a field and let $M$ be an $R$-module. Then $$ M \space \text{is torsion-free $R$-module} \space \text{iff} \space ...
2
votes
1answer
53 views

PID and module problem

Let $R$ be a principal ideal domain but not a field, and let $M$ be an $R$-module. Show the following: (i) Let $p \in R$ be an irreducible element and $r \in R \setminus \{0\}$. Then $(R/ ...
-3
votes
1answer
55 views

how can i prove that every subring of $\mathbb{Q}$ is PID? [duplicate]

How can I prove that every subring of $\mathbb{Q}$ is PID?
1
vote
1answer
73 views

Challenging problem in Hungerford's $\textit{Algebra}$

Here is a problem from the text $\textit{Algebra}$ by Hungerford, which I seem to be stuck on for quite some time now: Let $A$ be a cyclic $R$-module ($R$ is assumed to be a principal ideal domain) ...
2
votes
2answers
68 views

Does the statement ''PID of dimension $0$ $\Longrightarrow$ field'' actually use Zorn's Lemma?

Everywhere I look seems to blow by the statement that PIDs which are not fields have Krull dimension $1$. This relies on the fact: A PID with Krull dimension $0$ is a field. (*) It seems that the ...
5
votes
1answer
71 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.
1
vote
1answer
20 views

What exactly does it mean for a maximal ideal to be unique in a principal ideal domain?

I'm currently reading about PIDs and have come across a question involving maximal ideals which at one point reads "Suppose that a Euclidean domain $R$ had a unique maxima ideal $P$". Does this mean ...
0
votes
1answer
48 views

Suppose that $K$ is a field and that $f$ and $g$ are relatively prime in $K[x]$. Show that $f - Yg$ is irreducible in $K(y)[x]$.

I'm a bit confused of the notation $K(y)[x]$, is that simply $K[y][x]$ so... $K[y,x]?$ Anyways, here's my attempt at trying this before I get stuck. Since $f$ and $g$ are relatively prime, that ...
0
votes
0answers
29 views

Domain of reciprocal of log in complex plane

Ok so what i already know is that the function f(z) = log(z) is undefined when z = negative or zero which is quite a basic concept. Can someone explain the mystery ...
2
votes
1answer
54 views

Principal Ideal Domains with Many Primes of Index 2

By the index of a prime $p$ in a principal ideal domain $R$, I mean the number of cosets of the ideal $(p)$ in $R$ (i.e. $\vert R/(p)\vert$). If I am given a positive integer $m$, I am wondering ...
0
votes
1answer
56 views

$\Bbb Z[x]$ is not a principal domain

I know this is already answered here but I am wondering that if the following way to prove is also correct - let $$f(x) = 4x^2+4x+1$$ $$g(x)=4x^2-1$$ Since this is a UFD so a unique gcd will ...
3
votes
1answer
120 views

Problem with Smith normal form over a PID that is not an Euclidean domain

This is an homework exercise of the Algebra lecture. I need to evaluate the Smith normal form of the following matrix $$A:=\begin{pmatrix}1 & -\xi & \xi-1\\2 ...
0
votes
1answer
24 views

algebraic poset

I learn domain theory and stack in definition of algebraic poset. Recall $P$ is algebraic if for every $x\in P$,the set of compact element $y$ below $x$ is directed and has $x$ as least upper bound. ...
0
votes
1answer
30 views

Principal Ideal Domain Modulo a Power of a Prime Ideal

If $R$ is a PID, $p$ is a prime element of $R$, $R/(p)$ is finite, and $\alpha$ is a positive integer, is it true that $\vert R/(p^{\alpha})\vert=\vert R/(p)\vert^{\alpha}$? I seem to recall seeing ...
1
vote
1answer
40 views

The number 2 in a PID

Let $R$ be a PID. Then $R$ is a commutative ring with multiplicative identity $1$. We can then define $2=1+1$. From here, what is known about $2$ and its prime factors? I suppose this breaks into two ...
0
votes
1answer
47 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't ...
1
vote
1answer
51 views

Difference between PID and principal ideal ring

All rings are commutative, associative and with 1. Wikipedia states that the difference between PID and Principal Ideal Ring is that the former has to be integral domain while the latter does not. ...
1
vote
1answer
26 views

Help understanding statement relating to structure of modules over PIDs

Lemma IV.6.11 of Hungerford's Algebra is Lemma 6.11. Let $R$ be a principal ideal domain. If $r \in R$ factors as $r = p_1^{n_1} \cdots p_k^{n_k}$ with $p_1,\ldots,p_k \in R$ distinct primes and ...
2
votes
2answers
44 views

Is the ideal $(2,x^4+x^2+1)<\mathbb{Z}[x]$ maximal?, principal?

I'm trying to solve the following problem: Let I=$(2,x^4+x^2+1)<\mathbb{Z}[x]$ be an ideal. Is $I$ maximal? Is $I$ principal? Any help would be appreciated.
1
vote
2answers
158 views

Is $\mathbb{C}[x,y] / (y^2-x^3)$ a PID?

First, I'd like to show $\mathbb{C}[x,y] / (y^2-x^3)$ is an integral domain. Then I need to find out whether or not it is a PID. For the first part, I want to show $y^2-x^3 \: | \: fg \implies ...
3
votes
2answers
93 views

module over a quotient of a principal ideal domain

The Statement I suspect the following proposition is well known, but I found no reference. Proposition If $A$ is a principal ideal domain, if $I$ is a nonzero ideal of $A$, and if $M$ is an ...
-2
votes
2answers
33 views

R is a PID, and a is a nonzero nonunit in R. How can we show R/Ra is an injective module over R?

If we use Baer's criterion then it suffices to show that if there exist a map from an ideal $I$ to $R/Ra$ we must find a map $g$ such that $g\circ i=f$.
2
votes
3answers
122 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 ...
18
votes
2answers
404 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 ...
11
votes
2answers
402 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 ...
0
votes
0answers
31 views

Smith normal forms and a math program

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

Intersection of ideals $I=(2x)$ and $J=(2x^2)$ of $\mathbb{Z}[2x,2x^2,2x^3,\dots]$ is not finitely generated.

Consider the subring $\mathbb{Z}[2x,2x^2,2x^3,\dots]\subset \mathbb{Z}[x]$. Then show that the intersection of ideals $I=(2x)$ and $J=(2x^2)$ of $\mathbb{Z}[2x,2x^2,2x^3,\dots]$ i.e., $I\cap ...
2
votes
1answer
21 views

Show that if $R$ is principal, $N $ is pure and $Ann(x+N)= Rd$ then there exists $y \in M$ such that $x+N=y+N$ and $Ann(y)=Rd$

Let $R$ a integral domain and $M$ a $R$-module. A submodule $N$ of $M$ is pure if for all $x \in M$ and $a \in R$ such that $ax \in N$, there exists $y \in N$ such that $ax=ay$. Show that if $R$ ...
5
votes
2answers
88 views

Ring Sandwiched between PIDs

If I have three commutative rings $R \subset S \subset T$, such that $R$ and $T$ are principal ideal domains, will this imply that $S$ itself is a principal ideal domain?
7
votes
2answers
152 views

$M \oplus M \simeq N \oplus N$ then $M \simeq N.$

Let $M$ and $N$ be finitely generated $R$-modules where $R$ principal domain. Show that if $M \oplus M \simeq N \oplus N$ then $M \simeq N.$
0
votes
2answers
67 views

Show that an integral domain $R$ is principal if and only if every submodule of a cyclic $R$-module is cyclic.

Good morning, I have difficulty with this problem: Show that an integral domain $R$ is principal if and only if every submodule a cyclic $R$-module is also cyclic.
-1
votes
2answers
27 views

$Hom(F,T)$, where $F$ is torsion-free and $T$ is torsion module [closed]

If the underlying ring is a PID, then is it true that $Hom(F,T)=0$?
2
votes
1answer
22 views

Quick question: SES where base ring is a PID

Let $M$ be an $R$-module, where $R$ is a PID. Assume there is a free $R$-module $F$ and a surjective map $\phi :F\rightarrow M$. Then why is $\ker(\phi)$ also free? Thank you.
0
votes
1answer
39 views

principal ideals, integral domains, ideals,?

I am stuck trying to grasp this concept. I know that $\Bbb{Z}$ is a PID, $R=\Bbb{Z}[X]$ is not a PID, $\Bbb{Z}[i]$ is a PID. If someone could help me grasp these concepts it would be helpful. ...
0
votes
1answer
54 views

A submodule of a free module over a PID

$R$ is a principal ideal domain and $F$ is a free module over $R$ of infinite rank with basis $\{e_1,...,e_n,...\}$. Is it true that the $R$-submodule of $F$ spanned by $\{e_1,...,e_n\}$ has a ...
0
votes
0answers
10 views

Number of solutions to a congruence in a PID

This is the proof that there are $(a,m)$ solutions to $ax\equiv b \mod m$ for the ring $\mathbb{Z}/m\mathbb{Z}$. Where does this proof not hold for a general PID, allowing for (for instance) an ...
1
vote
0answers
45 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 ...
1
vote
1answer
139 views

Irreducible elements in a PID are prime

How can I see that all irreducible elements in a principal ideal domain are prime? $u$ is irreducible when $u_1 u_2 = u \implies u_1 $ or $u_2$ is a unit. $u$ is prime when $u | ab \implies u|a$ or ...