the first part of your question is straightforward and so is left for you. the answer to the second part is yes. the identity map is the unity element. the third part is interesting! the answer

is "not necessarily". for example is commutative because it's isomorphic to but is not commutative. here is why: define by and

for all then but so and hence is not commutative.