Since
is a group,
•
has an identity element
such that
for all
• there is an inverse
for every
such that
• for any
, we have the associative property
a) Given that
, we have
Since
, which means
, we get that
Then
as required.
b) What do you mean by "rank of an element in a group"? That doesn't sound like a standard concept as far as I know.