orthogonal idempotents of the group ring
Let be a finite abelian group, let be any field containing the -th roots of unity, and let denote the character group of with values in . For any character
, we define , the corresponding orthogonal idempotent of the group ring
, by
The following equalities hold:
- •
for all
- •
for any
- •
- •
These orthogonal idempotents are used to decompose modules over : If is such a module, then .