Bass-Serre theory

Bass-Serre theory is the study of groups acting on trees and the algebraic structures that emerge from such actions. Developed by Hyman Bass and Jean-Pierre Serre in the 1970s, it reveals that a group acting on a tree without edge inversions is completely determined by its vertex and edge stabilizers — a structure called a graph of groups. The theory generalizes the fundamental theorem of free groups: a group is free if and only if it acts freely on a tree. Bass-Serre theory is the bridge between discrete geometry and infinite group theory, turning spatial symmetries into algebraic presentations and vice versa.

The power of Bass-Serre theory is not merely that it classifies tree actions. It is that it shows every group with a tree-like structure is built from simpler pieces glued along subgroups. The tree is not just a geometric object; it is a decomposition theorem in disguise.