# Why did abstract group theory take its current form?

These days, I'm interested in group theory. Why is the group axiom the way it is now? As an example, among mathematics, algebra has fundamental properties called associative property, commutative property, and distributive property. However, among these, only the associative property is included in the group axioms. And among the above properties, when the commutative property is established, it is called a special term, Abelian group. And there are certainly many good properties in the Abelian group. So I want to know why the group axiom ended up being the way it is now.

And I understand that the group theory comes from linear equations. So, in my personal opinion, I think that the generalization of possible solutions in linear equations is reflected in the group axiom, but I am asking this question because I want to know for sure. And as an additional question, what was the reason in the history of mathematics that led to thinking of groups based on linear equations?

• As with most mathematics, Group theory doesn't come from any one field or problem. In the 19th century there were a lot of results that would later be systematically organized and streamlined into what we know today as Group Theory. Most notably, Galois was among the first mathematicians to work with groups in the modern sense, and his motivation wasn't linear equations per se but the problem of solvability of polynomials in radicals. Commented Feb 1 at 8:30
• @RandyMarsh Thanks for your comment. Then, it seems that the connection with the linear equation was discovered later. Commented Feb 1 at 8:51
• To incorporate the distributive property look at rings. Also, abelian (or commutative) groups are distinct from non-abelian. Commented Feb 1 at 8:52
• – lhf
Commented Feb 1 at 12:54
• You might consider asking your quaternion question as a separate post.
– Karl
Commented Feb 1 at 17:36

The group axioms reflect the properties of bijections from a set to itself (and more generally, of automorphisms in any category), with function composition as the group operation: composition is inherently associative, and we have identity and inverse functions. In fact, every group is isomorphic to an automorphism group.

Composition isn't generally commutative. For example, rotating a shape 90 degrees around the origin doesn't commute with reflecting across the $$x$$-axis, so the group generated by these two operations (which is a dihedral group with 8 elements) is not abelian.

• Hello thank you for your answer. Then, can we assume that galois, who was the first to study groups in the modern sense, also viewed groups as functions, so the group axiom has been maintained in that form until now? Commented Feb 1 at 9:11
• I don't know the history, actually. I just meant to give the "hindsight" perspective on why the group axioms are a useful bundle: because they model "composable, invertible operations", which are ubiquitous in math.
– Karl
Commented Feb 1 at 9:20
• Galois’s Mémoire sur les conditions de résolubilité des équations par radicaux introduced the concept of a groupe de substitutions which we'd call permutations today, but the same underlying concept of composable, invertible, but not necessarily abelian. Commented Feb 1 at 12:35
• I think @WarrenMoore is right. The abstract notion of "group" is more recent than Galois, who used only groups of permutations. Abstract groups are part of the innovation called modern algebra in the early 20th century. Commented Feb 1 at 16:28

I can recommend reading Hans Wussing, The Genesis of the Abstract Group Concept: A Contribution to the History of the Origin of Abstract Group Theory, see for example here.

• This doesn't answer the question. Commented Feb 2 at 7:07
• But it does, have you read the book, or at least the summary? As a student I read it in German (no English translation available at the time) and it perfectly takes the reader along the genesis of the concept of a group. Commented Feb 2 at 8:23