Class field theory is a major branch of algebraic number theory that describes the abelian extensions of a number field in terms of the field's arithmetic properties, particularly its ideal class group. It provides a profound connection between field theory and group theory, serving as a foundation for understanding more complex non-abelian extensions in modern number theory.