# Thread: group theory

1. ## group theory

If G is a finite set closed under an associative operation such that ax=ay forces x=y and ua=wa forces u=w, for every a,x,y,u,w in G, prove that G is a group.

2. Originally Posted by mpryal

If G is a finite set closed under an associative operation such that ax=ay forces x=y and ua=wa forces u=w, for every a,x,y,u,w in G, prove that G is a group.
this is a good question! let $G=\{x_1, \cdots , x_n \}.$ then $G=\{x_1x_i: \ 1 \leq i \leq n \}$ by the left cancellation property and so $x_1x_{i_0}=x_1,$ for some $1 \leq i_0 \leq n.$ let $x_{i_0}x_1=x_j.$ then by associativity we

have: $x_1^2=x_1x_{i_0}x_1=x_1x_j,$ and thus by the left cancellation property $x_1=x_j$ and hence $x_{i_0}x_1=x_1.$ the claim is that $x_{i_0}=1_G.$ by the right cancellation property: $G=\{x_ix_1: \ 1 \leq i \leq n \}.$

thus for any $x_j$ there exists $x_k$ such that $x_j=x_kx_1.$ thus: $x_jx_{i_0}=x_k(x_1x_{i_0})=x_kx_1=x_j.$ now let $x_{i_0}x_j=x_r.$ then $x_j^2=x_jx_{i_0}x_j=x_jx_r,$ and so by the left cancellation property: $x_r=x_j.$

thus $x_{i_0}x_j=x_j.$ this proves that $x_{i_0}=1_G.$ so the only thing left is to show that every element of G has an inverse. let $x_s \in G.$ then $G=\{x_sx_i: \ 1 \leq i \leq n \}.$ thus there exists $x_t \in G$ such

that $x_sx_t=1.$ so every element of G has a right inverse. particularly $x_tx_u = 1,$ for some $x_u \in G.$ but then $x_u=x_sx_tx_u=x_s.$ hence $x_tx_s=1$ and the proof is complete.