Suppose * is an associative and commutative binary operation of a set S. Show that H = { a is an element of S | a*a=a} is closed under the operation *.
Let be an associative commutative binary operation on a set . Let us show that is closed under operation Let . Then and . It follows from commutativity and associativity of that
Therefore, , and is closed under operation
Comments
Leave a comment