TheoremBase

Powers and Images of Natural Numbers in a Commutative Ring Lie in the Ring

In a commutative ring R, every power xnx^n of an element x of R with exponent in the natural numbers with zero, and the image nRn_R of every natural number with zero, lies in R.

Statement

In the setting of Commutative Rings, Fields and Ordered Fields: Standard Notation, let RR, with ++, ⋅\cdot, 00 and 11, be a commutative ring.

For every x∈Rx\in R and every n∈N0n\in\mathbb{N}_{0}, the power xnx^{n} for the multiplication ⋅\cdot, as in Commutative Rings, Fields and Ordered Fields: Standard Notation §rings and Powers with Exponents in the Natural Numbers with Zero §zero, lies in RR: xn∈Rx^{n}\in R.

For every n∈N0n\in\mathbb{N}_{0}, the image nRn_{R} of nn in RR lies in RR: nR∈Rn_{R}\in R.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…