Neo-Riemannian Analysis Explained: A Music Theory Guide

Group theory emerged from studying specific transformation groups. Lagrange studied permutation groups in the late 18th century while solving equation solvability. Ruffini continued this research, and Abel proved in 1824 that the fifth-degree equation is not solvable by radicals. Galois revolutionized algebra by transforming it into modern algebra. Algebra is characterized as the science of algebraic structures—sets with specified operations. A group is a set with a binary operation satisfying: identity element, closure under operation, and closure under inverses. For the plane, rotations around a single point form a group, but rotations around different points do not (composition may be a translation). The set of all proper motions (orientation-preserving isometries) forms a group, including rotations and translations. The set of all motions (isometries) forms a group, including proper motions and improper motions (reflections and glide reflections). An isometry preserves distances between points. The theorem of Chasles states that every motion of the plane is either a rotation around some point or a translation. Glide reflection is a composition of reflection across a line and translation parallel to that line. For any figure F, the set of motions mapping F to itself forms a group. A similarity transformation preserves angles and scales all distances by a positive factor k. An affine transformation maps lines to lines and preserves parallelism. Affine transformations are represented as matrices [[a, b], [c, d]] with translation vector [e, f], where the matrix must be invertible. An abstract group is a set equipped with a binary operation satisfying: associativity, existence of an identity element, and existence of inverses for all elements.

The P4 plane group is based on a square lattice with four-fold symmetry. When four-fold symmetric objects are placed at each lattice point, the entire pattern exhibits four-fold symmetry. Additional four-fold symmetry emerges at the unit cell center due to the closure property of symmetry groups—combinations of existing operations generate new symmetry elements. Two-fold symmetry emerges at edges from combining four-fold rotation with translation. A Seitz operator represents a symmetry operation as a rotation followed by translation. For 90-degree counter-clockwise rotation followed by translation B, the Seitz operator is [[0,1],[-1,0]] with translation vector [0,a]. A rotation followed by translation cannot be a reflection (changes handedness), cannot be a glide (also changes handedness), cannot be pure translation (rotation changes orientation), so it must be a rotation. The rotation fold remains unchanged by the translation; only the rotation axis location changes.

A group of transformations is a set of one-to-one and onto transformations from a sample space to itself that satisfies three essential properties: (1) Identity transformation - there exists an element e such that e(x) = x for all x; (2) Closure under composition - if g1 and g2 are in the group, then g1 ∘ g2 is also in the group; (3) Inverse transformation - for every g in the group, there exists g⁻¹ such that g⁻¹ ∘ g = identity. These three properties together define the algebraic structure of a group in transformation theory.

Permutation groups are transformation groups that act on a set of objects. For example, the permutation group P3 consists of all possible permutations of three objects (a, b, c). The elements include the identity (do nothing), (1 2) (swap positions 1 and 2), (2 3) (swap positions 2 and 3), (1 3) (swap positions 1 and 3), (1 2 3) (cyclic permutation), and (1 3 2) (cyclic permutation in reverse).

A group of transformations is a set where the product of any two transformations and the inverse of any transformation remain in the set. Translations form a group, and rotations around the same axis form a group. The product of two translations is a translation, and the product of two rotations is a rotation. However, symmetries do not form a group because the product of two symmetries is a translation. Rigid transformations (isometries) form a group because they preserve distances. Similarities (compositions of powers of the same center and rigid transformations) form a group containing rigid transformations. Felix Klein defined geometry as the study of properties conserved by a group of transformations. The group of rigid transformations of the plane that leave a square invariant consists of 8 transformations: 4 rotations around the center (0°, 90°, 180°, 270°) preserving orientation, and 4 symmetries with respect to diagonals and midlines changing orientation.

Neo-Riemannian theory, developed by David Lewin based on Riemann's traditional theory, provides a systematic approach to analyzing music, particularly for post-Romantic repertoire. The theory uses a diagrammatic representation where horizontal lines represent perfect fifths, right diagonal lines represent major thirds, and left diagonal lines represent minor thirds. This framework replaces traditional chord connection with transformation concepts: L-transformation changes one note while keeping two common notes, and R-transformation applies L-transformation twice. The most important relationship is the H-relationship (hexatonic pole), connecting chords with no common notes. This approach enables analysis of complex harmonic progressions that traditional functional harmony cannot adequately explain.

Neo-Riemannian Theory defines relationships between chords using three specific operations: 1) Parallel Transformation - switching chord qualities (e.g., E major to E minor), 2) Relative Transformation - dropping down to the VI chord (e.g., E major to C# minor), and 3) Leading Tone Transformation - going up to the III chord (e.g., E major to G# minor). Each transformation changes only one note in the chord, making them measures of harmonic closeness. The number of transformations needed to move between two chords indicates their harmonic distance.

Wagner used chromaticism (the use of notes outside the traditional key) to liberate music from the tonal chains that existed at the time. This technique allowed him to express the nooumenon—the true nature of things—rather than just the phenomenon. By breaking free from traditional tonal resolution, Wagner created music that could represent the infinite and unresolved nature of true love.

This video explains five triadic transformations (P4 parallel, L leading tone exchange, R relative, S slide, and N adjacency relation) that composers use to create smooth voice leading progressions between consonant triads, which can be combined into transformation chains forming maximally smooth cycles (MS cycles) that Richard Cone identified in Brahms' music, and when four such cycles are combined, they constitute the hexatonic system, a framework that partitions all 24 consonant triads into four symmetrically related groups based on shared pitch class content.

The musical transformation group (PLR group) consists of operations that transform musical structures. This group has 24 elements and acts on the set of 24 major and minor triads. The group is transitive (can reach any element from any other) and regular (the stabilizer of any element is trivial), meaning any musical structure can be transformed into any other through exactly one transformation. The group is isomorphic to the dihedral group D12, meaning they have the same algebraic structure. This isomorphism allows mathematicians to apply well-established group theory results to musical analysis, providing a rigorous mathematical foundation for understanding musical transformations.

Analyzing triads using harmonic distance creates four distinct groups of six triads each, called hexatonic cycles. Within each cycle, the furthest two chords can be is three steps apart, and these are called hexatonic poles. The four hexatonic cycles link to one another through four different augmented chords. This creates a graphical structure called the Cube Dance, where the largest distance between any two triads is six steps (double the maximum within a single cycle).