Let $*$ be a binary operation defined on a non empty, finite set $G$ such that it follows associative, commutative and cancellation law.Show that $G$ under the operation $*$ is abelian.
Now for $G$ to be abelian, it is missing identity and inverse existence. But above statement doesn't seem to contribute anything for proving above. Also there is the bit about the group $G$ being finite, the importance of which I fail to recognize.
An operation $*$ on non empty, finite set $G$ follows associative, commutative and cancellation law, prove G is abelian under $*$
-
0Do you mean you want to prove $G$ is an abelian *group*? Proving it is abelian doesn't make much sense on its own. – 2012-09-10
-
0Yup, an abelian group. – 2012-09-10
2 Answers
A start: Let $a$ be any element of our set.
Consider the sequence that goes $a$, $a\ast a$, $a\ast(a\ast a)$, and so on like that forever. Let's switch to more standard juxtaposition notation for the product, and exponential notation. So we are looking at the sequence $a,a^2,a^3,\cdots$.
Because our set $G$ is finite, there are positive integers $i$ and $j$, with $i\lt j$, such that $a^i=a^j$. In fact, if $G$ has $n$ elements, there will be such $i$, $j$ with $j\le n+1$.
Thus for any $x$, $a^i x=a^j x$. By cancellation we have $a^{j-i}x=x$. We have established the existence of an identity element. It remains to show the existence of inverses.
-
0Are you assuming $*$ to be multiplicative function? – 2012-09-10
-
0@AbhishekAnand: I changed things a bit, starting with you $\ast$ and then switching to more common notation. If you want to be absolutely precise, define $a^n$ by induction, $a^1=a$, $a^{n+1}=a\ast a^n$. – 2012-09-10
-
0I got your approach, thanks. – 2012-09-10
-
0I am a little confused: this approach certainly proves that $G$ is a group, but what about the abelian part of the question? Surely there are finite non-abelian groups? – 2012-09-10
-
0@JohnSenior: The question specified that the operation $\ast$ is commutative. – 2012-09-10
-
0OK - I misread, sorry, I thought he was trying to prove it was abelian. – 2012-09-10
inverse existence
is $a \in G$ we know there is $0