1: \begin{abstract}

2: A (left) quotient of a language $L$ by a word $w$ is the language $w^{-1}L=\{x\mid wx\in L\}$.

3: The quotient complexity of a regular language $L$ is the number of quotients of $L$; it is equal to the state complexity of $L$, which is the number of states in a minimal deterministic finite automaton accepting $L$.

4: An atom of $L$  is an equivalence class of the relation in which two words are equivalent if for each quotient, they either are both in the quotient or both not in it; 

5: hence  it is a non-empty intersection of complemented and uncomplemented  quotients of $L$.

6: A right (respectively, left and two-sided) ideal is a language $L$ over an alphabet $\Sig$ that satisfies $L=L\Sig^*$ (respectively, $L=\Sig^*L$ and $L=\Sig^*L\Sig^*$).

7: We compute the maximal number of atoms and  the maximal quotient complexities of atoms of right, left and two-sided regular ideals.

8: \medskip

9: 

10: 

11: \noin

12: {\bf Keywords:}

13: atom,  quotient, regular language, left ideal, quotient complexity, right ideal, state complexity,  syntactic semigroup, two-sided ideal

14: 

15: \end{abstract}

16: