Group algebra of a locally compact group¶
A convolution algebra built from functions on a locally compact group using Haar measure, with representations linked to representations of the group.
Core Idea¶
A group algebra of a locally compact group converts the group law into Haar-measure convolution of functions, adds the inversion/conjugation involution, and completes under a declared norm to connect group and operator representations. Associativity comes from the group law, support propagates through product sets, and approximate identities concentrate near the group identity. These are structural consequences of the construction, not extra arbitrary axioms, but their analytic form depends on the chosen function space and completion. The involution reflects group inversion and complex conjugation, with the modular function correcting non-unimodular left/right behavior.
Scope of Application¶
The construction applies in harmonic analysis and representation theory for locally compact Hausdorff groups with declared measure and completion. Use it only after specifying G, Haar measure, function space, convolution, involution, and norm/completion; distinguish L1, full C, reduced C, and discrete group-ring cases.
- Harmonic analysis. Convolution organizes functions.
- Representation theory. Links algebra and group representations.
- Operator algebras. Builds full/reduced C*-algebras.
- Fourier analysis. Generalizes translation and frequency methods.
- Noncommutative geometry. Uses group C*-algebra structure.
Clarity¶
The phrase is ambiguous unless the base space and norm are stated. Cc(G) is a dense algebraic starting point, while L1(G), C(G), and Cr(G) are distinct completions. The closest near miss sets the boundary: A discrete group ring is the closest near miss and special analogue; counting measure turns convolution into a sum, but the locally compact construction includes continuous groups and norm choices.
Manages Complexity¶
Continuous group multiplication and infinitely many translations become one associative product. Norm completion adds limits, while involution preserves adjoint structure and representation compatibility. Associativity of convolution reflects associativity of the group law, while support satisfies a product-set bound. The approximate identity lets functions concentrate near the group identity without requiring a genuine identity element inside every non-discrete function algebra. These features explain why the construction retains group structure after replacing points by integrable functions. The central canonical algebraic core–nonunique completion tradeoff is this: Convolution is fixed while norms encode different representations. A second left invariance–right asymmetry tension matters because Haar measure is left invariant while modular function records mismatch.
Abstract Reasoning¶
Use three linked moves: specify locally compact Hausdorff G and left Haar measure; choose Cc(G) or an integrable function space; define convolution and involution with modular correction. As a collapse test, the identity fails if G, Haar integration, convolution, or completion convention is absent. A fourth check is to choose the norm and complete.
Knowledge Transfer¶
The convolutional encoding transfers among locally compact groups. It stops before arbitrary semigroup convolutions or pointwise algebras unless their altered axioms are named. No canonical parent prime is currently asserted; broader structural comparisons remain related-prime analogies until separately adjudicated in the DAG. Group multiplication induces the product.
Relationships to Other Abstractions¶
Current abstraction Group algebra of a locally compact group Domain-specific
Parents (1) — more general patterns this builds on
-
Group algebra of a locally compact group is a kind of Algebraic Structure Domain-specific
Group algebra of a locally compact group satisfies the defining boundary of Algebraic Structure: An algebraic structure is one or more carrier sets equipped with typed finitary or infinitary operations, distinguished elements, and laws that define a mathematical kind and its structure-preserving mappings.
Hierarchy path (1) — routes to 1 parentless root
- Group algebra of a locally compact group → Algebraic Structure → Mathematical structure → Set and Membership
Neighborhood in Abstraction Space¶
Group algebra of a locally compact group sits in a moderately populated region (46th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Unclustered & Miscellaneous (2551 abstractions)
Nearest neighbors
- Complex conjugate representation — 0.89
- Complex representation — 0.87
- Wandering set — 0.87
- Additive group — 0.86
- Indiscrete space — 0.86
Computed from structural-signature embeddings · 2026-10-08