Concept

Subgroup

A subset of a group that is a group in its own right under the same operation, closed under combining and under inverses. A group's structure is read off its subgroups, and for a finite group each of their sizes divides its own.

Named by 2 essays across 2 fields — each of them below, with the objects they name alongside it.

A wedge of 2 circles. Several circles all passing through one common point, each labelled with a generator, so that a loop is a word in those letters.

The subgroup that is freer than the group

A free group on two letters contains a subgroup of index three that is free on four. Nothing about a group makes that plausible; everything about a graph makes it obvious, and the argument is to stop looking at the group and start looking at the space whose loops it is.

topology · covering spaces

The subgroups of a polynomial's symmetries, against the fields they name. Two lattices side by side, one of the subgroups of the symmetry group of the cube roots of two and the other of the fields between the rationals and the splitting field, drawn so that one is the other turned upside down.

The lattice that runs the other way

The symmetries of a polynomial's roots form a group, and the fields between the bottom and the top form a lattice. The two are the same picture, one of them turned over — a bigger group of symmetries fixes less, so it names a smaller field.

algebra · galois correspondence

Named alongside it

The objects these essays reach for when they reach for this one.

Index Automorphism Covering space Degree Field extension Fixed field Free group Fundamental group Galois group Generator Graph Lattice

All concepts