Group Representations & Symmetry¶

← Back to Domain-Specific Families

Abstractions about groups acting through representations, conjugacy, closure, symmetry, and factorization. They include classical and sporadic groups, projective and Fourier representations, subrepresentations, normality, direct sums, transfer, and geometric symmetry groups.

24 abstractions in this family — domain-specific abstractions that sit near one another in structural-signature space (k-means over structural-signature embeddings). Each is shown with its short description.

3-transposition group — A group generated by a conjugacy class of involutions such that the product of any two generators has order at most three.
3D4 — A twisted family of groups of Lie type obtained from type D4 by combining its order-three triality automorphism with a cubic field automorphism.
Classical group — A member of the principal matrix-group families associated with finite-dimensional vector spaces and nondegenerate bilinear, quadratic, Hermitian or symplectic forms.
Clifford theory — Representation-theoretic results describing how irreducible representations of a group restrict to a normal subgroup and how subgroup constituents extend or induce back to the group.
Conjugacy class — An equivalence class of group elements related by inner automorphisms, containing all elements of the form gag⁻¹ for a fixed a and varying g.
Conjugacy class sum — The sum in a group algebra of all basis elements belonging to one conjugacy class of a finite group.
Direct sum of groups — A group assembled from mutually commuting normal subgroups with trivial intersections so every element decomposes uniquely into component elements, with finite support in infinite families.
Fourier transform on finite groups — A harmonic transform mapping a function on a finite group to matrices indexed by irreducible representations, generalizing the scalar discrete Fourier transform beyond abelian groups.
Hopfian group — A group for which every surjective endomorphism is an automorphism, equivalently a group not isomorphic to any proper quotient of itself.
J-structure — An algebraic structure taking a rational inversion map and Hua-type identities as primitive, providing a linear-algebraic-group formulation closely equivalent to Jordan algebra theory in suitable characteristic.
Linear group — Characterize a group by the existence of a faithful finite-dimensional representation over a specified field, equivalently by its realization as a subgroup of a general linear matrix group.
Maschke's theorem — Every finite-dimensional representation of a finite group over a field whose characteristic does not divide the group order decomposes as a direct sum of irreducible representations.
Normal closure (group theory) — The smallest normal subgroup of a group containing a specified subset, equivalently the subgroup generated by all conjugates of that subset and their inverses.
Octahedral symmetry — The finite symmetry group of a regular octahedron, equivalently a cube, comprising 24 rotations and 48 full isometries when reflections are included.
One-parameter group — A continuous homomorphism from the additive real numbers into a topological group, representing a continuously parameterized group action or flow.
Projective representation — A homomorphism from a group to a projective linear group, equivalently linear operators whose multiplication respects the group law only up to nonzero scalar factors.
Real element — A group element conjugate to its inverse, with strong reality requiring conjugation by an involution.
Sporadic group — One of the 26 exceptional finite simple groups outside the cyclic-prime, alternating, and Lie-type infinite families in the classification of finite simple groups.
Strictly simple group — A group whose only ascendant subgroups are the identity subgroup and the whole group, coinciding with simplicity for finite groups but stronger in general.
Subrepresentation — An invariant subspace of a representation on which the original group, algebra or category action restricts to a representation in its own right.
Thompson factorization — A factorization of certain finite groups as a product of two structurally selected subgroups, commonly normalizers or centralizers of p-subgroups.
Transfer (group theory) — A homomorphism from a group to the abelianization of a finite-index subgroup, constructed by multiplying subgroup residues across coset representatives and used in finite-group structure theorems.
Transitively normal subgroup — A subgroup H of G such that every subgroup normal in H is also normal in G, making normality transitive through H.
Translational symmetry — Invariance of an object, field, law or equation under every translation in a stated continuous group or under translations in a discrete lattice.