Consider the multiplicative group of the finite field `ZZ_2 (alpha)`, where `alpha` is a root of the irreducible polynomial `x^3 + x^2 + 1` over `ZZ_2`. This group has order 7.
Which of the following statements is true:
A) The group has exactely two generators, `alpha` and `alpha^2`, and all the other non-identity elements form cyclic subgroups of order less than 7.
B) Every non-identity element of the group is a generator, and the group has no non-trivial proper subgroups. ?