The collection

Every essay — page 8

Page 8 of 37, continuing through the fields in the same order.

Geometry Analysis Algebra Discrete Topology Probability Number Dynamics Logic Computation Applied What's new Series Concepts Search

Algebra

Structure — what stays true when the numbers change.

The image of four circles, turning 0 to 3 times. The polynomial applied to circles of four radii, each image drawn as a closed loop with the origin marked, and the number of times the loop goes round it.

A loop that cannot miss the middle

A subgroup of 2, and the 4 blocks it cuts the group into. The 8 symmetries of a 4-gon, split into 4 blocks by composing every element onto the subgroup {e, r²}. The blocks all have 2 elements and no element is in two of them.

The blocks a subgroup cuts out

A whole line arrives at the origin. A linear map whose determinant is zero, drawn before and after. One line of the plane is sent to the origin and the whole plane is sent onto another line; the dimension lost and the dimension kept add to two.

What a map throws away

3 roots, and the two numbers the coefficients already knew. The roots of a degree-3 polynomial, found numerically, with the point they average to. That average, and their product, are readable straight off the coefficients without finding the roots at all.

What the coefficients already know

The 7 7th roots of unity. 7 points spaced evenly around the unit circle, at the vertices of a regular 7-sided polygon.

The polygon an equation forces

The group drawn as a map

The tower ℚ ⊂ ℚ(√2) ⊂ ℚ(√2, √3). A tower of field extensions with the degree of each step, beside the multiplication table of the basis.

A tower whose degrees multiply

Two coefficient arrays, one with determinant zero and one without. The Sylvester matrices of two pairs of polynomials drawn as grids of coefficients, one pair sharing a root and one not, with each determinant computed in whole numbers and checked against whether a shared root exists.

A shared root, found without finding it

The permutation (1 3 4 2) drawn as 4 strings, crossing 3 times. A permutation drawn as strings running from a row of numbered pegs to another, with every place two strings cross marked, and the crossing count checked against the number of pairs that are out of order.

The crossings that will not come out even

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 quaternion multiplication table, from i² = j² = k² = ijk = −1. A four-by-four multiplication table of the quaternion units, with the row giving the left factor, every entry computed from Hamilton's rule, and the pair that differs between the two orders marked.

A multiplication that remembers the order

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

The polynomial whose roots are the stretches. The determinant of A − λI plotted against λ for the map [2, 1, 1, 2], with its roots at 3 and 1 marked.

The polynomial whose roots are the stretches

The same map, written in the basis of its own eigenvectors. Three panels: the map [2, 1, 1, 2] on the standard grid, the diagonal stretch by 3 and 1 it becomes on the eigenvector grid, and the two put back together.

The same map in a better basis

The level curve, and the axes the matrix chooses. The curve xᵀAx = 1 for the matrix [2, 0.8, 0.8, 1.4], drawn by solving for the radius at each angle, with the two eigen-directions marked; they cross at a right angle and are the axes of the curve.

Symmetry forces a right angle

What the map does to a circle. The unit circle with two perpendicular directions marked, and its image under [1.6, 1.2, −0.4, 1.1] — an ellipse whose axes are the images of those two directions, of lengths 2.04 and 1.10.

What a map does to a circle

A parallelepiped of volume 2.94. The image of the unit cube under a three-by-three matrix, beside the six signed products whose sum is its volume.

The only function that behaves like a volume

A lattice of determinant 3, and the ellipse that must hold a point. A lattice with the parallelogram its basis spans, an ellipse centred at the origin, and the nearest non-zero lattice point it contains.

One point in every big enough shape

A determinant counting the 16 spanning trees. A small graph, the minor of its Laplacian, and every one of its spanning trees drawn as thumbnails.

A determinant that counts trees

A determinant of −5 and a permanent of 23 from the same six products. The six products of a three-by-three matrix listed once, added with signs to give the determinant and without signs to give the permanent, with a row operation applied to both.

The same sum without its minus signs

A rotation of four-space, and the two angles it turns through. The four by four matrix of the map sending x to p x conjugate q, beside two dials showing the angle it turns through in each of its two invariant planes.

A rotation of four-space takes two of them

The four-square identity, and how few squares a number needs. A product of two whole quaternions with both sides of the four-square identity evaluated, above a strip colouring every number by the fewest squares that add to it.

The identity that multiplies sums of squares

The twenty-four unit quaternions, at the corners of a four-dimensional solid. The twenty-four units of the Hurwitz quaternions drawn as the vertices of a 24-cell projected into three-space, with the ninety-six edges joining units at distance one.

The integers among the quaternions

What is lost at eight