A-2.2 Examples
(i.e., the set of all integers) is an abelian group under addition
(),
because:
- Closed: For any integer ,
is also an integer ().
- Associative: For any integer ,
.
- Identity: The additive identity is 0, because for any ,
.
- Inverse: For each ,
its additive inverse is ,
as .
- Commutative: For any integer ,
.
is a monoid under
multiplication (),
because:
- Closed: For any integer ,
is also an integer ().
- Associative: For any integer ,
.
- Identity: The multiplicative identity is 1, because for any ,
.
- NO Inverse: For an integer ,
its multiplicative inverse is ,
but this is not necessarily an integer (),
and thus breaks the closure property.
(i.e., the set of all real numbers) is an abelian group under multiplication
(),
because:
- Closed: For any real number ,
is also a real number ().
- Associative: For any real number ,
.
- Identity: The multiplicative identity is 1, as for any real number ,
.
- Inverse: For each real number
(except for 0, the identity), its multiplicative inverse is ,
which is a real number ().