# Tagged Questions

41 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.
51 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 ...
31 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. ...
39 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 ...
61 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 irreducible ...
40 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?
145 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 ...
131 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 ...
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 ...
52 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 ...
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 ...
57 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?
221 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 ...
39 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 ...
81 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 ...
64 views

### Number of ideals in $\Bbb Z[x]/(x^3+1, 7)$

I am trying to find the number of ideals in $R:=\Bbb Z[x]/(x^3+1, 7)$ and $S:=\Bbb Z[x]/(x^3+1, 3)$. I started with $R$ and tried to write it in terms of familiar rings, by using fundamental ...
74 views

### Counting the ideals of $\frac{\mathbb{R}[X]}{(X^2)}$

I want to ask you guys if I'm on the right track: Here's the question: Suppose $a \in \mathbb{R}$. Count the ideals of $\frac{\mathbb{R}[X]}{(X^2-a)}$. Give an example of a ring with exactly 3 prime ...
242 views

### radical of sum of two ideals

$I$ and $J$ are ideals in $k[x_1,\cdots,x_n]$. Show that $\sqrt{I+J}=\sqrt{\sqrt{I}+\sqrt{J}}$. I have no idea how to prove it. Can someone help?
143 views

### Show that $\mathbb{Z}[x]=\lbrace \sum_{i=0}^{n}{a_ix^i}:a_i \in \mathbb{Z}, n \geq 0 \rbrace$ is not a principal ideal ring.

Show that $\mathbb{Z}[x]=\lbrace \sum_{i=0}^{n}{a_ix^i}:a_i \in \mathbb{Z}, n \geq 0 \rbrace$ is not a principal ideal ring. I know the definition of principal ideal ring is that every ideal is ...
163 views

### Quotient of ring of integers

Let $R=\mathcal{O}(K)$ be the ring of the integers of $K=\mathbb{Q}[\zeta_8]$, where $\zeta_8=e^{2\pi i/8}=\sqrt{2}/2(1+i)$ is a primitive eighth root of unity in $\mathbb{C}$. It can be shown that ...
531 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 ...