(G, *) is an abelian group. Then

A

$$x = x^{-1}$$, for any x belonging to G

B

$$x = x^2$$, for any x belonging to G

C

$$(x * y)^2 = x^2 * y^2$$, for any x, y belonging to G

D

G is of finite order