1: \begin{abstract}

2:  %The \v{C}ern\'y conjecture states a quadratic bound on the length of a shortest synchronizing word.

3:  %Hence, investigating so called slowly synchronizing automata such that a shortest synchronizing word has quadratic 

4:  %length. 

5:  %whose shortest synchronizing word has

6:  The set of synchronizing words of a given $n$-state automaton 

7:  forms a regular language recognizable by an automaton with $2^n - n$

8:  states. The size of a recognizing automaton for the set of synchronizing

9:  words is linked to computational problems related to synchronization

10:  and to the length of synchronizing words. Hence, it is natural

11:  to investigate synchronizing automata extremal with this property, i.e., 

12:  such that the minimal deterministic automaton for the set of synchronizing words

13:  has $2^n - n$ states.

14:  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]

15:  by stipulating that an associated automaton to the group and a non-permutation

16:  has this extremal property.

17:  The definition is in analogy with the synchronizing groups and analog to a characterization

18:  of primitivity obtained in the mentioned work. The precise relation to other classes of groups

19:  was mentioned as an open problem. Here, we solve this open problem by showing that

20:  the sync-maximal groups are precisely the primitive groups. 

21:  Our result gives a new characterization of the primitive groups.

22: % Furthermore, with the new characterizations of primitivity,

23: % we give a new proof of a classical theorem of Jordan.

24:  Lastly, we explore an alternative and stronger definition than sync-maximality.

25:  %but the results

26:  %show that only the alternating and the symmetric group fulfill these conditions.

27:  

28:  

29: \keywords{finite automata \and synchronization \and set of synchronizing words \and primitive permutation groups \and sync-maximal groups} 

30: \end{abstract}

31: