Question: Suppose that * is an associative and commutative binary operation on a set S. Show that H = {a S| a* a = a}

Suppose that * is an associative and commutative binary operation on a set S. Show that H = {a ∈ S| a* a = a} is closed under *· (The elements of H are idempotents of the binary operation *·)

Step by Step Solution

3.60 Rating (164 Votes )

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock

Let a b H By definition of H we have a a a and b b b Usin... View full answer

blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related A First Course In Abstract Algebra Questions!