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.
In the setting of Commutative Rings, Fields and Ordered Fields: Standard Notation, let , read in a commutative ring as in Commutative Rings, Fields and Ordered Fields: Standard Notation §numerals; let be as in The Natural Numbers with Zero and Their Embedding into the Integers §embedding and as in The Rational Numbers §embedding.
In the commutative ring of The Integers §integers, .
In the ordered field of The Rational Numbers §rationals, .
Loading…
No relations recorded yet.