13.1. Definition of Groups

So, what is a group? Imagine you are given a set S, which may or may not be finite, and you are given some binary operation. By binary operation, I mean it operates on 2 operands from S. So, S along with the operation ∘ will be called a group if it satisfies certain properties, which we often call as group axioms.

A group is a mathematical structure that combines a set of elements with a specific operation. To qualify as a group, this set must have a binary operation defined on it that takes two elements from the set and combines them to form another element in the same set. These elements and the operation must comply with rules called 'group axioms', making sure that the operation behaves in a consistent manner across the elements of the set.

Think of a group as a team of players and their actions (or plays) that can be performed during a game. Each player's action must have a result that remains within the confines of the game (the group), like scoring a point. Therefore, every move contributes to the overall game without breaking any rules.

The first axiom which we call as A1 is the closure property, and the closure property demands that for any 2 operands a, b from your set S, if you perform the operation ∘ on a and b, the result should be an element of the set S itself. And hence the name closure. This is true for every a, b namely even when a = b as well.

The second property or axiom is the associativity property, denoted by A2, which demands that your operation ∘ should be associative i.e., the order of the operands does not matter. Namely, for every triplet of values a, b, c from S, (a ∘ b) ∘ c = a ∘ (b ∘ c).

The third property or the axiom is the existence of identity denoted by A3 which demands that there should be a unique element e present in S called as the identity element such that the identity element satisfies the following property for every group element. If you perform the operation ∘ on the element a and the identity element, you will obtain the same element a.

The fourth property and the last property which you require from a group is that of existence of an inverse element, which demands that corresponding to every element from the set S there should exist a unique element a' in S such that the result of the group operation on a and a' (or vice versa) is the identity element e.

The group axioms define the essential characteristics that a set and operation must fulfill to be classified as a group.

1. Closure: This means if you combine any two elements using the group operation, the result must also be contained in the group.
2. Associativity: This ensures that the order of operations does not affect the result when combining three elements — it doesn't matter if you combine the first two first or the last two, the end result will be the same.
3. Identity element: There exists an element in the group that does not change other elements when combined — it will return that same element when you perform the operation.
4. Inverse element: Each element must have an associated partner such that when you perform the operation between the two, it results in the identity element. This structure is fundamental for functioning and guarantees a cohesive and operationally predictable behavior of the group.

Imagine you are at a dance party (the set). Every move you make needs to stay on the dance floor (closure), it doesn’t matter if you twirl first or clap (associativity), there's a go-to move – like a signature step – that keeps you in rhythm (identity), and for every step, there's a counter step to balance it out so you don’t fall off the floor (inverse). All these elements work together to create a successful dance routine, just like the group axioms work together in mathematics.

Even if one of these four properties is violated, the set S along with operation ∘ would not constitute a group. An important point to note here is that the axioms do not require the operation ∘ to be commutative. The group axioms only demand the operation ∘ be associative. That means, the result of performing the group operation on a and b need not be the same as the result of performing the group operation on b and a.

The integrity of a group relies on the fulfillment of its axioms. If any of the four axioms are not met, the structure fails to be a group. Additionally, groups are not required to have a commutative property, which means that for some groups, changing the order of operations can yield different results. This is significant because it opens the door to a broad array of mathematical structures where non-commutativity plays a crucial role.

Consider a cooking class (the group). In some recipes, the order of adding ingredients doesn't matter (like stirring in spices), while in others, it does (like baking powder needs to go before flour). So not all cooking methods come out the same with different sequences of actions, reflecting how some groups operate in non-commutative ways.

So, if S along with the binary operation ∘ satisfies all these four axioms, then (S, ∘) is a group. If one property fails, it cannot be labeled as a group.

In conclusion, to officially declare a set and operation to be a group, it must adhere to all four specified axioms. These criteria maintain the consistency and structural integrity needed for algebraic operations within the set. The failure of any single axiom disqualifies the structure from being termed a group.

Imagine a set of rules that determine whether a game can be played successfully. If you change or ignore any one rule, the game can’t be played properly. This mirrors how the axioms work for groups; without all of them, the group can’t exist just as the game can’t function without all its rules.

--