orbit

- group, ∞-group
- group object, group object in an (∞,1)-category
- abelian group, spectrum
- group action, ∞-action
- representation, ∞-representation
- progroup
- homogeneous space

Given an action $G\times X\to X$ of a (discrete) group $G$ on a set $X$, any set of the form $G x = \{g x|g\in G\}$ for a fixed $x\in X$ is called an **orbit** of the action, or the **$G$-orbit through the point $x$**. The set $X$ is a disjoint union of its orbits.

The *category of orbits* of a group $G$ is the full subcategory of the category of sets with an action of $G$.

Since any orbit of $G$ is isomorphic to the orbit $G/H$ for some group $H$, the category of $G$-orbits admits the following alternative description: its objects are subgroups $H$ of $G$ and morphisms $H_1\to H_2$ are elements $[g]\in G/H_2$ such that $H_1\subset g H_2g^{-1}$.

In particular, the group of automorphisms of a $G$-orbit $G/H$ is $N_G(H)/H$, where $N_G(H)$ is the normalizer of $H$ in $G$.

If $G$ is a topological group, $X$ a topological space and the action continuous, then one can distinguish closed orbits from those which are not. Even when one starts with $G,X$ Hausdorff, the space of orbits is typically non-Hausdorff. (This problem is one of the motivations of the noncommutative geometry of Connes’ school.)

If the original space is paracompact Hausdorff, then every orbit $G x$ as a topological $G$-space is isomorphic to $G/H$, where $H$ is the stabilizer subgroup of $x$.

- An orbit of a cyclic subgroup of a permutation group is called a
*permutation cycle*.

Textbook accounts:

- Glen Bredon, Sections I.3, I.4 of:
*Introduction to compact transformation groups*, Academic Press 1972 (ISBN 9780080873596, pdf)