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.