This post will be on the higher-end of things, mostly because I had just learned this and really wanted to get the opportunity to share it.

Today while studying Algebra I learned of a group in a very odd place in my opinion. It’s not too reliant on too much — little enough for me to be alright with defining everything from the ground-up. If you haven’t had Category Theory before, this’ll be a hellish ride, but hopefully you’ll enjoy it.

Our goal is to find a group in the midst of the abstract world of Category Theory. So we have a picture of what we’re hunting down, let’s define a group now.

**Definition 1.1: **The nonempty set , endowed with the binary operation , (briefly, written , or simply if the operation can be understood) is a *group* if

1. the group is *closed* under , that is,

;

1. the operation is *associative,* that is,

;

2. there exists an *identity element * for , that is,

;

3. every element in has an *inverse* with respect to , that is,

.

**Example 1.2: **You’ve actually encountered groups in a lot of places, albeit if this is your first time hearing about them, you might not immediately realize so. For instance, is a group! If you take any three real numbers , then most definitely . What about the identity? Well, ! Because we have , just as needed. And does our identity satisfy that last property? Yup, if you have a real number , then there exists another real number, , where .

Some other groups (which you should check satisfy the properties on your own!) are and where is prime and is multiplication modulo (try checking when is not prime — notice something strange? Try and prove that strange fact you uncovered!)

Anyways, now that everyone knows what a group is, let’s go somewhere that seems wildly different. Let’s jump into some abstract nonsense now, shall we?

**Definition 1.3:** A category **C** consists of

- a class of
*objects*of the category; and - for every two objects A, B of
**C**, a set of*morphisms*with the following properties

1. Identity elements exist: for every object A of **C**, there exists (at least) one morphism , the ‘identity’ on A.

2. One can compose two morphisms: two morphisms and determine a morphism .

3. The ‘composition law’ is associative: if , , and , then .

4. The identity morphisms are identities with respect to composition: that is, for all we have and .

5. Lastly, the sets and must be disjoint unless and

Quickly side notes, a morphism for instance is sometimes just shortened if category is known, or even just . Also, is called the set of *endomorphisms *of A and may be written .

I won’t lie, that was a lot to swallow at once. To sort of get a better feel for categories, let’s take a look at one we’re well accustomed to.

**Example 1.4:** The category **Set** consists of

- class of all sets
- For A, B in (that is, they are sets) we have , where denotes the set of all functions .

Good further assurance you understand categories would be to go and verify that **Set** follows the axioms stated for categories in Definition 1.3. Of course the identity for some set A is the identity function , where , and composition of morphisms is regular composition of functions.

Oh, quick side note, the reason all the functions are denoted is because the cardinality of the set is . Try and prove this for yourself!

You can find a lot more examples of categories online, but for now, **Set** should be enough to provide understanding of them.

**Definition 1.5:** Let **C **be a category. A morphism is an *isomorphism *if it has a two-sided inverse under composition: that is, if such that and .

**Proposition 1.6:** The inverse of an isomorphism is unique.

*Proof:* Let’s assume an isomorphism has two inverses and . The standard trick is to compose on the left by one morphism, and on the right by the other, then apply associativity:

.

Since the inverse of an isomorphism is unique, there’s no harm in denoting it as .

**Proposition 1.7: **With notation as above:

- Each identity is an isomorphism and its own inverse.
- If is an isomorphism, then is an isomorphism, and further .
- If , are isomorphisms, then the composition is an isomorphism and .

*Proof:* All these tend to follow immediately from their definitions. For the third point for instance, we could verify it’s a left-inverse (and the right-inverse verification is the same flavor as this):

We’ve made it to our final goal. Automorphisms.

**Definition 1.8****:** An *automorphism* of an object A of a category **C** is an isomorphism from A to itself. The set of automorphisms of A is denoted ; it is a subset of .

By Proposition 1.7, composition grants a very familiar structure:

- the composition of two elements is an element ;
- composition is associative;
- contains the element , which is an identity for composition (that is, );
- every element has an inverse .

Can you recognize things? , where A is any object in a category **C** and is the definition composition in that category forms a group! There’s the structure underlying automorphisms. In the midst of one of the most “abstract” subjects of mathematics, still lies structure.

It’s almost like you expected it, right? Not just because I conveniently defined groups before all of this, but that morphisms in categories had similar properties to groups. They had associativity, identities, all that lacked was inverses and closure — and that’s what the properties of isomorphisms provided.

**Example 1.9: **Let’s take a quick glance at the group . We have , that is, it is the set of *all functions* , including strictly injective, neither injective nor surjective, etc. Our subset of consists of only the isomorphic functions (bijections!) . Our group has elements that are bijective functions and the binary operation is function composition! It should be straightforward showing this group adheres to the group axioms.

Now the coolest part in this isn’t that we discovered a group within the category **Set** — it’s that *we proved* that in *any arbitrary category* **C ***there exists a group* ! And we did that working with abstract concepts.* *Abstracting this is pretty cool then, right? I recently made a post about abstraction, if you want to discuss the concept further.

Automorphisms will revisited again the future, so try to get a grasp on them early! 🙂

Lastly, some sources for anyone who wants to read more:

- I highly recommend checking out
*Group Theory and the Rubik’s Cube*by Janet Chen. It’s not a book, just a 39-page PDF, “notes are based on a 2-week course that I taught for high school students at the Texas State Honors Summer Math Camp.” It’s very fun read and includes exercises to ensure your understanding. 🙂 *Algebra: Chapter 0*by Paolo Aluffi is a beautiful introduction to Abstract Algebra with a good reliance on Category Theory. It’s what I’m currently going through and is undoubtedly one of my favorite texts — Aluffi is such a funny and light-hearted author.

The next post won’t be so high-up, I plan on covering some Cryptography, so that should be worthwhile. See you then!