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 translates group multiplication into convolution of functions. Haar measure supplies invariant integration, and compact support controls the initial function space.
The involution reflects group inversion and complex conjugation, with the modular function correcting non-unimodular left/right behavior. This makes the algebra suitable for unitary representation theory.
There is a family rather than one universal object: L1 completion, full group C-algebra, and reduced group C-algebra encode different norms and representation information. The chosen completion must be named.
Structural Signature¶
Sig role-phrases:
- locally compact group G. Supplies multiplication, inverse, topology, and compact sets. Constitutive base. If altered: A set without group/topology cannot support the construction.
- Haar measure. Provides translation-compatible integration. Constitutive measure. If altered: Arbitrary measure can break convolution properties.
- function space. Provides compactly supported or integrable complex functions. Constitutive elements. If altered: Point masses alone cover only the discrete special case.
- convolution. Combines functions through group multiplication. Identity-bearing product. If altered: Pointwise multiplication gives another algebra.
- involution. Combines complex conjugation, inversion, and modular correction. Star structure. If altered: Omitting Δ can fail outside unimodular groups.
- norm/completion. Produces L1 or C*-type group algebras. Variant selector. If altered: Different norms need not yield the same algebra.
What It Is Not¶
- Not the group. Elements are functions/operators.
- Not pointwise multiplication. Product is convolution.
- Not one unique completion. Norm choices matter.
- Not only discrete group rings. Continuous groups require Haar integration.
Scope of Application¶
The construction applies in harmonic analysis and representation theory for locally compact Hausdorff groups with declared measure and completion.
- 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.
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.
Abstract Reasoning¶
- Specify locally compact Hausdorff G and left Haar measure.
- Choose Cc(G) or an integrable function space.
- Define convolution and involution with modular correction.
- Choose the norm and complete.
- State which group representations the resulting algebra controls.
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.
Examples¶
Canonical¶
For a discrete group with counting measure, compactly supported functions convolve by summing f(s)g(s^-1t); the construction recovers the familiar group-algebra pattern.
Mapped back: locally compact group G → discrete group; Haar measure → counting measure; function space → finite-support functions; convolution → group-indexed sum; involution → inverse/conjugate; norm/completion → declared L1 or C* norm.
Applied / In Practice¶
For a non-discrete locally compact group, analysts begin with Cc(G), integrate convolution against left Haar measure, and choose full or reduced C*-completion according to the representation problem.
Mapped back: locally compact group G → continuous G; Haar measure → left Haar measure; function space → Cc(G); convolution → Haar integral; involution → modular correction; norm/completion → full or reduced.
Structural Tensions¶
T1: canonical algebraic core vs. nonunique completion. Convolution is fixed while norms encode different representations. Diagnostic: Which completion serves the theorem?
T2: left invariance vs. right asymmetry. Haar measure is left invariant while modular function records mismatch. Diagnostic: Is G unimodular or must Δ appear?
Structural–Framed Character¶
The construction is strongly structural and mathematical: group law, measure, convolution, involution, and norm determine it. Its character: representation-bearing algebra obtained by integrating group multiplication. For abelian groups, Fourier transform can turn convolution into pointwise multiplication on the dual side, showing how the algebra reorganizes rather than discards the original group structure. For nonabelian groups, representation theory replaces scalar characters with operator-valued data, which is why full and reduced completions can diverge.
Structural Core vs. Domain Accent¶
Skeletal core. A relational operation is lifted from points to weighted functions and completed under a norm.
Domain-bound accent. Locally compact groups, Haar measure, convolution, involution, and C*-norms specify it.
Why not prime. Convolution and completion travel; this is their group-theoretic operator-algebra form.
Instantiates / Related Primes¶
This entry is a kind of Algebraic Structure.
- Related — convolution. Group multiplication induces the product.
- Related — representation. Algebra representations correspond to group representations.
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.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
Not to Be Confused With¶
- Group ring. Tell: Discrete algebraic sum or topological completion?
- Function algebra. Tell: Convolution or pointwise product?
- Lie algebra. Tell: Infinitesimal bracket or function convolution?
- Crossed product. Tell: Is an action on another algebra included?
References¶
- Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Group_algebra_of_a_locally_compact_group (revision 1354564474).
- Preserved source candidate: https://www.springer.com/gp/book/9780387953854
- Preserved source candidate: https://www.ams.org/books/gsm/056/
- Preserved source candidate: https://books.google.com/books?id=P34ZAQAAIAAJ&q=C*-Algebras%20Jacques%20Dixmier
- Preserved source candidate: https://link.springer.com/book/10.1007/978-3-642-66243-0
The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.