This is very similar to a problem on the homework. I will post the solution to this problem (as well as the homework problem) on Friday. For now, I will only say that it is ok to give a good DESCRIPTION of why
as opposed to a very rigorous PROOF.
Apologies to those of you who have been waiting just for this problem - I forgot that it was on the homework when I said that I would post it.
Yes,
is associative, since when composing maps there is a unique choice of order. That is,
.
No,
is not commutative. Let
be the set
. Let
be the map defined by
,
and
. Let
be the map defined by
,
and
. Then
is the map with
,
and
. On the other hand,
is the map with
,
and
. These are not equal, so
is not commutative. There are many many other examples.
In a set
with binary operation
and identity
, an element
is said to have an inverse if there is an element
such that
.
The bijective maps have inverses.