Buď konečná grupa a
algebra funkcí na
s bodovým násobením, (počet prvků grupy). Je-li ,
pak je funkce na identicky rovna . Dále využijeme
toho, že vnoření
je isomorfismus (viz. (32); dimense obou prostorů je rovna
).
Je-li , pak jako prvek z
definujeme předpisem