Let be the group ring of a group over a ring .
Let be an element of . The support of , often written , is the set of elements of which occur with non-zero coefficient in the expansion of .
Thus: