TheoremBase

Natural Numbers Read in the Integers and in the Rationals Agree with Their Embeddings

The image of a natural number with zero as a multiple of 1 in the integers, and in the rationals, coincides with its image under the canonical embeddings.

Statement

In the setting of Commutative Rings, Fields and Ordered Fields: Standard Notation, let n∈N0n\in\mathbb{N}_{0}, read in a commutative ring as in Commutative Rings, Fields and Ordered Fields: Standard Notation §numerals; let ι0\iota_{0} be as in The Natural Numbers with Zero and Their Embedding into the Integers §embedding and jj as in The Rational Numbers §embedding.

In the commutative ring Z\mathbb{Z} of The Integers §integers, n=ι0(n)n=\iota_{0}(n).

In the ordered field Q\mathbb{Q} of The Rational Numbers §rationals, n=j(ι0(n))n=j(\iota_{0}(n)).

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…