Defines the negative −x and the difference x − y in a commutative ring, and the reciprocal y⁻¹ and the quotient x/y for y ≠ 0 in a field.
In the setting of Class Theory NBG: the Axioms, Standing Conventions and Basic Notation, let , with , , and , be a commutative ring, and let .
The negative is the unique with , given by Additive and Multiplicative Inverses Are Unique §negative, and the difference is .
If , with , , and , is a field and , the reciprocal is the unique with , given by Additive and Multiplicative Inverses Are Unique §reciprocal, and the quotient is .
Loading…
No relations recorded yet.