Register to reply 
Abstract Algebra: Groups and Subgroups 
Share this thread: 
#1
Feb2012, 02:55 PM

P: 16

The problem says: Suppose that * is an associative binary operation on a set S.
Let H= {a ε S l a * x = x * a for all x ε s}. Show that H is closed under *. ( We think of H as consisting of all elements of S that commute with every element in S) My teacher is horrible so I am pretty lost in the class. I am aware of what the associative property is, but I'm not sure how to go about solving this question when it comes to the binary operation. This is going to be on my exam so I need to know how to solve it. 


#2
Feb2012, 03:08 PM

P: 320

A binary operation is nothing but a twovariable function. It takes two elements of the set G and gives a new element. In other words, a binary operation is a function *: G[itex]\times[/itex]G → G and G is a set. Since * is a function on twovariables and its domain is a cartesian product of two sets, the elements in * are ordered pairs like (x,y), we define (x,y) := x*y. If x*y is in G, we say G is closed under the operation *.
Are those definitions clear? Now, your problem asks us to show that H is closed under *. To do that you should take two arbitrary elements of H, like h and h' and show that h*h' is also in H. You don't need to use associativity to solve this problem, the associativity is later needed when you want to show that H is a subgroup of G. 


#3
Feb2012, 03:27 PM

P: 16

That helps a lot! Thank you!



#4
Feb2112, 07:15 AM

Sci Advisor
P: 906

Abstract Algebra: Groups and Subgroups
yes, you DO. suppose we want to show that h*h' is in H whenever h,h' are. by definition, this means we want to show that: (h*h')*x = x*(h*h'), for all x in S. to actually DO this, we might proceed like this: (h*h')*x = h*(h'*x) <this is where we need associativity = h*(x*h') (by definition of H, since h' is in H) = (h*x)*h' <associativity used AGAIN = (x*h)*h' (since h is in H) = x*(h*h') <associativity used for a THIRD time. 


#5
Feb2212, 02:16 PM

P: 320




#6
Feb2212, 03:09 PM

P: 16

Thank you so much



Register to reply 
Related Discussions  
Abstract Algebra Groups  Calculus & Beyond Homework  4  
Abstract Algebra and cyclic subgroups  Calculus & Beyond Homework  1  
Abstract Algebra  Subgroups of index 2 in R*  Calculus & Beyond Homework  1  
Groups, Normalizer, Abstract Algebra, Dihedral Groups...help?  Calculus & Beyond Homework  12  
Abstract Algebra (Normal Subgroups)  Calculus & Beyond Homework  8 