| 词条 | Cancellation property |
| 释义 |
In mathematics, the notion of cancellative is a generalization of the notion of invertible. An element a in a magma {{nowrap|(M, ∗)}} has the left cancellation property (or is left-cancellative) if for all b and c in M, {{nowrap|1=a ∗ b = a ∗ c}} always implies that {{nowrap|1=b = c}}. An element a in a magma {{nowrap|(M, ∗)}} has the right cancellation property (or is right-cancellative) if for all b and c in M, {{nowrap|1=b ∗ a = c ∗ a}} always implies that {{nowrap|1=b = c}}. An element a in a magma {{nowrap|1=(M, ∗)}} has the two-sided cancellation property (or is cancellative) if it is both left- and right-cancellative. A magma {{nowrap|(M, ∗)}} has the left cancellation property (or is left-cancellative) if all a in the magma are left cancellative, and similar definitions apply for the right cancellative or two-sided cancellative properties. A left-invertible element is left-cancellative, and analogously for right and two-sided. For example, every quasigroup, and thus every group, is cancellative. InterpretationTo say that an element a in a magma {{nowrap|(M, ∗)}} is left-cancellative, is to say that the function {{nowrap|g : x ↦ a ∗ x}} is injective, so a set monomorphism but as it is a set endomorphism it is a set section, i.e. there is a set epimorphism f such {{nowrap|1=f(g(x)) = f(a ∗ x) = x}} for all x, so f is a retraction. Moreover, we can be "constructive" with f taking the inverse in the range of g and sending the rest precisely to a. Examples of cancellative monoids and semigroupsThe positive (equally non-negative) integers form a cancellative semigroup under addition. The non-negative integers form a cancellative monoid under addition. In fact, any free semigroup or monoid obeys the cancellative law, and in general, any semigroup or monoid embedding into a group (as the above examples clearly do) will obey the cancellative law. In a different vein, (a subsemigroup of) the multiplicative semigroup of elements of a ring that are not zero divisors (which is just the set of all nonzero elements if the ring in question is a domain, like the integers) has the cancellation property. Note that this remains valid even if the ring in question is noncommutative and/or nonunital. Non-cancellative algebraic structuresAlthough the cancellation law holds for addition, subtraction, multiplication and division of real and complex numbers (with the single exception of multiplication by zero and division of zero by another number), there are a number of algebraic structures where the cancellation law is not valid. The cross product of two vectors does not obey the cancellation law. If {{nowrap|1=a × b = a × c}}, then it does not follow that {{nowrap|1=b = c}} even if {{nowrap|a ≠ 0}}. Matrix multiplication also does not necessarily obey the cancellation law. If {{nowrap|1=AB = AC}} and {{nowrap|A ≠ 0}}, then one must show that matrix A is invertible (i.e. has {{nowrap|det(A) ≠ 0}}) before one can conclude that {{nowrap|1=B = C}}. If {{nowrap|1=det(A) = 0}}, then B might not equal C, because the matrix equation {{nowrap|1=AX = B}} will not have a unique solution for a non-invertible matrix A. Also note that if {{nowrap|1=AB = CA}} and {{nowrap|A ≠ 0}} and the matrix A is invertible (i.e. has {{nowrap|det(A) ≠ 0}}), it is not necessarily true that {{nowrap|1=B = C}}. Cancellation works only for {{nowrap|1=AB = AC}} and {{nowrap|1=BA = CA}} (obviously provided that matrix A is invertible) and not for {{nowrap|1=AB = CA}} and {{nowrap|1=BA = AC}}. See also
1 : Non-associative algebra |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。