You are here
Home ›proof that every subring of a cyclic ring is an ideal
Primary tabs
proof that every subring of a cyclic ring is an ideal
The following is a proof that every subring of a cyclic ring is an ideal.
Proof.
Let be a cyclic ring and be a subring of . Then and are both cyclic rings. Let be a generator of the additive group of and be a generator of the additive group of . Then . Thus, there exists with .
Let and . Then . Since multiplication is commutative in a cyclic ring, . Since , there exists with . Since , there exists with .
References
- 1 Buck, Warren. Cyclic Rings. Charleston, IL: Eastern Illinois University, 2004.
- 2 Maurer, I. Gy. and Vincze, J. “Despre Inele Ciclece.” Studia Universitatis Babeş-Bolyai. Series Mathematica-Physica, vol. 9 #1. Cluj, Romania: Universitatea Babeş-Bolyai, 1964, pp. 25-27.
Related:
ProofThatEverySubringOfACyclicRingIsACyclicRing
Major Section:
Reference
Type of Math Object:
Proof
Parent:
Mathematics Subject Classification
13A99 None of the above, but in MSC2010 section 13Axx16U99 None of the above, but in MSC2010 section 16Uxx
- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
May 22
new question: Linear Algebra Combination Problem! by Bruce Lee
new question: Computation of $\varphi(2000)$ by jeremyboden
new question: Computation of $\varphi(2000)$ by jeremyboden
May 21
new question: pure subgroups by lvoyster
new correction: Typo in M\"obius function? by Aleph Zero
new collection: analytic number theory by Aleph Zero
May 20
new question: Taylor's Series Query! by unlord
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord
new question: Linear Algebra Combination Problem! by Bruce Lee
new question: Computation of $\varphi(2000)$ by jeremyboden
new question: Computation of $\varphi(2000)$ by jeremyboden
May 21
new question: pure subgroups by lvoyster
new correction: Typo in M\"obius function? by Aleph Zero
new collection: analytic number theory by Aleph Zero
May 20
new question: Taylor's Series Query! by unlord
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord


