Register to reply

Abstract Algebra: Groups and Subgroups

by taylor81792
Tags: abstract, algebra, groups, subgroups
Share this thread:
taylor81792
#1
Feb20-12, 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.
Phys.Org News Partner Science news on Phys.org
FIXD tells car drivers via smartphone what is wrong
Team pioneers strategy for creating new materials
Team defines new biodiversity metric
AdrianZ
#2
Feb20-12, 03:08 PM
P: 320
A binary operation is nothing but a two-variable 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 two-variables 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.
taylor81792
#3
Feb20-12, 03:27 PM
P: 16
That helps a lot! Thank you!

Deveno
#4
Feb21-12, 07:15 AM
Sci Advisor
P: 906
Abstract Algebra: Groups and Subgroups

Quote Quote by AdrianZ View Post
A binary operation is nothing but a two-variable 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 two-variables 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.
(emphasis mine)

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.
AdrianZ
#5
Feb22-12, 02:16 PM
P: 320
Quote Quote by Deveno View Post
(emphasis mine)

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.
indeed. you're right, I didn't do all the steps because the problem looked so straight and simple but you're right.
taylor81792
#6
Feb22-12, 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