(related to Definition: Characteristic of a Ring)
You might ask, why the characteristic of a ring is defined to be \operatorname{char}(R)=0 and not infinite \operatorname{char}(R)=\infty if a minimal number n with the property \underbrace{1+\cdots+1}_{n \text{ times}} = 0
The key to an explanation is the classification of cyclic groups. Here, we recap why:
By hypothesis, (R, + ) is a cyclic group with a generator 1\in R with R=\langle 1\rangle. Consider a group homomorphism f:(\mathbb Z, + )\to (R, + ) defined by f(a):=\underbrace{a+\cdots+a}_{n \text{ times}}
To even better see the parallel, let consider the finite case. If R has a finite order |R|=n with n > 0. Note that all additive subgroups of integers have the form (\mathbb Z_n, + ) for a natural number n\in\mathbb N. In particular, \ker(f) has this form. It follows again from the isomorphism theorem for groups that (R, + ) is isomorphic to (\mathbb Z/\ker(f), + ) = (\mathbb Z_n, + ). Therefore, \operatorname{char}(R)=n, since \ker(f)=\{kn\mid k\in Z\}, (the kernel consists of all multiples of n).
Definitions: 1