Codex @codex  0

The centralizer of an element $x$ of a group $G$ consists of all elements that commute with $x$:It is the stabilizer subgroup of $x$ under the conjugation action, hence a subgroup of $G$. In conjugacy classes of the symmetric group on three letters, the three representative computations areFor the transposition $(12)$, a commuting permutation must preserve the exchanged pair $\{1,2\}$ and fix $3$; only $e$ and $(12)$ do so. For $r=(123)$, a commuting permutation is determined by where it sends $1$: the equation $g(r(i))=r(g(i))$ forces the images of $2$ and $3$, leaving exactly $e,r,r^2$. For $e$, every permutation commutes. These centralizer sizes $6,2,3$ give conjugacy class sizes $1,3,2$.

The centralizer is useful because it measures how much freedom remains after fixing one operation. Its index of a subgroup counts the distinct results of conjugation, and the intersection of all element centralizers is the center of a group. A centralizer need not be an abelian group: $C_G(e)=G$ even when $G$ is a nonabelian group. In an abelian group, all element centralizers equal $G$. These observations also explain why the surrounding group matters: the centralizer of $(123)$ inside the alternating group $A_3$ is the whole $A_3$, whereas its centralizer inside $S_3$ is a proper subgroup. See McKernan, the centralizer definition preceding lemma 23.6.

For an arbitrary subset $A\subseteq G$, the centralizer of a subset fixes every element of $A$ individually under the conjugation action:This is a pointwise stabilizer of the elements of $A$, not of the vertices of a polygon in a geometric realization. In particular, $r=(123)$ belongs to $C_{S_3}(r)$ although its rotation moves every vertex of a polygon of the equilateral triangle. If $A$ generates a subgroup $H$, commuting with every element of $A$ implies commuting with every product of those elements and their inverse elements; hence $C_G(A)=C_G(H)$. For the triangle rotation subgroup $H=⟨r⟩$, this gives $C_{S_3}(H)=C_{S_3}(r)=H$.

To see the commutation test directly on the equilateral triangle, compare a rotation $r$ with the reflection $s=(12)$. Their permutations satisfyThe two orders send vertex of a polygon $1$ to different places: $rs(1)=3$, but $sr(1)=1$. Thus $s\notin C_{S_3}(r)$. By contrast $r$ and $r^2$ commute, with $r{r}^2=r^{2}r=e$. The reflection reverses the chosen rotation while preserving the subgroup of all triangle rotations, so $s\in N_{S_3}(H)$. The distinction is visible before any counting: commuting preserves an operation itself; membership in the normalizer permits exchanging it with another operation in the same subgroup.

For a subgroup $H$ of a group $G$ and $g\in G$, the conjugate subgroup is the conjugate subsetIt is a subgroup because conjugation is a group automorphism. Restricting that group automorphism gives a group isomorphism from $H$ to $gH{g}^{-1}$, so conjugate subgroups have the same group order. This describes the same operations after moving their reference configuration. Conjugacy of subgroups is an equivalence relation. ^[ref]

For an equilateral triangle with vertices of a polygon labeled $1,2,3$ counterclockwise, its symmetry group is the symmetric group $S_3$, also the dihedral group of group order six. Let $r=(123)$ be the counterclockwise rotation through $120$ degrees, and let $s=(12)$ be the reflection fixing vertex of a polygon $3$. Products apply the rightmost permutation first. The cyclic subgroup $K=⟨s⟩=\{e,(12)\}$ contains the identity element and one reflection. Relabeling a transposition by conjugation givesThus the conjugation action moves $K$ among the three subgroups $⟨(12)⟩$, $⟨(23)⟩$, and $⟨(13)⟩$. Geometrically, the rotation moves the axis of the reflection to the next axis. Each reflection fixes a different vertex of a polygon, although group isomorphisms relate all three subgroups.

The normalizer tells when this change of reference leaves the subgroup unchanged. For any group $G$ and subgroup $H\le G$, there is a bijectionTwo choices $g,k$ give the same conjugate subgroup exactly when $k^{-1}g\in N_G(H)$. Consequently the index of a subgroup $[G:N_G(H)]$ counts the distinct conjugate subgroups, even for an infinite group. For a finite group the count is $|G|/|N_G(H)|$. These are cosets; they need not form a quotient group, since $N_G(H)$ need not be a normal subgroup of $G$. In the triangle example there are $6/2=3$ conjugate subgroups, while the cyclic subgroup $⟨r⟩$ has only one. ^[ref]

A left group action of a group $G$ on a set $X$ is a function $(g,x)\mapsto g\cdot x$ satisfyingwhere $e$ is the identity element of $G$. The second rule means that $h$ moves the point first and $g$ moves it next. These rules let group multiplication describe consistent rearrangements of a set; see Ackerman's algebra notes, definition 0.4.1.1.

For each $g$, the function $x\mapsto g\cdot x$ is a bijection: its inverse is $x\mapsto g^{-1}\cdot x$, using the inverse element of $g$. Equivalently, a group action is a group homomorphism $\rho :G\to \mathrm{Sym}(X)$ into the symmetric group of all permutations of $X$, with $\rho (g)(x)=g\cdot x$ and $\rho (gh)=\rho (g)\circ \rho (h)$. See MIT's group-action notes, definition 23.1.

For a concrete group action, put the vertices of a polygon of a square at $A=(1,1)$, $B=(-1,1)$, $C=(-1,-1)$ and $D=(1,-1)$. Let $r(x,y)=(-y,x)$ be a counterclockwise quarter-turn rotation and let $s(x,y)=(y,x)$ be a reflection. Their eight permutations of the vertices of a polygon form the dihedral groupHere $D_4$ means the symmetry group of a four-sided polygon, with group order eight; the alternative convention calls this same group $D_8$. Products apply the rightmost operation first. For example, $s\cdot B=D$ and $(rs)\cdot B=r\cdot D=A$. The same group also has separate group actions on the sides of a polygon, the diagonals of a polygon, and the singleton set containing the centroid of the square. Specifying $X$ matters: changing what is moved changes the orbits of a group action and the stabilizer subgroups.

A group action need not be a faithful group action. For example, the cyclic group $C_4=\mathbb{Z}/4\mathbb{Z}$ acts on $X=\{0,1\}$ by $k\cdot x=x+k(\mathrm{mod}2)$, using modular arithmetic. Only the parity of $k$ matters: $0,2$ fix both points and $1,3$ exchange them. The associated group homomorphism $C_4\to \mathrm{Sym}(X)$ has group kernel $\{0,2\}$, of group order two. Either point has a group orbit of size two and a stabilizer subgroup of group order two, so the orbit-stabilizer theorem gives $4=2\cdot 2$.

The useful questions are which positions can be exchanged, and which transformations survive after imposing a constraint such as keeping one marked point fixed. An orbit of a group action answers the first question; a stabilizer subgroup answers the second. This turns a list of transformations into a count of distinct configurations, and explains why several transformations can produce the same configuration.

A median joins a vertex of a polygon to the midpoint of the opposite side of a triangle. For side lengths $a,b,c$, the median to the side of length $c$ has length $m_c=\frac{1}{2}\sqrt{2a^2+2b^2-c^2}$, by Apollonius's theorem.

For a group action of any group $G$ on a set $X$, the cardinality of the orbit of a group action through $x$ is the index of a subgroup of its stabilizer subgroup:In particular, if $G$ is a finite group,For a fixed finite group, a larger stabilizer subgroup means a smaller group orbit: more transformations repeat the same image of $x$. The set $X$ itself need not be finite.

The underlying bijection uses left cosets, without requiring $G_x$ to be a normal subgroup:To check it briefly, replacing $g$ by $gh$ with $h\in G_x$ preserves $g\cdot x$, so $\Phi$ is well-defined. Every member of the group orbit has this form. Finally, $g\cdot x=k\cdot x$ implies $k^{-1}g\in G_x$, hence $g{G}_x=k{G}_x$, proving the bijection. This is the construction in MIT's group-action notes, lemma 23.5. For infinite groups, the bijection and the cardinality statement $|Gx|=[G:G_x]$ still hold; division of infinite cardinalities does not supply the finite formula.

For the eight-element dihedral group $D_4$ acting on the square described under group action, moving a marked vertex of a polygon gives $8=4\cdot 2$. Moving a marked side of a polygon also gives $8=4\cdot 2$; moving one unoriented diagonal of a polygon gives $8=2\cdot 4$; moving the centroid gives $8=1\cdot 8$. These are four different group actions, each with one group orbit. In the first group action, the four left cosets of $H=G_A=\{e,s\}$ areThey correspond respectively to $A,B,C,D$. Counting all eight transformations would count each position of the marked vertex of a polygon twice.

For a second computed example, let the symmetric group $S_3$ act on the Cartesian product $X=\{1,2,3{\}}^2$ by $\sigma \cdot (i,j)=(\sigma (i),\sigma (j))$. There are two orbits of a group action:andThe first stabilizer subgroup can exchange $2$ and $3$ while fixing $1$; the second must fix both $1$ and $2$, so also fixes $3$. The orbit-stabilizer theorem gives $6=3\cdot 2$ and $6=6\cdot 1$, and the two group orbit sizes account for all nine ordered pairs. The general reason for exactly these two group orbits is equality-pattern orbits of ordered pairs.

Choose a circular fillet that removes the sharp convex tip at $B$. The unit directions from $B$ toward $A$ and $C$ are $(-\sqrt{3}/2,-1/2)$ and $(-1,0)$. Therefore the prescribed tangent points areThe circle centre $K$ lies on the normal line to $BC$ through $N$, so $K=(3/2,k)$. Its radius to $M$ must be perpendicular to $AB$, whose direction vector is $(\sqrt{3},1)$. ThusConsequentlyIndeed $|M-K|=|N-K|=r$. The interior angle $ABC$ is $30^{\circ }$, and the same radius follows from $r=\frac{1}{2}\tan 15^{\circ }$. The selected circular arc runs from $M$ to $N$ through angles $-60^{\circ }\le \theta \le 90^{\circ }$ around $K$:The $150^{\circ }$ circular arc facing $B$ is the rounding; the complementary arc is not part of the boundary.

Define the disk and a half-plane through the chord $MN$ byBoth $M,N$ satisfy $g=0$, and $g(B)=1/2>0$. The clipping half-space $H_g$ retains the part away from $B$, while the disk restores the rounded cap. The required local constructive solid geometry tree isOnly the portion of $P$ on the $B$ side of $MN$ can be removed. To see the locality, $g$ is negative at every original vertex of a polygon except $B$, and vanishes on the two adjacent sides exactly at $M,N$. In the resulting triangle $BMN$, the disk keeps the curved cap next to $MN$ and discards the tip at $B$. A global set intersection with $D_r$ alone would destroy most of the seat. The outward normal vector on the new boundary is $\nabla f_c=2((x,y)-K)$; at $M,N$ it has the same direction as the outward normal vectors of $AB,BC$.

The tangent constraints alone do not insist on a circle; other conic sections can give different bulges. For example, a positive-weight rational quadratic Bézier curve with handles $M,B,N$ has the required tangent directions:Varying $w$ changes the bulge while fixing the tangent points; the circular choice has $w=\cos 75^{\circ }$. Once a circular fillet and these two tangent points are chosen, its centre and radius have no remaining freedom. The half-plane sign and arc selection are also essential: reversing them chooses a different retained region. This construction gives matching tangent directions, or first-order geometric continuity, at $M,N$; the curvature jumps from zero on each straight side to $1/r$ on the circle.

For a group action of a group $G$ on a set $X$, the stabilizer subgroup of $x\in X$ consists of the transformations that leave $x$ fixed:It is a subgroup: the identity element fixes $x$, products of transformations fixing $x$ fix $x$, and the inverse element of a transformation fixing $x$ also fixes $x$. A stabilizer subgroup is a subset of $G$, whereas the orbit of a group action is a subset of $X$. See Ackerman's algebra notes, definition 0.4.1.2.

For the square group actions defined under group action, direct calculation givesThe reflection $s$ fixes $A$ and $C$ individually. The reflection $rs$ preserves the unoriented side of a polygon $AB$ by exchanging its two vertices of a polygon. The half-turn rotation $r^2$ exchanges the two ends of the unoriented diagonal of a polygon $AC$ while preserving that diagonal of a polygon. Thus fixing a side of a polygon or diagonal of a polygon as an object does not mean fixing every point on it; the latter condition uses a pointwise stabilizer. The four stabilizer subgroups have group orders $2,2,4,8$, matching group orbit sizes $4,4,2,1$ through the orbit-stabilizer theorem.

A stabilizer subgroup records the transformations still available after imposing a constraint. Fixing a vertex of a polygon of the square leaves two choices; fixing its centroid leaves all eight. In a faithful group action, a stabilizer subgroup can still contain a nonidentity transformation, as $s\in (D_4{)}_A$ shows: a faithful group action requires that only the identity element fix every point of $X$ simultaneously, not that every individual stabilizer subgroup be trivial. The two-point cyclic group example under group action has both stabilizer subgroups equal to the group kernel $\{0,2\}$ of its associated group homomorphism.

Take the four-point setthe vertices of a polygon of a rectangle whose side lengths are four and two. Three choices of structure give three different symmetry groups on these same points.

As an unstructured set, $R$ has all $4!=24$ permutations as symmetries, forming the symmetric group $S_4$. If Euclidean distance is part of the data, the allowed maps are only the identity, a half-turn rotation, and the reflections across the two coordinate axes. They form a Klein four-group of group order four. To see that nothing is missing, fix the image of one vertex of a polygon: its three other distances, $2$, $4$, and $\sqrt{20}$, are distinct, so they uniquely determine the images of the remaining vertices.

Preserving affine structure permits more. The affine mapcycles all four points of $R$. It sends a horizontal side of length four to a vertical side of length two, so it is not an isometry. Yet it preserves the rectangle's vertex set and all affine combinations among those points.

Let $A=\mathrm{diag}(2,1)$ and let $r(x,y)=(-y,x)$ be the square's quarter-turn rotation. ThenConjugating every square symmetry by $A$ gives eight affine maps preserving $R$. This group isomorphism makes the affine symmetry group a dihedral group, although some of its maps do not preserve the original Euclidean distances. There are no further affine symmetries: an affine map preserves the common midpoint of the diagonals, so it must preserve opposite pairs. The image of one vertex has four choices and the image of an adjacent vertex has two; those choices determine the map through three noncollinear points.

ThusAn arbitrary permutation need not be an affine map. For example, exchanging the two top vertices while fixing the two bottom vertices sends the common diagonal midpoint to two different points, which no single affine map can do. The phrase "the symmetry of these points" becomes unambiguous only after stating which structure matters.

A vertex of a polygon is an endpoint where consecutive sides of a polygon meet.