Alternative Axioms
The pair of axioms A3 and A4 may be replaced either by the pair:
- A3’, left neutral. There exists an such that for all, .
- A4’, left inverse. For each, there exists an element such that .
or by the pair:
- A3”, right neutral. There exists an such that for all, .
- A4”, right inverse. For each, there exists an element such that .
These evidently weaker axiom pairs are trivial consequences of A3 and A4. We will now show that the nontrivial converse is also true. Given a left neutral element and for any given then A4’ says there exists an such that .
Theorem 1.2:
Proof. Let be an inverse of Then:
This establishes A4 (and hence A4”).
Theorem 1.2a:
Proof.
This establishes A3 (and hence A3”).
Theorem: Given A1 and A2, A3’ and A4’ imply A3 and A4.
Proof. Theorems 1.2 and 1.2a.
Theorem: Given A1 and A2, A3” and A4” imply A3 and A4.
Proof. Similar to the above.
Read more about this topic: Elementary Group Theory
Famous quotes containing the words alternative and/or axioms:
“It is a secret from nobody that the famous random event is most likely to arise from those parts of the world where the old adage “There is no alternative to victory” retains a high degree of plausibility.”
—Hannah Arendt (1906–1975)
““I tell you the solemn truth that the doctrine of the Trinity is not so difficult to accept for a working proposition as any one of the axioms of physics.””
—Henry Brooks Adams (1838–1918)