**IMAGE OBTAINED FROM pixabay.com.**

Abstract algebra can be broken into about two or three sections: (1) Groups; (2) Rings and Fields; (3) Vector Spaces. (A fourth topic that could be considered its own is Galois Theory.) The typical way this version of algebra is introduced is to start by covering groups, then to introduce the concepts of rings and fields in the context of group theory. Rings are interesting, but they are not of interest to us right now. In this post, I attempt to define what a group is and to explain what the definition means. I then follow this up with examples of groups using the real numbers, integers, and complex numbers. In the next post, I will attempt to prove that the real numbers and integers are groups under addition and that the complex numbers form a group under complex multiplication. To that end we must introduce the concept of a group.

**Definition. ** A group is a non-empty set equipped with a single binary operation that satisfies the following four axioms:

- For all , ;
- For all , ;
- For all , there exists an element ;
- For all , there exists an element such that

This definition might not seem very helpful, but it’s the reason as to why we are allowed to use the properties of numbers that we used in high school. What this definition says is that we have a collection of objects that we call elements that is endowed with a binary operation. An example of this would be traditional addition or multiplication. The word binary simply means that it requires two elements to produce another element. For instance, consider the following group (we’ll discuss what this notation means later on in the post). Let and let . We can add these two integers to get another integer, call it . This is what we mean by a binary operation.

Now that we understand what the operation is, we can get into what it takes for a set to be a group. Statement 1 simply says that given any two elements in the set , if is also in the set, then we say that the set is closed under the operation . Statement 2 says that given any three elements in the set, the order in which the operation is performed, as dictated by the parentheses, is immaterial. This statement ensures that the elements of the set are associative. To clarify this a bit more, consider the following sum in :

The second statement says that I can remove the parentheses from the sum without it changing value. Indeed, in each case one gets 9, and so that’s what statement 2 ensures: associativity. Statement 3 says that there is an inverse element to each element in the set. For addition, this inverse element is the additive inverse, by which I mean that for every . For multiplication, the inverse element is the multiplicative inverse, in which case we have that for every element . In the definition, I was careful to include both the right and left inverse. The reason for this is not all sets of elements commute, that is it is not always true that . As an example, let be the set of all matrices whose determinant is non-zero. Matrices are known to non-commutative, and so . If it is true that every element in the group commutes, then is referred to as an abelian group.

Finally, statement 4 ensures that there is an identity element. In the definition and explanation of statement 3, I denoted this as . For addition, the identity element is , since given any element of , if we add to it we get the element again. Furthermore, for multiplication, the identity is 1 since anything multiplied by 1 is itself. Note that for addition and multiplication we have different forms for the inverse and identity elements. Thus, we can write these sets in one of two ways: in additive notation , and in multplicative notation , depending on the operation involved. If all four of these axioms, as we call them, are satisfied, then the set is a group under the prescribed operation.

The typical examples of groups include the real numbers , the integers , and the complex numbers to name a few. We denote the structure by stating what set we are considering, followed by a the binary operation, written as .

In the next post, I will look at in detail and I will show how to prove that the reals and integers are groups under addition and that the complex numbers are a group under complex multiplication.