Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Possible Duplicate:
Proving that every element of a monoid occurs exactly once

let (B,*) defines a monoid with a finite number of elements Let the elements of B be x1,x2,x3,x4 where every element of B occurs exactly once in this list.....let y be the invertible element of the monoid.. prove that every element of the monoid occurs exactly once in this list y*x1,y*x2...y*xn.

I have started by saying let x be an invertible element of B and let x^-1 be its inverse.This inverse element x^-1 is uniquely determined by x according to a theorem which states that every element of a monoid can have at most one inverse. To prove that every element of the monoid occurs once,I have to show that no two elements have the same inverse. let e be the identity element of B w * x1 = e w * x2 = e

I have to show that x1 and x2 are uniquely determined by x.

Knowing that an element of a monoid can have at most one inverse, i would assume that
w * x1 = x1 * w=e

w * x2= x2 * w=e

then x1= x1 * e = x1 * (w * x2)= (x1 * w )* x2= e * x2 = x2

thus x1=x2 which proves that an element of a monoid can have at most one inverse.I am not sure if this shows that every element in the list occurs exactly once

share|improve this question

marked as duplicate by Nameless, tomasz, Zhen Lin, Amr, Chris Eagle Dec 29 '12 at 14:56

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

    
You should get acquainted with the LaTeX guideline. Also, use more line breaks and punctuation. –  tomasz Dec 28 '12 at 13:32
add comment

1 Answer 1

Assume that $yx_i=yx_j$ for some distinct $i,j\in \{1,2,3,4\}$. Now multiply by $y^{-1}$ to get $x_i=x_j$ (contradiction)

share|improve this answer
    
I have edited my post.Would you consider it a good proof –  Jack welch Dec 28 '12 at 13:39
add comment

Not the answer you're looking for? Browse other questions tagged or ask your own question.