PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
cyclic ring (Definition)

A ring is a cyclic ring if its additive group is cyclic.

Every cyclic ring is commutative under multiplication. For if $R$ is a cyclic ring, $r$ is a generator of the additive group of $R$ and $s,t \in R$ then there exist $a,b \in {\mathbb Z}$ such that $s=ar$ and $t=br$ As a result, $st=(ar)(br)=(ab)r^2=(ba)r^2=(br)(ar)=ts.$ (Note the disguised use of the distributive property.)

A result of the fundamental theorem of finite abelian groups is that every ring with squarefree order is a cyclic ring.

If $n$ is a positive integer, then, up to isomorphism, there are exactly $\tau (n)$ cyclic rings of order $n$ where $\tau$ refers to the tau function. Also, if a cyclic ring has order $n$ then it has exactly $\tau (n)$ subrings. This result mainly follows from Lagrange's theorem and its converse. Note that the converse of Lagrange's theorem does not hold in general, but it does hold for finite cyclic groups.

Every subring of a cyclic ring is a cyclic ring. Moreover, every subring of a cyclic ring is an ideal.

$R$ is a finite cyclic ring of order $n$ if and only if there exists a positive divisor $k$ of $n$ such that $R$ is isomorphic to $k{\mathbb Z}_{kn}$ $R$ is an infinite cyclic ring that has no zero divisors if and only if there exists a positive integer $k$ such that $R$ is isomorphic to $k{\mathbb Z}$ (See behavior and its attachments for details.) Finally, $R$ is an infinite cyclic ring that has zero divisors if and only if it is isomorphic to the following subset of ${\mathbf M}_{2\operatorname{x}2}({\mathbb Z})$

$\left\{ \left. \left( \begin{array}{cc} c & -c \\ c & -c \end{array} \right) \right| c \in {\mathbb Z} \right\}$

Thus, any infinite cyclic ring that has zero divisors is a zero ring.

Bibliography

1
Buck, Warren. Cyclic Rings. Charleston, IL: Eastern Illinois University, 2004.
2
Kruse, Robert L. and Price, David T. Nilpotent Rings. New York: Gordon and Breach, 1969.
3
Maurer, I. Gy. and Vincze, J. ``Despre Inele Ciclice.'' Studia Universitatis Babes-Bolyai. Series Mathematica-Physica, vol. 9 #1. Cluj, Romania: Universitatea Babes-Bolyai, 1964, pp. 25-27.
4
Peinado, Rolando E. ``On Finite Rings.'' Mathematics Magazine, vol. 40 #2. Buffalo: The Mathematical Association of America, 1967, pp. 83-85.




"cyclic ring" is owned by Wkbj79.
(view preamble | get metadata)

View style:

See Also: cyclic group, proof of the converse of Lagrange's theorem for finite cyclic groups, criterion for cyclic rings to be principal ideal rings, the multiplicative identity of a cyclic ring must be a generator


Attachments:
a finite ring is cyclic if and only its order and characteristic are equal (Theorem) by mathcam
proof that every subring of a cyclic ring is a cyclic ring (Proof) by Wkbj79
proof that every subring of a cyclic ring is an ideal (Proof) by Wkbj79
behavior (Definition) by Wkbj79
criteria for cyclic rings to be isomorphic (Theorem) by Wkbj79
Log in to rate this entry.
(view current ratings)

Cross-references: zero ring, subset, behavior, zero divisors, isomorphic, divisor, ideal, cyclic groups, finite, converse, Lagrange's theorem, subrings, tau function, isomorphism, integer, positive, order, squarefree, multiplication, commutative, cyclic, additive group, ring
There are 17 references to this entry.

This is version 30 of cyclic ring, born on 2003-03-10, modified 2008-08-16.
Object id is 4084, canonical name is CyclicRing3.
Accessed 5836 times total.

Classification:
AMS MSC13A99 (Commutative rings and algebras :: General commutative ring theory :: Miscellaneous)
 16U99 (Associative rings and algebras :: Conditions on elements :: Miscellaneous)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy
very little errata by misto on 2008-08-15 12:21:50
It's "Despre Inele Ciclice" and not "Despre Inele Ciclece".
[ reply | up ]
article links by Wkbj79 on 2003-03-13 00:35:37
Could somebody help me with this? There are at least two articles by the name of "cyclic", and, in my article, cyclic rings, I would like the word "cyclic" to link with the article on cyclic groups; however, it links to the article on cyclic quadrilaterals instead. Does someone know how to rememdy this???

Wkbj79
[ reply | up ]

Interact
post | correct | update request | add derivation | add example | add (any)