a finite ring is cyclic if and only its order and characteristic are equal
. A finite ring is cyclic if and only if its order (http://planetmath.org/OrderRing) and characteristic are equal.
Proof.
If is a cyclic ring and is a generator (http://planetmath.org/Generator) of the additive group
![]()
of , then . Since, for every , divides , then it follows that . Conversely, if is a finite ring such that , then the exponent of the additive group of is also equal to . Thus, there exists such that . Since is a subgroup
![]()
of the additive group of and , it follows that is a cyclic ring.∎
| Title | a finite ring is cyclic if and only its order and characteristic are equal |
|---|---|
| Canonical name | AFiniteRingIsCyclicIfAndOnlyItsOrderAndCharacteristicAreEqual |
| Date of creation | 2013-03-22 13:30:30 |
| Last modified on | 2013-03-22 13:30:30 |
| Owner | mathcam (2727) |
| Last modified by | mathcam (2727) |
| Numerical id | 12 |
| Author | mathcam (2727) |
| Entry type | Theorem |
| Classification | msc 13A99 |