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:
“If you have abandoned one faith, do not abandon all faith. There is always an alternative to the faith we lose. Or is it the same faith under another mask?”
—Graham Greene (1904–1991)
“The axioms of physics translate the laws of ethics. Thus, “the whole is greater than its part;” “reaction is equal to action;” “the smallest weight may be made to lift the greatest, the difference of weight being compensated by time;” and many the like propositions, which have an ethical as well as physical sense. These propositions have a much more extensive and universal sense when applied to human life, than when confined to technical use.”
—Ralph Waldo Emerson (1803–1882)