请输入您要查询的字词:

 

单词 CriteriaForCyclicRingsToBeIsomorphic
释义

criteria for cyclic rings to be isomorphic


Theorem.

Two cyclic rings are isomorphicPlanetmathPlanetmathPlanetmath 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 generatorPlanetmathPlanetmathPlanetmath (http://planetmath.org/Generator) of the additive groupMathworldPlanetmath of R with r2=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 s2=ks. Define φ:RS by φ(cr)=cs for every c. This map is clearly well defined and surjectivePlanetmathPlanetmath. Since R and S have the same order, φ is injectivePlanetmathPlanetmath. Since, for every a,b, φ(ar)+φ(br)=as+bs=(a+b)s=φ((a+b)r)=φ(ar+br) and

φ(ar)φ(br)=(as)(bs)=(ab)s2=(ab)(ks)=(abk)s=φ((abk)r)=φ((ab)(kr))=φ((ab)r2)=φ((ar)(br)),

it follows that φ is an isomorphismPlanetmathPlanetmathPlanetmathPlanetmath.

Conversely, let ψ:RS be an isomorphism. Then R and S must have the same order. If R is infiniteMathworldPlanetmath, then S is infinite, and k is a nonnegative integer. If R is finite, then k divides (http://planetmath.org/Divisibility) |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 ψ is an isomorphism, ψ(r) is a generator of the additive group of S. Since (ψ(r))2=ψ(r2)=ψ(kr)=kψ(r), it follows that S has behavior k.∎

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 2:24:56