Maximal factorization

Symbol-free definition
A maximal factorization of a group is an expression of the group as the product of two maximal subgroups.

Definition with symbols
A maximal factorization of a group $$G$$ is an expression $$G = AB$$ where both $$A$$ and $$B$$ are maximal subgroups of $$G$$.