assuming that the ring "r" has a unit element 1, and denoting the group unit by 1, the ring "r"["g"] contains a subring isomorphic to "r", and its group of invertible elements contains a subgroup isomorphic to "g". for considering the indicator function of {1}, which is the vector "f" defined by