Intereting Posts

Conditional probability, $E=?$
If $n$ is composite, so is $2^n-1$
Are the only sets in $\mathbb{R^1}$ which are both open and closed $\mathbb{R^1}$ and $\emptyset$?
Visualizing a homotopy pull back
Uniqueness of prime ideals of $\mathbb F_p/(x^2)$
Inequality between $\ell^p$-norms
Quick algorithm for computing orders mod n?
Calculate the last digit of $3^{347}$
How many different numbers can be written if each used digit symbol is used at least 2 times?
What should an amateur do with a proof of an open problem?
Looking for a proof of Cleo's result for ${\large\int}_0^\infty\operatorname{Ei}^4(-x)\,dx$
Why is gradient the direction of steepest ascent?
Prerequisite of Projective Geometry for Algebraic Geometry
the product space $\mathbb{R}^I$,where I denote $$, has a countable dense subset.
The multiplication formula for the Hurwitz zeta function

Let $R$ be a finite commutative ring. Show that an ideal is maximal if and only if it is prime.

My attempt: Let $I$ be an ideal of $R$. Then we have $I$ is maximal $\Leftrightarrow$ $R/I$ is a finite field $\Leftrightarrow$ $R/I$ is a finite integral domain $\Leftrightarrow$ $I$ is a prime ideal.

Is my proof valid ?

- Definition of Ring Vs Rng
- Show that order of $a^k$
- $R$ has a subring isomorphic to $R$.
- Finding properties of operation defined by $x⊕y=\frac{1}{\frac{1}{x}+\frac{1}{y}}$? (“Reciprocal addition” common for parallel resistors)
- Prove that $k/(xy-zw)$, the coordinate ring of $V(xy-zw) \subset \mathbb{A}^4$, is not a unique factorization domain
- The set of algebraic numbers is a field.

- What's the difference between isomorphism and homeomorphism?
- The automorphism group of the real line with standard topology
- Find a finite generating set for $Gl(n,\mathbb{Z})$
- $A_4 \oplus Z_3$ has no subgroup of order 18
- $\frac{SU(2)}{N}= Q$. Examples of finite groups $N$ and $Q$?
- Showing two ring homomorphisms that agree on the integers must agree on the rationals
- FOUR-algebra - boolean algebra?
- Alternative construction of the tensor product (or: pass this secret)
- Non-Noetherian ring with a single prime ideal
- Is an integer uniquely determined by its multiplicative order mod every prime

Yes, your proof is valid, but note that the second implication relies on $R$ being finite. It’d be clearer if written as

$R/I$ is a finite field $\Leftrightarrow$ $R/I$ is a finite integral domain

The whole thing would be even cleaner if written as

Since $R$ is finite, we have the following equivalences:

$I$ is maximal $\Leftrightarrow$ $R/I$ is a field $\Leftrightarrow$ $R/I$ is an integral domain $\Leftrightarrow$ $I$ is a prime ideal

though only the second relies on $R$ being finite.

The heart of the proof is good, and I wanted to comment that you could easily prove a “cousin” of that theorem for noncommutative Artinian rings!

I am, of course, using the noncommutative definition of prime ideals which generalizes the commutative one.

**Proposition:** A prime ideal in a right Artinian ring $R$ is maximal iff it is prime.

*Proof ($\Rightarrow$)* If $M$ is a maximal ideal, $R/M$ is a simple ring, which is certainly a prime ring. It follows that $M$ is a prime ideal.

*Proof* ($\Leftarrow$) (This is where the theme of your proof can be applied again!) Suppose $P$ is a prime ideal. Then $R/P$ is a prime ring. Since $R$ is right Artinian, so is $R/P$. But the Artin-Wedderburn theorem says that such a ring is simple, hence $P$ is maximal. $\Box$

The connection is that Wedderburn’s little theorem is like the Artin-Wedderburn theorem: one says that a finite domain is a field, one says that a right Artinian prime ring is a simple ring. (“Right Artinian” is a weaker form of “finite” and “prime” is a weaker form of “domain”.)

R/p is semiprime and right artinian, so it is semisimple. Since R/p is in fact prime, it can have only one simple component.

Therefore, R/p is simple, so p is a maximal ideal.

- necessary and sufficient condition for the Poisson's equation to admit a solution$?$
- If $X$ is compact and $f:X\to\mathbb{R}$ is continuous, then $f$ attains the values $\inf\{f(x):x\in X\}$ and $\sup\{f(x):x\in X\}$
- What's the chance of an explicit series of integers in a limited random distribution?
- How can this be proved $\lim_{x\to\infty}(f(x)+f'(x))=l$
- If ${n \choose 3} + {n+3-1 \choose 3} = (n)_3$, compute $n$.
- Differentiating an infinite sum
- Extending a homeomorphism of a subset of a space to a $G_\delta$ set
- What are the rules for equals signs with big-O and little-o?
- Lack of implication and logical quantifiers
- Convolution product on the linear dual of the polynomial algebra
- Branch of math studying relations
- Completeness of the space of sets with distance defined by the measure of symmetric difference
- Existence of rational points on ellipses equivalent to existence of integral points?
- What is the value of $\lim_{x\to 0}x^x$?
- Show $\Omega$ is simply connected if every harmonic function has a conjugate