## The Group Algebra

**Point of post: **In this post we discuss the notion of the group algebra on a group.

*Motivation*

We shall see that it will often be fruitful to consider functions from a finite group into as a perfect setting for our discussion of representation theory. We shall see that there are canonical ways to define representations with this space of functions both as a group (precisely how the group structure works shall be seen below) and as the target space for the group (the representation space of ). Technically the group algebra is considered to be an adaptation of the free vector space of over . We’ll take a slightly different version here and describe the group algebra as functions as was indicated in the first sentence.

*Group Algebra*

Let be a finite group and define the *group algebra over ,* denoted , to be the set

with addition and scalar multiplication defined point-wise in the sense that and where and . The multiplication on is often called *convolution *and is denoted and given by

and a *conjugation *given by . We define the mappings to be, unimaginatively,

With these concepts in mind we claim that is a -dimensional associative unital algebra over . More precisely:

**Theorem: ***Let be a finite group. Then the group algebra with operations of point-wise addition, point-wise scalar multiplication, convolution, and conjugation is an associative unital algebra with identity .*

**Proof: **It’s evident that the definitions of point-wise scalar multiplication and addition define a complex vector space structure on . Less trivial is to see that convolution interacts with addition and scalar multiplication in such a way to make it into an associative algebra. But, these are just calculations. Namely to prove associativity let be arbitrary and . Then:

but, with equal validity

where we’ve used the trick that for each fixed as is a bijection and thus the last equality holds. Since was arbitrary it follows that . To prove distributivity we note that for any and we have that:

and since was arbitrary it follows that . The scalar distributivity follows easily since for any , , and we have

To see that is in fact an identity for convolution we merely note that for any and we have that

and since was arbitrary it follows that . It similarly follows that . From this we may conclude that is an associative unital algebra with identity .

**References:**

1.Simon, Barry. *Representations of Finite and Compact Groups*. Providence, RI: American Mathematical Society, 1996. Print.

2. Serre, Jean Pierre. *Linear Representations of Finite Groups*. New York: Springer-Verlag, 1977. Print.

[…] Point of post: This is a continuation of this post. […]

Pingback by Representation Theory: The Group Algebra (Pt. II) « Abstract Nonsense | January 20, 2011 |

[…] be a finite group and the group algebra on . If is a pre-Hilbert space then a mapping is called a -representation of if the following […]

Pingback by Representation Theory: *-representations of the Group Algebra « Abstract Nonsense | January 21, 2011 |

[…] Point of post: In this post we shall discuss the notion of the left and right regular representations on the group algebra […]

Pingback by Representation Theory: Left Regular Representation « Abstract Nonsense | January 23, 2011 |

[…] be a finite group and the group algebra. Then, if is a pre-Hilbert space and a -representation we call -invariant (or invariant […]

Pingback by Representation Theory: Schur’s Lemma (*-representation Form) « Abstract Nonsense | January 27, 2011 |

[…] and we’re discussing we simply write . From this we then have defined elements of the group algebra . Namely, if we denote to be the entry of then the mapping is a mapping and thus an element of […]

Pingback by Representation Theory: Matrix Entry Functions « Abstract Nonsense | February 22, 2011 |

[…] be a finite group. Then, if is a member of the group algebra which satisfies for every then we call a class function. We denote the set of all class […]

Pingback by Representation Theory: Class Functions « Abstract Nonsense | February 24, 2011 |

[…] As a step toward this we prove in this post that the dimension of thought of as a subspace of the group algebra is the number of conjugacy classes of […]

Pingback by Representation Theory: Dimension of the Space of Class Functions « Abstract Nonsense | February 24, 2011 |

[…] be a finite group and . Consider then the quotient group and its associated group algebra . We define then […]

Pingback by Representation Theory: Relation Between the Kernels of Characters and Normal Subgroups « Abstract Nonsense | March 7, 2011 |

[…] is meant to recall that we’re taking the inner product considering an element of the group algebra and the inner product on the group algebra . Moreover, equality holds if and only if vanishes […]

Pingback by Representation Theory: The Index of the Center of a Character « Abstract Nonsense | March 9, 2011 |

[…] Recall that is real the center of the group algebra . But, recall that the center of an algebra is a subalgebra. In particular since is a subalgebra […]

Pingback by Representation Theory: A ‘Lemma’ (pt. II) « Abstract Nonsense | March 10, 2011 |

[…] past posts we obainted certain relations between the pairwise inner product (as elements of the group algebra) of matrix entry functions and irreudcible characters. We shall use these relations to compute the […]

Pingback by Representation Theory: Using Orthogonality Relations to Compute Convolutions of Characters and Matrix Entry Functions « Abstract Nonsense | March 29, 2011 |

[…] have seen that the matrix entry functions form an orthonormal basis for the group algebra. From this we got the important result that . It thus follows from basic linear algebra that as […]

Pingback by Representation Theory: Decomposing the Group Algebra Into the Direct Sum of Matrix Algebras « Abstract Nonsense | April 6, 2011 |

[…] saw in our last post that the group algebra is isomorphic to a direct sum of matrix algebras. We shall use this fact to derive an interesting […]

Pingback by Representation Theory: Consequence of the Decomposition of the Group Algebra Into Matrix Algebras « Abstract Nonsense | April 9, 2011 |

[…] example one could (and is often–almost always) define the group algebra to be . Then, the left regular representation can be thought of as where […]

Pingback by Free Vector Spaces « Abstract Nonsense | April 19, 2011 |

[…] basis for . Moreover, we know that since we have proven that is a subalgebra of the group algebra . So, explicitly we have a map given […]

Pingback by Induced Class Functions and the Space of Integral Class Functions (Pt. I) « Abstract Nonsense | April 27, 2011 |

[…] them in the sense of taking the free vector space (which of course we can identify with the group algebra by ) and is the sign function. We lastly define a third function given by (order matters, so […]

Pingback by Row and Column Stabilizer « Abstract Nonsense | May 20, 2011 |

[…] to a -representation, which can be thought of as extending an -module (where is the group algebra) to an […]

Pingback by Extension of Scalars and Change of Ring (Pt. I) « Abstract Nonsense | January 24, 2012 |