Ring/Linear algebra/Introduction/Section
A set is called a ring if there are two binary operations (called addition and multiplication)
and two elements that fulfill the following properties.
- Axioms for the addition:
- Associative law: holds for all .
- Commutative law: holds for all .
- is the neutral element of the addition, i.e., holds for all .
- Existence of the negative: For every , there exists an element with .
- Axioms of the multiplication:
- Associative law: holds for all .
- is the neutral element for the multiplication, i.e., holds for all .
- Distributive law: holds for all .
A ring is called commutative
if its multiplication is commutative.For us, the most important commutative rings are the set of integer numbers , the rational numbers , and the real numbers . The real numbers (and the rational numbers) with their natural operations fulfill all these axioms, as should be known from school. An axiomatic reasoning is possible, but we will not do this here. With its addition, a ring (forgetting the multiplicative structure) is in particular a commutative group.
In a ring, we use the convention that multiplication ties stronger than addition. Therefore, we write instead of . To simplify further the notation, we omit the product symbol. The special elements and in a ring are called the null element and the unit. For , we call the (according to fact) uniquely determined element fulfilling the negative of and denote it by . We have , since shows that the element equals the uniquely determined negative of . We write instead of and call this a difference. Hence, the difference is not a basic operation but is defined as the addition with the negative element.
The following properties are familiar for the real numbers; we prove them using only the axioms of a ring. So they hold for any ring.
Let be a ring,
and let denote elements from . Then the following statements hold.- (annihilation rule).
(rules for sign).
- (general law of distributivity).
In the noncommutative case, we only proof one half of the statements.
- We have . Subtracting (meaning addition with the negative of ) on both sides gives the claim.
due to part (1). Therefore, is the (uniquely determined) negative of .
- Due to (2), we have , and because of (which holds in every group), we get the claim.
- This follows from the parts proved so far.
- This follows with a double induction.