Group algebra (source code)

= Group algebra
{title2=$k[G]$}
{wiki}

The group algebra $k[G]$ is the <vector space> with basis $G$ and multiplication obtained by extending the group law $k$-bilinearly.