Exact Factorizations in Algebra and Categories

• Exact factorizations are decompositions of algebraic objects into two substructures with trivial intersection and unique representation, capturing essential symmetry properties.
• They are applied to groups, fusion and tensor categories, and Hopf algebras, facilitating classification through bicrossed product and matched pair constructions.
• This framework connects abstract algebra with representation theory and combinatorial methods, offering concrete tools for counting and constructing algebraic invariants.

An exact factorization is a decomposition of an algebraic object—most classically a group, but also categories, rings, and algebras—into a "product" of two substructures (typically, subgroups, subcategories, or subrings), subject to a trivial-intersection and a unique-decomposition property. Exact factorizations encode deep structural symmetries, facilitate the classification of algebraic objects, and appear in various advanced contexts including fusion categories, tensor categories, Hopf algebras, and operator algebras. They are categorically significant due to their connections to bicrossed products, matched pairs, and representation-theoretic invariants.

1. Foundational Definitions and Group-Theoretic Origins

An exact factorization of a finite group $G$ consists of subgroups $H,K \leq G$ such that

$G = H K, \qquad H \cap K = \{e\}$

where each $g \in G$ is uniquely expressible as $g = hk$ for $h \in H$, $k \in K$. Equivalent formulations include $(|H||K| = |G|)$ and regular left/right actions on coset spaces. This concept generalizes to more sophisticated structures such as fusion rings and tensor categories by replacing subgroups with subobjects satisfying analogous factorization axioms—including a unique simple-decomposition condition in the categorical setting (Li et al., 2020, Gelaki, 2016, Müller et al., 2024).

In classical group theory, exact factorizations are linked to the structure theory of permutation groups, Cayley graphs, and the realization of bi-crossed product Hopf algebras. They provide combinatorial and structural classifications of group actions and subgroups, and lead to explicit formulas via counting (see Section 6) (Arango et al., 2024, Sprittulla, 2020).

2. Exact Factorizations in Fusion and Tensor Categories

For fusion categories (and, more generally, finite tensor categories), an exact factorization is a decomposition of a category $\mathcal{B} = \mathcal{A} \bullet \mathcal{C}$ into two fusion subcategories $\mathcal{A}, \mathcal{C} \subset \mathcal{B}$ with the following properties:

• Trivial Intersection: $H,K \leq G$0 (the category of vector spaces).
• Dimension Product: $H,K \leq G$1.
• Unique Simple Decomposition: Every simple $H,K \leq G$2 can be uniquely (up to isomorphism) written as $H,K \leq G$3, $H,K \leq G$4, $H,K \leq G$5.

For general (not necessarily semisimple) finite tensor categories, exactness is characterized by module-category-theoretic criteria and projective cover decompositions, extending the fusion case (Basak et al., 2022, Gelaki, 2016).

Categorically, these extend the group-theoretic notion by "internalizing" regularity and unique decomposition into the structure of abelian, monoidal, or tensor categories.

3. Bicrossed Products and Matched Pairs

Bicrossed (Zappa–Szép) products are the algebraic mechanism underlying all known exact factorizations for groups, fusion rings, and fusion categories (Müller et al., 2024). For groups, a matched pair $H,K \leq G$6 consists of mutual actions satisfying compatibility axioms, giving rise to the product structure on $H,K \leq G$7 by $H,K \leq G$8. Every exact group factorization is isomorphic to such a bicrossed product.

This framework generalizes to fusion rings and categories: If $H,K \leq G$9 is a matched pair of fusion rings (or categories, with compatible gradings and autoequivalences), the bicrossed product $G = H K, \qquad H \cap K = \{e\}$0 (resp. $G = H K, \qquad H \cap K = \{e\}$1) yields

$G = H K, \qquad H \cap K = \{e\}$2

with unique factorization of basis elements (or simples) (Müller et al., 2024). Every exact factorization of a fusion ring or category can be constructed as a bicrossed product from an appropriate matched pair (Theorem 3.4).

In the categorical context, the fusion rules and associativity constraints are built from the group theoretical data plus categorical coherence, leading to new families of fusion categories not previously appearing in standard constructions.

4. Structural and Representation-Theoretical Properties

Exact factorizations impart explicit descriptions of structural invariants:

• Adjoint Subring and Universal Grading: For exact factorization $G = H K, \qquad H \cap K = \{e\}$3, the adjoint subring satisfies $G = H K, \qquad H \cap K = \{e\}$4 and the universal grading group $G = H K, \qquad H \cap K = \{e\}$5 is itself an exact factorization as a group (Müller et al., 2024).
• Nilpotence and Properties: $G = H K, \qquad H \cap K = \{e\}$6 is nilpotent if and only if both factors are nilpotent; properties such as integrality, weak integrality, or pointedness are preserved across the factorization ((Basak et al., 2022), Corollary 3.13).

For Hopf-algebraic settings, exact factorizations underlie the construction of bismash product Hopf algebras, with explicit connections to the Frobenius–Schur indicators of irreducible representations—leading to results on the self-duality and indicator structure of modules for Hopf algebras associated to group-theoretical data ((Timmer, 2014), Theorem 3.3).

In the context of matrix and $G = H K, \qquad H \cap K = \{e\}$7-fold factorizations, exactness conditions on chain complexes or matrix factorizations give rise to Frobenius exact categories and triangulated stable categories, connecting to homological algebra and categorical representation theory (Zhang et al., 26 Nov 2025, Lerche, 2018).

5. Classification, Counting, and Explicit Constructions

The classification problem for exact factorizations is intricate. For groups, explicit formulas and asymptotic growth can be computed; for example, the number $G = H K, \qquad H \cap K = \{e\}$8 of inequivalent exact factorizations of a finite group $G = H K, \qquad H \cap K = \{e\}$9 is known for cyclic, abelian, dihedral, and some simple groups (Arango et al., 2024, Li et al., 2020). For cyclic groups $g \in G$0 with $g \in G$1 distinct primes:

$g \in G$2

For dihedral groups:

$g \in G$3

Classification for almost simple groups is detailed in extensive tables, with a finite list of possible factorization types, often determined by the nature of transitive subgroups, maximal subgroups, and combinatorial properties of the groups involved (Li et al., 2020).

In fusion and tensor categories, the factorization problem remains open in general, with partial classification results in group-theoretical and certain quasi-Hopf settings (Gelaki, 2016, Basak et al., 2022).

6. Applications and Examples

Exact factorizations are deployed in various advanced settings:

• Fusion Categories: Construction of new categories with exotic fusion rules, via bicrossed products of Tambara–Yamagami, pointed, or other categories (Müller et al., 2024).
• Hopf and Quasi-Hopf Algebras: Explicit realization of bismash product Hopf algebras and their representation theory, including self-duality and Frobenius–Schur indicators (Timmer, 2014).
• Operator Algebras and G-Algebras: Finite factorization domains (FFD) in $g \in G$4-algebras guarantee algorithmic enumeration of (possibly noncommutative) exact factorizations, impacting the computation of Gröbner bases and solution spaces for functional equations (Heinle et al., 2016).
• Arithmetic Applications: Techniques involving varieties associated to factorization (e.g., hyperbola-based approaches to integer factorization) connect group-law structures to computation of prime factors (Bansimba et al., 2023).
• Enumerative Combinatorics: Counting color-exact factorizations of integers generalizes the basic notion to factorization statistics with Dirichlet and generating function techniques (Sprittulla, 2020).

7. Open Problems and Directions

Key open questions and conjectures include:

• Classification: Determining all fusion categories (and more generally, tensor categories) admitting an exact factorization of prescribed type.
• Centers and Invariants: Explicitly describing the Drinfeld center $g \in G$5 of an exact factorization $g \in G$6 in terms of $g \in G$7, $g \in G$8 (Gelaki, 2016).
• Finiteness and Asymptotics: Asymptotic enumeration of $g \in G$9 for various group families (open for most simple groups beyond alternating groups) (Arango et al., 2024).
• Preservation of Properties: Whether extensions of weakly group-theoretical fusion categories by another are again weakly group-theoretical (Gelaki, 2016).
• Representation Theoretic Patterns: Behavior of Frobenius–Schur indicators and self-duality in bismash products from various exact factorizations of symmetric groups (Timmer, 2014).

The study of exact factorizations thus provides a central axis connecting group theory, category theory, Hopf algebra theory, and beyond, with substantial active research in classification, construction, and invariant theory.