# Tag Archives: basic course

## Group Theory XII.4 (Category Theory: Functors)

In this section, we will explore further concepts in category theory. First, we shall talk about “maps” between categories. Let C, D be categories. A (covariant) functor (written as F : C → D) is a map F : Ob(C) → … Continue reading

## Group Theory XII.3 (More Universal Properties)

In this section, we shall get more practice with universal properties for various algebraic constructions. First, take the following categories: Set = category of sets, with morphisms = set functions; Grp = category of groups, with morphisms = group homomorphisms; … Continue reading

## Group Theory XII.2 (Category Theory)

Let’s take a closer look at the proofs and definition in the previous section. What concepts have we used? We have considered groups, homomorphisms between them, composition of homomorphisms, identity homomorphisms, isomorphisms and inverse homomorphisms. But the last two items … Continue reading

## Group Theory XII.1 (Introduction to Diagrams)

Given groups G and H, recall we have the product P = G × H and projection maps π1:P → G and π2:P → H. There’s nothing mysterious about the projection maps: these just take (g, h) to g and h respectively. But … Continue reading

## Group Theory XI.4 (Nilpotent Groups: Examples etc)

We will talk more about the properties of nilpotent groups, before narrowing down to the concrete examples (as well as non-examples). The first thing we shall prove is: All p-groups are nilpotent. Proof. Let G be a p-group; its centre Z(G) is … Continue reading