Search results
Results From The WOW.Com Content Network
Since the field axioms only guarantee the existence of such inverses for nonzero elements, this expression has no meaning when b is zero. Modern texts, that define fields as a special type of ring, include the axiom 0 ≠ 1 for fields (or its equivalent) so that the zero ring is excluded from being a field. In the zero ring, division by zero is ...
In abstract algebra, an element a of a ring R is called a left zero divisor if there exists a nonzero x in R such that ax = 0, [1] or equivalently if the map from R to R that sends x to ax is not injective. [a] Similarly, an element a of a ring is called a right zero divisor if there exists a nonzero y in R such that ya = 0.
A positive divisor of that is different from is called a proper divisor or an aliquot part of (for example, the proper divisors of 6 are 1, 2, and 3). A number that does not evenly divide n {\displaystyle n} but leaves a remainder is sometimes called an aliquant part of n . {\displaystyle n.}
In these enlarged number systems, division is the inverse operation to multiplication, that is a = c / b means a × b = c, as long as b is not zero. If b = 0, then this is a division by zero, which is not defined. [a] [4]: 246 In the 21-apples example, everyone would receive 5 apple and a quarter of an apple, thus avoiding any leftover.
If one interprets the definition of divisor literally, every a is a divisor of 0, since one can take x = 0. Because of this, it is traditional to abuse terminology by making an exception for zero divisors: one calls an element a in a commutative ring a zero divisor if there exists a nonzero x such that ax = 0. [2]
In algebra, a domain is a nonzero ring in which ab = 0 implies a = 0 or b = 0. [1] ( Sometimes such a ring is said to "have the zero-product property".) Equivalently, a domain is a ring in which 0 is the only left zero divisor (or equivalently, the only right zero divisor).
For associative algebras, the definition can be simplified as follows: a non-zero associative algebra over a field is a division algebra if and only if it has a multiplicative identity element 1 and every non-zero element a has a multiplicative inverse (i.e. an element x with ax = xa = 1).
First, this agrees with the definition that a domain is a ring in which 0 is the only zero divisor (in particular, 0 is required to be a zero divisor, which fails in the zero ring). Second, this way, for a positive integer n, the ring Z/nZ is a domain if and only if n is prime, but 1 is not prime.