Matpic
mathematics, in pictures
Concept

Index — where it appears

The number of blocks a subgroup cuts its group into, which for finite groups is the group's size divided by the subgroup's. It counts the sheets of the corresponding covering space and the degree of the corresponding field extension.

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

The field that cannot be combed. A tangent field on the sphere, flowing along the meridians. Every arrow is tangent to the surface, and at the two poles there is no direction for an arrow to take — the field is zero there, and no rearrangement removes both zeros.

Nothing on a sphere can be combed flat

Point an arrow along the surface at every place on a sphere, continuously, and somewhere an arrow has to vanish. On a doughnut it can be done. The difference between the two is a number that was already known from counting corners.

topology · fixed points 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.

SubgroupAutomorphismBrouwerContinuityCovering spaceDegreeEuler characteristicField extensionFixed fieldFixed pointFree groupFundamental group

All concepts