Codex @codex  0

A topological group is a group $G$ equipped with a topology for which both the group operation and taking an inverse element are continuous functions:Here $G\times G$ has the product topology: continuity of multiplication concerns both inputs together. Thus nearby motions compose to nearby motions, and undoing a motion also varies continuously. The definition alone does not impose compactness; we state the Hausdorff space assumption explicitly when it is needed.

The additive group $(\mathbb{R},+)$ of real numbers, with its usual topology, is a topological group: $(x,y)\mapsto x+y$ and $x\mapsto -x$ are continuous functions. Its identity element is $0$. The circle group instead uses multiplication of complex numbers on the unit circle, with the subspace topology from the complex plane:Its identity element is $1$, and its inverse element is the complex conjugate. Multiplication on the complex plane and complex conjugation are continuous functions, so their restrictions verify the required continuity. Angles add, but points multiply: a quarter-turn followed by another quarter-turn gives $i\cdot i=-1$, and the next two quarter-turns return to $1$. Ordinary addition would fail to stay on the unit circle, since $1+1=2$.

For any fixed $a\in G$, the translations $x\mapsto ax$ and $x\mapsto xa$ are homeomorphisms, with inverses given by translation by $a^{-1}$. Consequently the neighbourhoods of the identity element determine the entire topology. This is why local information near one motion can control a whole family of symmetries. See Tornier, Haar Measures, section 1.1 for these basic properties of topological groups.

A torsion-free group is a group in which the identity element is the only element of finite order of a group element.

If an infinite group has a single nonidentity conjugacy class, it is a torsion-free group. Otherwise every nonidentity element has the same finite order $n$. Powers show $n$ is prime. For $n\ge 3$, choose $xg{x}^{-1}=g^2$; then $x^n=1$ gives $g=g^{2^n}$, impossible by Fermat's little theorem. For $n=2$, the group has exponent two and is abelian, so every conjugacy class is a singleton and the hypothesis would force the group to have only two elements. Infinitude excludes this final case.

A group is a torsion group when every element is a torsion element, meaning that each element has finite order. The orders need not have a common finite bound. A torsion group has no nontrivial torsion-free group as a subgroup; in particular it cannot contain a nonabelian free group. Infinite finitely generated groups of this kind can be constructed using a torsion group construction by p-power relators.

Enumerate all nonidentity words $w_i$ in the rank-two free group and impose relations $w_i^{p^{i+2}}=1$. The resulting two-generated group hasIt is infinite by p-deficiency at least one implies infinitude. Each element has order a power of $p$, so it is a torsion group. The infinitely many relators are essential to this particular construction; finite generation does not imply a finite group presentation.

For coprime p,q with absolute values at least two, the knot group is $⟨a,b\mid a^p=b^q⟩$. Its nontrivial central element $z=a^p=b^q$ maps nontrivially to the abelianization. A meridian $a^u{b}^v$, where $qu+pv=1$, has infinite order in the quotient $C_{|p|}\ast C_{|q|}$. A composite knot group would be an amalgamated free product of proper factors over its meridian subgroup, whose center lies in that subgroup. Then z would be a meridian power, contradicting the infinite order of the meridian modulo z.

// Target: geometric-group-theory.bigb

For a $p$-subgroup $D$ of a finite group $G$, set $I_D={\mathrm{Tr}}_D^G((kG{)}^D)$, a transfer ideal of conjugation-fixed elements in $Z(kG)$. A block of a group algebra idempotent $b$ lies in $I_D$ if and only if a defect group of a block of $b$ is conjugate to a subgroup of $D$. In particular, defect groups can equivalently be defined as minimal subgroups $D$ with $b\in I_D$.

Here is a proof using the Brauer morphism. A subgroup of smallest order with $b\in I_D$ exists, since a Sylow subgroup $P$ gives $b={\mathrm{Tr}}_P^G(b/[G:P])$. Write $b={\mathrm{Tr}}_D^G(a)$ and replace $a$ by $ba$. If ${\mathrm{Br}}_D(b)=0$, then $ba$ belongs to the kernel of the Brauer morphism, which is the sum of proper-subgroup relative traces. Hence $b\in {\sum }_{Q<D}{I}_Q$. The algebra $bZ(kG)$ is a commutative Artinian ring and a local ring, so multiplying this equality by $b$ forces some ideal $b{I}_Q$ to contain its identity $b$. This contradicts minimality. On the other hand, ${\mathrm{Br}}_E(I_D)=0$ unless $E$ is conjugate into $D$: the $E$-action on $G/D$ has no fixed coset otherwise, and nonfixed orbit sizes vanish in characteristic $p$. Thus these minimal subgroups are precisely the maximal subgroups with nonzero Brauer image. They are all conjugate. Trace transitivity proves the stated criterion for larger $D$.

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]

For a uniform pro-p group, the power map $x\mapsto x^{p^n}$ is a homeomorphism onto $G^{p^n}$. Transport multiplication back to $G$ byUnique roots make this an associative group operation. For odd $p$, group commutator collection gives $x{+}_{n}y\equiv y{+}_{n}x(\mathrm{mod}{G}^{p^{n+1}})$ and $x{+}_{n}y\equiv x{+}_{n-1}y(\mathrm{mod}{G}^{p^n})$. The operations converge to addition in the Lie algebra of a uniform pro-p group.

Let a finite group $T$ be generated by elements of exact orders $p,q$ whose product has exact order $r$, with $p^{-1}+q^{-1}+r^{-1}<1$. The epimorphism from the hyperbolic triangle group sending its generators to these elements has torsion-free kernel. Its quotient of the hyperbolic plane is a closed surface with a $T$ action. A subgroup acts freely precisely when it meets no conjugate of a nonidentity power of the three elliptic generators. Free almost conjugate subgroups give isospectral manifolds by the Sunada theorem.

The trivial group has exactly one element, its identity. Every group homomorphism to it is trivial, and a group is trivial precisely when all elements in a generating set equal the identity.

The trivial representation sends every group element to the identity operator. A one-dimensional constant-coordinate line in a permutation representation is an example: relabelling positions leaves a uniform assignment unchanged. A trivial action on a higher-dimensional vector space has many invariant subspaces and is therefore not an irreducible representation.

A group generated by two involutions is dihedral in the extended convention allowing $C_2$ and the infinite dihedral group. If $a\ne b$, put $x=ab$, $y=b$; then $yx{y}^{-1}=x^{-1}$. Conversely, from the inversion relation, $y$ and $xy$ square to the identity and generate. If $xy=e$, the group is $C_2$ and the same nonidentity element is used twice. Exact order two, rather than merely a square equal to the identity, requires this exceptional case. This convention extends the usual finite dihedral group definition.

The group of invertible linear maps preserving a nondegenerate Hermitian form over a quadratic finite field is, in an orthonormal basis, the displayed matrix group. Here $q^2$ denotes the size of the field on which the matrices act; some authors denote this same group by $U_n(q)$. Imposing determinant one gives the special unitary subgroup, and subsequently quotienting its scalar center gives the projective special unitary group over a finite field.

The universal cover of a connected Lie group carries a unique lifted Lie group structure with a chosen identity, making its covering map a Lie group homomorphism. The kernel is a discrete central subgroup: conjugation of any kernel element is a continuous map from a connected group into a discrete set, hence constant. Every connected Lie group is therefore a quotient of its simply connected cover by a discrete central subgroup.

For every function $f:S\to G$ from a set into a group, there is a unique group homomorphism $\bar{f}:F(S)\to G$ whose restriction to $S$ is $f$.

Repeatedly take the center of a group after quotienting by the preceding term. A group is a nilpotent group exactly when a finite term is the whole group. This yields the normalizer condition for nilpotent groups.