  The set of synchronizing words of a given $n$-state automaton forms a regular
language recognizable by an automaton with $2^n - n$ states. The size of a
recognizing automaton for the set of synchronizing words is linked to
computational problems related to synchronization and to the length of
synchronizing words. Hence, it is natural to investigate synchronizing automata
extremal with this property, i.e., such that the minimal deterministic
automaton for the set of synchronizing words has $2^n - n$ states. The
sync-maximal permutation groups have been introduced in [{\sc S. Hoffmann},
Completely Reachable Automata, Primitive Groups and the State Complexity of the
Set of Synchronizing Words, LATA 2021] by stipulating that an associated
automaton to the group and a non-permutation has this extremal property. The
definition is in analogy with the synchronizing groups and analog to a
characterization of primitivity obtained in the mentioned work. The precise
relation to other classes of groups was mentioned as an open problem. Here, we
solve this open problem by showing that the sync-maximal groups are precisely
the primitive groups. Our result gives a new characterization of the primitive
groups. Lastly, we explore an alternative and stronger definition than
sync-maximality.
