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
[parent] criteria for cyclic rings to be isomorphic (Theorem)
Theorem   Two cyclic rings are isomorphic if and only if they have the same order and the same behavior.
Proof. Let $R$ be a cyclic ring with behavior $k$ and $r$ be a generator of the additive group of $R$ with $r^2=kr$ Also, let $S$ be a cyclic ring.

If $R$ and $S$ have the same order and the same behavior, then let $s$ be a generator of the additive group of $S$ with $s^2=ks$ Define $\varphi \colon R \to S$ by $\varphi(cr)=cs$ for every $c \in \mathbb{Z}$ This map is clearly well defined and surjective. Since $R$ and $S$ have the same order, $\varphi$ is injective. Since, for every $a,b \in \mathbb{Z}$ $\varphi(ar)+\varphi(br)=as+bs=(a+b)s=\varphi((a+b)r)=\varphi(ar+br)$ and

$\begin{array}{rl} \varphi(ar)\varphi(br) & =(as)(bs) \\ & =(ab)s^2 \\ & =(ab)(ks) \\ & =(abk)s \\ & =\varphi((abk)r) \\ & =\varphi((ab)(kr)) \\ & =\varphi((ab)r^2) \\ & =\varphi((ar)(br)), \end{array}$

it follows that $\varphi$ is an isomorphism.

Conversely, let $\psi \colon R \to S$ be an isomorphism. Then $R$ and $S$ must have the same order. If $R$ is infinite, then $S$ is infinite, and $k$ is a nonnegative integer. If $R$ is finite, then $k$ divides $|R|$ which equals $|S|$ In either case, $k$ is a candidate for the behavior of $S$ Since $r$ is a generator of the additive group of $R$ and $\psi$ is an isomorphism, $\psi(r)$ is a generator of the additive group of $S$ Since $(\psi(r))^2=\psi(r^2)=\psi(kr)=k\psi(r)$ it follows that $S$ has behavior $k$ $ \qedsymbol$




"criteria for cyclic rings to be isomorphic" is owned by Wkbj79.
(view preamble | get metadata)

View style:


This object's parent.

Attachments:
cyclic rings that are isomorphic to $k\mathbb{Z}$ (Corollary) by Wkbj79
cyclic rings that are isomorphic to $k{\mathbb{Z}}_{kn}$ (Corollary) by Wkbj79
Log in to rate this entry.
(view current ratings)

Cross-references: finite, integer, infinite, conversely, isomorphism, injective, surjective, well defined, map, additive group, behavior, order, isomorphic, cyclic rings

This is version 11 of criteria for cyclic rings to be isomorphic, born on 2006-06-26, modified 2007-05-31.
Object id is 8094, canonical name is CriteriaForCyclicRingsToBeIsomorphic.
Accessed 956 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

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)