Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 2K views
Discussion
Physics news on Phys.org
- 2,726
- 6
Suppose $P$ is a (two-sided) prime ideal of our Artinian ring, $R$. Choose any $x \in R - P$.
Claim 1: $Rx^n + P$ is a left ideal of $R$ for any $n \in \Bbb Z^+$. To see this, suppose we have:
$a = rx^n + p$
$b = r'x^n + p'$ for $r,r' \in R, p,p' \in P$.
Then $a - b = rx^n + p - r'x^n - p = (r-r')x^n + (p - p') \in Rx^n + P$, so this is an additive subgroup.
Also, for any $r'' \in R$:
$r''a = r''(rx^n + p) = (r''r)x^n + r''p \in Rx^n + P$
Now we have the descending chain:
$Rx + P \supseteq Rx^2 + P \supseteq \cdots \supseteq Rx^n + P \supseteq Rx^{n+1} + P \supseteq \cdots$
and since $R$ is Artinian it is left-Artinian, so this stabilizes for some positive integer $n$.
Hence $x^n = rx^{n+1} + p$ for some $r \in R, p \in P$, which means that:
$x^n - rx^{n+1} = (1 - rx)x^n \in P$.
$x^n \in P \implies x \in P$ so we must have: $1 - rx \in P$, by our choice of $x$.
Hence, $1 = rx + (1 - rx) \in Rx + P$ which shows $P$ is a maximal left ideal.
A similar proof using $xR + P$ shows $P$ is a maximal right ideal as well.
Since our ring $R$ is also postulated to be prime, $\{0\}$ is a prime ideal of $R$, and thus (by the above) $\{0\}$ is a maximal ideal, that is: $R$ is simple.
********
(This proof is probably somewhat "inelegant", Artinian conditions aren't my strong suit).
Claim 1: $Rx^n + P$ is a left ideal of $R$ for any $n \in \Bbb Z^+$. To see this, suppose we have:
$a = rx^n + p$
$b = r'x^n + p'$ for $r,r' \in R, p,p' \in P$.
Then $a - b = rx^n + p - r'x^n - p = (r-r')x^n + (p - p') \in Rx^n + P$, so this is an additive subgroup.
Also, for any $r'' \in R$:
$r''a = r''(rx^n + p) = (r''r)x^n + r''p \in Rx^n + P$
Now we have the descending chain:
$Rx + P \supseteq Rx^2 + P \supseteq \cdots \supseteq Rx^n + P \supseteq Rx^{n+1} + P \supseteq \cdots$
and since $R$ is Artinian it is left-Artinian, so this stabilizes for some positive integer $n$.
Hence $x^n = rx^{n+1} + p$ for some $r \in R, p \in P$, which means that:
$x^n - rx^{n+1} = (1 - rx)x^n \in P$.
$x^n \in P \implies x \in P$ so we must have: $1 - rx \in P$, by our choice of $x$.
Hence, $1 = rx + (1 - rx) \in Rx + P$ which shows $P$ is a maximal left ideal.
A similar proof using $xR + P$ shows $P$ is a maximal right ideal as well.
Since our ring $R$ is also postulated to be prime, $\{0\}$ is a prime ideal of $R$, and thus (by the above) $\{0\}$ is a maximal ideal, that is: $R$ is simple.
********
(This proof is probably somewhat "inelegant", Artinian conditions aren't my strong suit).
Similar threads
Definition of a Right Artinian Ring - Cohn - page 66
- Math Amateur
- · Replies 15 ·
- Linear and Abstract Algebra
- Replies
- 15
Undergrad How Do You Prove a Matrix Ring is Right Artinian But Not Left Artinian?
- Math Amateur
- · Replies 8 ·
- Linear and Abstract Algebra
- Replies
- 8
Artinian Rings - Comments by P.M. Cohn, Ring Theory, page 66
- Math Amateur
- · Replies 4 ·
- Linear and Abstract Algebra
- Replies
- 4
Finitely Generated Modules and Artinian Rings
- Sudharaka
- · Replies 6 ·
- Linear and Abstract Algebra
- Replies
- 6
Problem Regarding Left Unital Artinian Ring (set by Euge)
- Math Amateur
- · Replies 3 ·
- Linear and Abstract Algebra
- Replies
- 3
Undergrad Localizing single variable quotient polynomial ring at a prime ideal
- elias001
- · Replies 6 ·
- Linear and Abstract Algebra
- Replies
- 6
Artinian Modules - Cohn Exercise 3, Section 2.2, page 65
- Math Amateur
- · Replies 10 ·
- Linear and Abstract Algebra
- Replies
- 10
Graduate Thread: Artinian Modules - Cohn Exercise 3, Section 2.2, page 65
- Math Amateur
- · Replies 1 ·
- Linear and Abstract Algebra
- Replies
- 1
Prove R is a Sub-ring of $\mathbb{Q}$ - Prime $p \in \mathbb{Z}$
- fabiancillo
- · Replies 11 ·
- Linear and Abstract Algebra
- Replies
- 11
Graduate Proving Artinian of Commutative Noetherian Rings with Maximal Primes
- peteryellow
- · Replies 4 ·
- Linear and Abstract Algebra
- Replies
- 4