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.

With only the additional axiom that $0\neq 1$, I think I have been able to formally construct the a subset $n$ of the ring $(R,+,*,0,1)$ using only a subset axiom (specification in ZF).

Informally, $n=\{1, 1+1, 1+1+1, ...\}$

I have shown the that equivalent of Peano's Axioms (including induction) holds on this subset. Can this be true? Would this not imply that all rings with $0\neq 1$ are infinite?

share|improve this question
Maybe you could show the construction? –  nonpop Dec 2 '12 at 7:29

1 Answer 1

up vote 1 down vote accepted

As you pointed out, this cannot be true, because there exist finite rings. The Peano Axioms that is not satisfied in this case is:

For every natural number n, S(n) = 0 is false. That is, there is no natural number whose successor is 0.

share|improve this answer
My mistake. I was, however, able to establish the equivalent of the other Peano Axioms (including the induction principle) plus $x\neq S(x)$ or $x\neq x+1$. –  Dan Christensen Dec 1 '12 at 19:18
Is it then correct to say that finite rings must "loop around" like modular arithmetic? –  Dan Christensen Dec 1 '12 at 19:28

Your Answer


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.