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.