1: \begin{abstract}

2: We treat control  of several two-level atoms interacting

3: with one mode of the electromagnetic field in a cavity.  

4: This provides a useful model to study pertinent

5: aspects of quantum control in infinite dimensions via 

6: the emergence of infinite-dimensional system algebras. 

7: Hence we address problems arising with infinite-dimensional Lie algebras and those of unbounded

8: operators. For the models considered, these problems can be

9: solved by splitting the set of control Hamiltonians into two subsets:

10: The first obeys an abelian symmetry and can be treated in terms

11: of infinite-dimensional Lie algebras and strongly closed subgroups of

12: the unitary group of the system Hilbert space. The second breaks this

13: symmetry, and its discussion introduces new arguments. Yet, full

14: controllability can be achieved in a strong sense: e.g., in a time dependent 

15: Jaynes-Cummings model we

16: show that, by tuning coupling constants appropriately, every

17: unitary of the coupled system (atoms and cavity) can be approximated

18: with arbitrarily small error.

19: \end{abstract}

20: