 Group algebra

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