アーベル群
if the two indices are finite. If "G" is a cyclic group with generator γ acting on an Abelian group "A", then we recover the previous definition by taking "f" = 1 - γ and "g" = 1 + γ + γ2 + ... .