What is the proper Sage construct for working with cyclic group $\mathbb{Z} / n \mathbb{Z}$ ? I cannot see any in group theory manual page. Yes, we have Integers(n), but it cannot be asked like a group about, say, subgroup().