Language of all sequences of permutations whose product is the identity
You haven't stated what happens to the empty word – I'm assuming it's accepted.

It is easy to check that the equivalence classes of the Myhill–Nerode relation correspond to all words multiplying to a certain permutation. Therefore the minimal DFA contains $n!$ states.

If the empty word is not allowed, there are $n!+1$ equivalence classes, one of them consisting only of $\epsilon$.