## groups...cancellation laws..

Math help in Abstract Algebra: magmas, monoids, semigroups, groups (Lagrange Theorem, Sylow Theorems, etc ...), rings, fields, modules, isomorphism theorems, algebras, group representations, Lie Algebras, irreducible elements, prime elements, invertible elements, units; Field Theory: separable extensions, normal extensions, Galois extensions, Fundamental Theorem of Galois Theory, minimal polynomials, cyclotomic extensions, group of automorphisms, solvability of equations, solvable groups, splitting fields, algebraic closures, norms and traces on My Math Forum.
Math problems in Group Theory Field Theory Rings and Modules Polynomials

### groups...cancellation laws..

sup[pose a finite set G is closed under ans associative product and that both cancellation laws hold in G...prove that G must be a group...thnx in advance
prashantgolu
Newcomer

Posts: 2
Joined: Mon Aug 02, 2010 11:39 am

### Re: groups...cancellation laws..

What have you tried? Where are you stuck? This is a very good question, it would be a shame to have the entire proof given away.

As a starting point, what rules of a group still need to proven?
Turgul
King of Diamonds

Posts: 192
Joined: Mon Aug 02, 2010 12:13 pm

### Re: groups...cancellation laws..

we need to look for the existence of identity element and then to proove that inverse exists...
prashantgolu
Newcomer

Posts: 2
Joined: Mon Aug 02, 2010 11:39 am

### Re: groups...cancellation laws..

Alright, so we need an identity and we need inverses. First thing is first, we need to know that there is an identity before we go looking for inverses. In the end, we are looking for an element $e \in G$ which has no effect when I multiply it by any element, either on the left or on the right. But perhaps it is easier to take things step by step. For a given element $x \in G$, can we find a left identity? a right identity?

If you would like, a hint: what can we say about the function $f_x:G \rightarrow G$ defined by $f_x(g) = xg$ ?
Turgul
King of Diamonds

Posts: 192
Joined: Mon Aug 02, 2010 12:13 pm