Distributivity

From Knowino
Jump to: navigation, search

In algebra, distributivity is a property of two binary operations which generalises the relationship between addition and multiplication in elementary algebra known as "multiplying out". For these elementary operations it is also known as the distributive law, expressed as

 a \times (b + c) = (a \times b) + (a \times c)

Formally, let \otimes and \oplus be binary operations on a set X. We say that \otimes left distributes over \oplus, or is left distributive, if

 a \otimes (b \oplus c) = (a \otimes b) \oplus (a \otimes c) \,

and \otimes right distributes over \oplus, or is right distributive, if

(b \oplus c) \otimes a = (b \otimes a) \oplus (c \otimes a) . \,

The laws are of course equivalent if the operation \otimes is commutative.

[edit] Examples

Information.svg Some content on this page may previously have appeared on Citizendium.
Personal tools
Variants
Actions
Navigation
Community
Toolbox