I haven't done groups in ages, but as far as I recall we used to useeas to symbolise the identity, which for multiplication would be 1, which would make sense for your a^0 = 1.

For the second question o(a) is theorderof a...

And o(a) = smallest m such that a^m = e.

Don't know the answer to your question, but hope that helps...