Register to reply

Simple proof involving groups

by JohnDuck
Tags: groups, involving, proof, simple
Share this thread:
Jun4-07, 05:01 AM
P: 74
1. The problem statement, all variables and given/known data
Let G be a set with an operation * such that:
1. G is closed under *.
2. * is associative.
3. There exists an element e in G such that e*x = x.
4. Given x in G, there exists a y in G such that y*x = e.

Prove that G is a group.

2. Relevant equations
I need to prove that x*e = x and x*y = e, with x, y, e as given above.

3. The attempt at a solution
I dunno, I'm stumped. I've tried finding some sort of clever identity without any success.
Phys.Org News Partner Science news on
Scientists develop 'electronic nose' for rapid detection of C. diff infection
Why plants in the office make us more productive
Tesla Motors dealing as states play factory poker
matt grime
Jun4-07, 06:07 AM
Sci Advisor
HW Helper
P: 9,396
I'm just playing around here to reduce the number of things we have to prove. We know x has a left inverse y. What is xyx? It is x(yx)=x, and it is (xy)x, thus if we could show that the e in 3 was unique, we'd have xy=e, and x would have a right inverse.

So we just have to show that fx=x implies f=e, to obtain the existence of right inverses.

Now, supposing that we have inverses on both sides, what can we say? Well, x*e=x(x^-1x)=(xx^-1)x=e*x, so we get a unique two sided identity.

Putting that together, all I need to show is that fx=x implies f=e. Is that any easier? (it is implied by the existence of right inverses, but that is circular logic, so careful how you try to prove it).
Jun4-07, 06:31 PM
P: 74
I'm still not making any progress. :(

Jun5-07, 10:59 AM
Sci Advisor
HW Helper
P: 2,537
Simple proof involving groups

Here's a start on one of them:
Let's say we have some [itex]i[/itex] (not necessarily [itex]e[/itex]) with
[tex]i \times x = x[/tex]
[tex]i \times i = i[/tex]
[tex]i^{-1} \times (i \times i) =i^{-1} \times i[/tex]

Register to reply

Related Discussions
Questions involving simple groups Calculus & Beyond Homework 9
Statistics question involving combinations and groups Calculus & Beyond Homework 3
Groups Theory Proof Linear & Abstract Algebra 5
Proof Using Def. of Groups and Def. of Subgroups Introductory Physics Homework 3
Proof Using Def. of Groups Introductory Physics Homework 4