1: \begin{abstract}
2: We identify a subclass
3: of the regular commutative languages that is closed
4: under the iterated shuffle, or shuffle closure.
5: In particular, it is regularity-preserving on this subclass. This subclass contains
6: the commutative group languages
7: and, for every alphabet $\Sigma$, the class $\textbf{Com}^+(\Sigma^*)$
8: given by the ordered variety $\textbf{Com}^+$.
9: Then, we state a simple characterization
10: when the iterated shuffle on finite commutative languages
11: gives a regular language again and state partial results for aperiodic
12: commutative languages.
13: We also show that the aperiodic, or star-free, commutative languages
14: and the commutative group languages are closed under projection.
15:
16:
17: \keywords{finite automata \and commutative languages \and closure properties \and
18: iterated shuffle \and shuffle closure \and regularity-preserving operations}
19: \end{abstract}
20: