Matpic
mathematics, in pictures
Concept

Commutator

The element aba⁻¹b⁻¹ of a group, which is the identity exactly when a and b commute. It measures how far two elements are from commuting, and the subgroup all the commutators generate is the smallest one whose quotient is abelian.

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

the Borromean rings, with every crossing signed. A diagram of the Borromean rings with the under-strand broken at each crossing and each crossing between two components marked with its sign, which add to twice the linking number.

Linked, and no two of them are

Three rings that cannot be pulled apart, in which every pair comes apart the moment the third is removed. Every pairwise linking number is zero, so the number cannot see it — and what does see it is a word in two letters that refuses to cancel.

topology · Linking number The derived series of S3, S4, S5. A table with one row per group giving the sizes along its derived series, each step the subgroup generated by all commutators of the last, and whether the series reaches the identity.

The group that will not come apart

Solving an equation by radicals means building a tower of roots, and a tower of roots corresponds to a chain of subgroups with abelian steps. For the general equation of degree five that chain would have to descend through a group of sixty elements with no normal subgroup in it — so there is no formula, and the obstruction is a finite object that can be written out.

algebra · Galois correspondence The half of 24 permutations that commutators reach. A block of 24 squares, one per permutation, with the 12 generated by commutators shaded, beside bars counting the homomorphisms to each cyclic group.

The only bit that survives

A shuffle can be called even or odd, and the label behaves under composition. Ask whether some cleverer label — a number out of three, or out of four — could behave the same way, and the answer is that nothing else can — one bit is exactly what a permutation gives up.

algebra · Permutation parity Which pairs of the square's symmetries commute: 40 of 64. A 8-by-8 grid over the elements of the 8 symmetries of a 4-gon, rows and columns grouped into 5 conjugacy classes, with a filled square wherever the two elements commute: 40 filled squares, and each row's count of filled squares written at its end.

Five-eighths of the pairs, and no more

Pick two symmetries of a square at random and do them in both orders: forty times in sixty-four the result is the same. No group that fails to commute does better. The reason is a count of pairs that turns into a count of conjugacy classes, and a two-line argument about the centre that caps the answer at five-eighths — reached by the square and the quaternions, approached from above by nothing, and approached from below by groups that commute a little more than half the time.

algebra · Symmetry groups A loop that cannot be undone, and the surface it bounds. The loop aba⁻¹b⁻¹ on the figure eight, which cannot be pulled tight, beside a square whose boundary reads the same word, showing that the loop bounds a surface.

What homology forgets about a loop

Let the letters of a loop commute and the loop group of a space becomes its first homology group: a loop now records only how often it went round each hole. What is thrown away is exactly the loops that bound a surface. On the figure eight that is nearly everything — of the loops of sixty letters that homology calls nought, about one in 6,700 is a loop that actually shrinks.

topology · Homotopy Three coordinates and a fourth power. Ball sizes at r = 10, 20, 44: Z² 221, 841, 3961; Z³ 1561, 11521, 117569; Heisenberg 4309, 68079, 1600703; local exponent at 30: Heisenberg 4.005, Z³ 2.946.

Three coordinates and a fourth power

The Heisenberg group is made of triples of whole numbers, and two moves generate all of it. Count the triples within r moves of the start and the count grows like r⁴, not r³: at forty-four moves there are 1,600,703 of them, against 117,569 for the cubic lattice. The fourth power comes from one coordinate that the moves reach by enclosing area, so that height costs only the square root of itself — and seen from far away, the ball of reachable triples is a curved solid with a dimple at each pole.

algebra · Cayley graph

Named alongside it

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

Abelian groupConjugacy classFree groupFundamental groupNormal subgroupAlternating groupBorromean ringsBrunnian linkCayley graphCommutativityCovering spaceDerived series

All concepts