	Notice that the identity element 1 of "G" induces a canonical embedding of the coefficient ring (in this case C) into C["G"]; however strictly speaking the multiplicative identity element of C["G"] is 1⋅1 where the first "1" comes from C and the second from "G". The additive identity element is zero.