Welcome to MathOverflow

Question

13

1

Let $R$ be a non-zero ring with identity. Is it possible for $R[x]$ to have only a finite number of maximal left ideals !?

edited Jan 8 at 7:03

asked Jan 7 at 9:38

tvector
385●7

Do you want to exclude $R=0$? – Martin Brandenburg Jan 7 at 11:22

yes, usually when speaking of rings with identity, it means non-zero rings or equivalently $1 \not = 0$. – tvector Jan 7 at 11:50

3

If $R$ is commutative, then you can choose a maximal ideal $m$ of $R$, and let $k=R/m$. Since $k[x]$ has infinitely many maximal ideals, the same is true for $R[x]$. – François Brunault Jan 7 at 20:20

7

tvector: This is not "usually" (and would mess around with ideal theory). – darij grinberg Jan 7 at 21:12

2

@tvector: No, this would contradict the modern point of view of universal algebra and category theory. I know that there are people assuming that integers are $ \neq 0$, rings $ \neq 0$ (unital or not isn't important, the zero ring is unital with $1=0$), sets $\neq \emptyset$ etc. but this is just nonsense. Anyway, so the question should be: Let $R$ be a unital ring such that $R[x]$ has only finitely many maximal ideals. Does it follow $R=0$? (yes, see shatich's answer) – Martin Brandenburg Jan 8 at 0:05

show 1 more comment

chatish · Accepted Answer · 2013-01-07 21:11:59Z UTC

Lets try something like Euclid's proof of infiniteness of prime numbers. Let $f_1 = x, f_2 = xf_1 + 1, f_3=xf_1f_2+1, f_4=xf_1f_2f_3 + 1$ and so on. The left ideal generated by each $f_i$ is proper. Thus each $f_i$ is contained in a maximal left ideal. On the other hand for any $i < j$ we have $ f_i | f_j-1$ (note that $f_i$'s are in the center of $R[x]$). This means that $f_i$ and $f_j$ can not be both in one maximal left ideal. Hence we have an infinite number of maximal left ideals.

Maximal Ideals in $R[x]$

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.