Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $A$ be a commutative ring, such that $A^*$ is finite, and that for any maximal ideal $\frak m$, $A/\frak m$ is finite. Is it true that $A$ is denumerable? I've been trying to disprove this by looking at $\mathbf{K}[X]$, where $X=(X_i)_{i \in I}$ and $I$ is non-denumerable but I can't prove that the maximal ideals of this ring are trivial, so that the residue fields would be isomorphic to $\mathbf{K}$ (then choose $\mathbf{K}$ finite). Another idea was looking at maximal ideals of some non-denumerable product $\prod_i K$ but again there may be some strange maximal ideals (like ultrafilters).

What do you think? Maybe the answer to the question is in fact yes?

share|improve this question
add comment

1 Answer

up vote 4 down vote accepted

Any Boolean ring $B$, such as a product $\prod_i \mathbb{F}_2$ over an arbitrary index set, has this property. If $u$ is a unit, then $u^2 = u$ implies $u = 1$, so $1$ is the only unit. If $P$ is a prime ideal, then $B/P$ is a Boolean ring which is also an integral domain, and considering the equation $u(1 - u) = 0$ it follows that the only such Boolean ring is $\mathbb{F}_2$. Hence strange maximal ideals are not an issue.

share|improve this answer
    
@QiaochuYuan What about the case when $A$ is required to be an integral domain? –  user26857 Dec 22 '12 at 11:13
    
Indeed! You made my day, thanks. –  timofei Dec 22 '12 at 11:33
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.