Question
Consider the subset
S = {`0 , alpha , alpha^2 , 1 + alpha + alpha^2`} of `ZZ_2(alpha)`,
and look at the sum of `alpha + alpha^2`.
Is S a subgroup of `ZZ_2(alpha)`
?