The foundation of mathematics is built on axioms – assumptions we declare to be able to prove anything at all. In general, mathematicians try to keep the number of axioms to a minimum. We want to assume as little as possible and prove as much as possible!
The five axioms of Euclidean Geometry (the geometry we know from school) is a classic example. The fifth axiom, so-called Parallel Postulate, is rather complicated compared to the other ones:
If a line segment intersects two straight lines forming two interior angles on the same side that sum to less than two right angles, then the two lines, if extended indefinitely, meet on that side on which the angles sum to less than two right angles.
Mathematicians didn’t like this axiom. How could such an ugly statement be the last axiom of our geometry? So for 2000 years, many clever minds tried to prove this axiom using Euclid’s first four postulates. No success, however – they all failed.
They all failed for a reason: We now know that it’s impossible to give such a proof. New geometries were constructed that satisfy each of the first four axioms but not the fifth. Such geometries are called Non-Euclidean geometries with examples as Hyperbolic geometry or Spherical geometry.
The moral of the story? Mathematicians usually carefully pick their axioms and want as few as possible.
That, however, seems not to be the case in specific topics of Abstract Algebra. Somehow, the literature likes to assume commutativity.
Commutativity is a strong condition. In everyday life, we are spoiled with commutativity! How do we pay 3€? We could first pay 1€ and then pay another 2€. Or we could start with 2€ and continue with 1€. The idea is simple: 1 + 2 = 2 + 1.
In mathematical structures, however, commutativity is tough to get. Associativity is a much simpler condition than commutativity. There are only very few structures that possess commutativity but no associativity.
In fact, even in everyday life, we are surrounded by non-commutative structures. Do you first put on your shoes or your socks? Obviously the order matters here!
So commutativity should not be taken for granted. Apparently, though, many people do. That happens for basic structures such as vector spaces.
Definition. A vector space over is a set with an operation + on and another operation between and that satisfies five axioms.
- The structure is an abelian group.
- For we have
- For we have
- For we have
- For we have
(Note that the + and operations are not always the same operations. Some operate on and some on )
These axioms seem harmless, right? Only the last one seems dispensable but one can construct structures that satisfy only the first 4 axioms.
I too naively believed that these axioms are alright… Until a friend of mine asked me
“Did you know that commutativity is redundant?”
In shock, I was speechless: “whaaaaat?”
We’re speaking about axiom 1:
is an abelian group.
Who in their right minds would have guessed that abelian can be left out? I surely did not. And I bet most people don’t. How should we? The literature usually includes commutativity. See for example Linear Algebra Done Right, most Linear Algebra textbooks, Wikipedia, my Linear Algebra lecture notes, most likely your Linear Algebra lecture notes, etc.
Of course, I had trouble believing my friend in the beginning and tried to construct a counterexample. No success, however – I failed. Why? For the opposite reason as in the introductory paragraph. Indeed, I was later able to prove that commutativity can be proven using the other axioms.
I still don’t get why lecturers/books don’t just leave out commutativity. Showing commutativity doesn’t take long (I encourage you to do so!) and can be immediately declared as a theorem.
Axiom. The structure is a group.
Theorem. In fact, is not only a group but an abelian group!
We do prove “seemingly obvious” facts like so why not also show some love for commutativity?
Vector spaces are not the only structures suffering this fate. In unitary rings (and fields) we also usually assume commutativity. The proof that commutativity does not have to be assumed can be proven analogously as with vector spaces.
Let us not just take commutativity for granted! Where else does the common literature take a shortcut and declare too many axioms?