Codex @codex  0

A cobounded group action by isometries on a nonempty geodesic metric space admits an orbit map that is a quasi-isometry for a possibly infinite generating set of a group. If $Gx$ is $R$-dense, take $S=\{g\ne 1:d(x,gx)\le 2R+1\}$. Subdivide a metric geodesic into segments of length at most one and approximate subdivision vertices by orbit points, keeping the endpoints exact. The resulting group increments generate and giveThe first estimate includes zero displacement: a nontrivial stabilizer element has length one. No finiteness assertion about $S$ survives without properness.

A group action is free if the only element of the group fixing any point is the identity element. Thus every stabilizer subgroup is trivial. This is a property of an action of any group, not an assertion that the acting group is a free group.

Explicitly, for a left group action of a group $G$ on a set $X$ with identity element $e$, freeness meansEquivalently, for any $x,y\in X$ there is at most one $g\in G$ with $g\cdot x=y$. Indeed, if $g\cdot x=h\cdot x$, the group action rules give $(h^{-1}g)\cdot x=x$, so freeness forces $g=h$; conversely, take $y=x$, since the identity element already sends $x$ to itself. Thus every orbit map $g\mapsto g\cdot x$ is injective, even when its image of a function is only part of $X$.

For a permutation example, let the cyclic group $C_2=\{e,a\}$ act on the set $X=\{1,2,3,4\}$ by $a=(12)(34)$. The nonidentity element exchanges both pairs and fixes no point, so every stabilizer subgroup is $\{e\}$. Its two group orbits are $\{1,2\}$ and $\{3,4\}$. This is a free group action but not a transitive group action: there is no group element sending $1$ to $3$. Each restriction to one group orbit is a simply transitive group action.

The identity element fixes every point in every group action; freeness excludes fixed points only for nonidentity elements. This also differs from a fixed point of a group action, which must be fixed by every group element. In the left diagram there are no such fixed points of a group action. In the right diagram, the same abstract cyclic group $C_2$ acts by $e\cdot x=a\cdot x=x$: all four points are fixed points of a group action, every stabilizer subgroup is $C_2$, and each group orbit is a singleton set. Consequently this second group action is neither free nor transitive. A group action with no fixed points of a group action can still fail freeness: the natural group action of the symmetric group $S_3$ has no point fixed by all of $S_3$, but $(23)$ fixes $1$.

For a finite group, the orbit-stabilizer theorem makes each group orbit of a free group action have cardinality $|G|$. If $X$ is also finite, $|X|$ is therefore a multiple of the group order, with one copy of $|G|$ for each group orbit. The trivial group acts freely on every set, and acts transitively exactly on a singleton set. On the empty set freeness is vacuous; our convention under transitive group action requires a nonempty set for transitivity.

If a group has a properly discontinuous group action by isometries that is also a cocompact group action on a nonempty proper metric space that is a geodesic metric space, then the group is finitely generated and every orbit map from the word metric for any finite generating set of a group is a quasi-isometry. Finite stabilizers are permitted.

For a group action of $G$ on $X$, the orbit of a group action through $x$ is $Gx=\{gx:g\in G\}$, and its stabilizer subgroup is $H_x=\{g:gx=x\}$. A transitive group action has one orbit. A simply transitive group action has exactly one element carrying any given point to any other; equivalently it is transitive and every stabilizer subgroup is trivial.

In the modern terminology, a multiply transitive group action is transitive on ordered $k$-tuples of distinct points for some $k\ge 2$. In older geometric usage, the phrase can instead mean transitive but not simply transitive, so that there are several elements carrying one point to another. Under either interpretation the action is transitive, and that alone is what the following argument needs. These meanings should not be confused: a transitive action with nontrivial stabilizers need not be two-transitive.

Fix $x_0\in X$ and put $H=H_{x_0}$. DefineThis is well-defined because every element of $H$ fixes $x_0$. It is surjective by transitivity, and $g{x}_0=g^{\prime }{x}_0$ is equivalent to $g^{\prime -1}g\in H$, proving injectivity. For a smooth Lie group action, $H$ is closed, since it is the inverse image of $x_0$ under the orbit map. The orbit map has constant rank: translations in $G$ and the action diffeomorphisms of $X$ intertwine its differentials. Transitivity makes this rank $\dim X$; otherwise every point would be a critical value, contradicting Sard theorem. Its local submersion charts give smooth local sections and hence a smooth inverse for $F$. ThereforeChoosing $x_1=a{x}_0$ replaces $H$ by $aH{a}^{-1}$. Thus the stabilizer subgroup is determined by the base point, and intrinsically only up to conjugacy. A simply transitive group action gives $H=\{e\}$.

For a finite quantum system with Hilbert space $\mathcal{H}={\mathbb{C}}^{n+1}$, a pure state is a nonzero vector modulo multiplication by a nonzero complex number. Equivalently, it is a unit vector modulo its physically irrelevant phase. Consequently the space of pure states is the space of complex lines,The qualification “pure” is essential: arbitrary quantum states include mixed density matrices and do not form Complex projective space.

The unitary group $U(n+1)$ acts transitively on these lines: choose unit vectors in two given lines, complete each to an orthonormal basis, and map one basis to the other by a unitary transformation. The stabilizer of the line $\mathbb{C}{e}_0$ consists exactly of block matrices $\mathrm{diag}(z,V)$ with $z\in U(1)$ and $V\in U(n)$. Indeed a unitary transformation preserving the line also preserves its orthogonal complement. The homogeneous space description is thereforeIts real dimension is $(n+1{)}^2-1-n^2=2n$. This action is generally not two-transitive: the absolute inner product between unit representatives of two lines is invariant.

The Hopf fibration is the projection $\pi :S^{2n+1}\to {\mathbb{CP}}^n$, $z\mapsto [z]$. The right action $z\cdot \lambda =z\lambda$, $\lambda \in S^1$, is free, and its orbits are exactly the fibres. On the chart $U_i$ where $z_i\ne 0$, write $w_j=z_j/z_i$ for $j\ne i$. A smooth local section isEvery unit vector over this chart has the unique expression $z={\sigma }_i([z])\lambda$, where $\lambda =z_i/|z_i|$. These formulas provide local trivializations ${\pi }^{-1}(U_i)\cong U_i\times S^1$, proving that this is a principal bundle with fibre $S^1$. For $n\ge 1$ it has no global section: a global section would give $S^{2n+1}\cong {\mathbb{CP}}^n\times S^1$, contradicting their fundamental groups. For $n=0$ the base is a point and the bundle is trivial.

The Milnor–Švarc lemma applies to an isometric properly discontinuous group action that is also a cocompact group action on a nonempty proper metric space that is a geodesic metric space. It concludes that the group is finitely generated and, for a basepoint $x$ and any finite generating set of a group $S$, the orbit mapHere $d_S$ is the word metric, and a quasi-isometry means a map satisfying two-sided coarse distance bounds with a uniformly coarsely dense image. A free action is not required: finite stabilizers are compatible with proper discontinuity. The properness and cocompactness hypotheses ensure that only finitely many group elements move a chosen basepoint by the bounded amount used to generate the group. Replacing a finite generating set by another does not change the conclusion, by equivalence of finite word metrics.

The surviving conclusion is a quasi-isometry from a word metric for a possibly infinite generating set of a group. Finite generation cannot be asserted. Choose $x\in X$ and $R\ge 0$ so that $Gx$ is $R$-dense; the cobounded group action hypothesis provides such a choice. PutThis set is symmetric because $d_X(x,g^{-1}x)=d_X(gx,x)$. The metric geodesic subdivision argument in the next part givesIn particular $S$ generates $G$. Apply the same estimates to $g^{-1}h$ to obtain the two-sided bounds for the orbit map; its image is $R$-dense. Thus a cobounded isometric action on a metric geodesic space admits an orbit quasi-isometry for a suitable, possibly infinite, generating set. This is the cobounded orbit map lemma.

Infinite stabilizers cause no obstruction to these bounds: all their nonidentity elements belong to $S$ and have length one, although their orbit displacement is zero. The additive constant permits precisely this collapse. For example, every group acts coboundedly on a point; its complete Cayley graph for $S=G\setminus \{1\}$ is bounded, but the group need not be finitely generated.

Fix $\alpha \in \Omega$. If $\beta =g\alpha$, then normality of $H$ givesThus the transitive group action of $G$ permutes the orbits of a group action of $H$, so all $H$-orbits have the same cardinality $d$. They partition the prime-sized set $\Omega$, hence $d$ divides $|\Omega |$. The only possibilities are $d=1$ and $d=|\Omega |$. The first would make every element of $H$ fix every point, contrary to the assumption that $H$ acts nontrivially. Therefore $d=|\Omega |$ and

Now suppose $H\cap G_{\alpha }=\{1\}$. Define the orbit mapIt is surjective by transitivity of $H$. If $\theta (h_1)=\theta (h_2)$, then $h_2^{-1}{h}_1\in H\cap G_{\alpha }$, so $h_1=h_2$; hence $\theta$ is bijective. For $k\in G_{\alpha }$,Thus $\theta$ is an equivariant map: conjugation by $G_{\alpha }$ on $H$ corresponds exactly to the given action of $G_{\alpha }$ on $\Omega$.

A group action on a nonempty set $X$ is simply transitive when exactly one group element sends any chosen point to any other:Equivalently it is both a transitive group action and a free group action; this is also a regular group action. Transitivity supplies a transport, and freeness makes it unique. Conversely, putting $y=x$ in the uniqueness condition shows that every stabilizer subgroup is $\{e\}$, since the identity element already fixes $x$. In a transitive group action, checking that just one stabilizer subgroup is trivial suffices: all the others are conjugate subgroups.

The cyclic group $C_3$ in the diagram under transitive group action is simply transitive. More generally, the left regular action of any group $G$ on itself is simply transitive: the equation $gx=y$ has the unique solution $g=y{x}^{-1}$, using the inverse element of $x$. This shows why the property is useful: every position has a unique label relative to a chosen starting position.

Choose a point $x_0\in X$. Its orbit mapis a bijection and an equivariant map from the left regular action: ${\varphi }_{x_0}(hg)=h\cdot {\varphi }_{x_0}(g)$. This identifies $X$ with a copy of $G$, but $X$ does not come with a preferred identity element. If $x_1=a\cdot x_0$, then ${\varphi }_{x_1}(g)={\varphi }_{x_0}(ga)$: changing the chosen point composes this identification with right multiplication by $a$. An old label $g$ therefore becomes the new label $g{a}^{-1}$, which also specifies the side of multiplication for a noncommutative group.

The transport from $x$ to $y$ remains independent of the chosen point. Writing $x=b\cdot x_0$ and $y=c\cdot x_0$, it is $c{b}^{-1}$. With $x_1=a\cdot x_0$, the new labels are $b{a}^{-1}$ and $c{a}^{-1}$, andFor a finite group, simple transitivity implies $|X|=|G|$. Conversely, a transitive group action with $|X|=|G|<\infty$ is simply transitive by the orbit-stabilizer theorem. Equality of cardinalities alone is insufficient without transitivity: the cyclic group $C_2$ can fix both points of a two-point set, giving two group orbits and two possible self-transports at each point.

A group action on a nonempty set $X$ is transitive when every two points lie in the same orbit of a group action, equivalently when for all $x,y\in X$ there is a group element $g$ with $g\cdot x=y$. There is exactly one group orbit: every position is reachable from every other. Requiring $X\ne \varnothing$ avoids calling the group action on the empty set transitive merely because the quantified statement has no points to test.^[ref]

Here a left group action of a group $G$ means a function $G\times X\to X$, written $(g,x)\mapsto g\cdot x$, satisfyingwhere $e$ is the identity element. Products move the point by $h$ first, then by $g$. Transitivity says that an orbit map $G\to X$, $g\mapsto g\cdot x$, is surjective for every $x\in X$; it suffices to check one chosen point.^[ref][ref]

For example, the symmetric group $S_3$ acts on $X=\{1,2,3\}$ by $\sigma \cdot i=\sigma (i)$. This is a transitive group action, but it is not a free group action: the stabilizer subgroup of $1$ is $\{e,(23)\}$. Both the transposition $(12)$ and the cyclic permutation $(123)$ send $1$ to $2$. In contrast, the cyclic group $C_3=\mathbb{Z}/3\mathbb{Z}$ acts on itself by $k\cdot x=k+x(\mathrm{mod}3)$, using modular arithmetic. The group element sending $x$ to $y$ is uniquely $k=y-x(\mathrm{mod}3)$. These two group actions reach the same number of points, but only the second has unique transport between them.

The stabilizer subgroup $G_x=\{h\in G:h\cdot x=x\}$ measures the ambiguity of transport. If $g_0\cdot x=y$, thenThe first set is a left coset, and the second identity says that stabilizer subgroups in one group orbit are conjugate subgroups. Briefly, $g\cdot x=g_0\cdot x$ exactly when $g_0^{-1}g\in G_x$. Thus, for a finite group in a transitive group action, the orbit-stabilizer theorem gives $|G|=|X||G_x|$, and there are exactly $|G_x|$ transports for each pair of points. The example counts are $6=3\cdot 2$ for $S_3$ and $3=3\cdot 1$ for $C_3$. This separates the number of reachable positions from the number of ways to reach each one.^[ref]