Chapter 1 Flashcards
commutativity of addition [axiom]
a + b = b + a
associativity of addition [axiom]
(a + b) + c = a + (b + c)
distributivity [axiom]
a * (b + c) = a * b + a * c
commutativity of multiplication [axiom]
a * b = b * a
associativity of multiplication [axiom]
(a * b) * c = a * (b * c)
additive identity [axiom]
There exists an interger 0 such that
a + 0 = a
for all a E Z.
The element 0 is called an additive identity.
multiplicative identity [axiom]
There exists an interger such that
1 =/= 0 and a * 1 = a
for all aEZ.
The element 1 is called a multiplicative identity.
additive inverse [axiom]
For each a E Z, there exists an interger, denoted -a, such that
a + (-a) = 0 .
The element -a is called the additive inverse of a.
cancellation property [axiom]
If a, b, c E Z,
a * b = a * c,
and a =/= 0,
then b = c .
reflexivity of (in)equality [axiom]
a = a
Does not apply to =/= .
symmetry of (in)equality [axiom]
If a = b, then b = a .
Also applies to =/= .
transitivity of (in)equality [axiom]
If a = b and b = c, then a = c .
Does not apply to =/= .
replacement property [axiom]
If a, b, c E Z and a = b,
then a + c = b + c .
uniqueness of the additive inverse [proposition]
If a, b E Z,
and a + b = 0 ,
then b = -a
uniqueness of the additive identity [proposition]
If a E Z has the property that
b + a = b for all b E Z,
then a = 0 .