Prototypical quantum optics models, such as the Jaynes–Cummings, Rabi, Tavis–Cummings, and Dicke models, are commonly analyzed with diverse techniques, including analytical exact solutions, mean-field theory, exact diagonalization, and so on. Analysis of these systems strongly depends on their symmetries, ranging, e.g., from a U(1) group in the Jaynes–Cummings model to a Z2 symmetry in th…