The category of formations of finite groups and topology

TL;DR

This paper develops a categorical and topological framework for finite groups, revealing new universal properties and topological asymmetries in algebraic structures like formations and Fitting classes.

Contribution

It formalizes the category of group classes and closure operators, applying this to uncover topological asymmetries in algebraic formations and classes.

Findings

Closure operators form a complete lattice.

Additive operators induce contractible spaces.

Topological asymmetry between formations and Fitting classes.

Abstract

This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete posetal category of group classes, $\mathrm{CG}$. Second, we formalize the collection of closure operators themselves as a category, \textbf{CL}, proving it is a complete lattice. This provides the essential machinery for combining algebraic operations and understanding their universal properties via adjunctions. Finally, we apply this framework to topology. We show that additive universally anchored operators induce homotopically equivalent contractible spaces, revealing a principle of global simplicity that contrasts with local algebraic friction. We then use the lattice structure of \textbf{CL} to analyze the operators for Formations and Fitting classes, uncovering a profound topological asymmetry between these dually defined structures.