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

learn more… | top users | synonyms (1)

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?
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
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 ...
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 ...
1
vote
1answer
55 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: ...
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 ...
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
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. ...
3
votes
0answers
52 views

Is quantum torus a principal ideal domain?

For a quantum torus $C_q[x_1^{\pm1}, ...,x_n^{\pm1}]$ satisfying $x_ix_j=q_{ij}x_jx_i$. Question: Is this quantum torus a principal ideal domain?
3
votes
0answers
376 views

Exercise on modules over PID involving injective modules, Baer's criterion.

I'm interested if I solved this somewhat correctly, and would like to be set straight if it is wrong. This is an exercise from an introductory text. Let $A$ be a module over a principal ideal ...
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
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 ...
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 ...
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
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 ...
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 ...
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 ...
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 ...
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 ...
0
votes
0answers
149 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 ...
0
votes
0answers
177 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
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$.
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 ...