Theorem 2.4: The simple n pointed stars from a group under the operation {n/a}*{n/b} = {n/ab}.

proof: Let [k] denote the coset to which k belongs in Z_{n }*/{1, -1}. Then the map defined by [k] -> {n/k} is a group isomorphism.

Return to text