3
$\begingroup$

Possible Duplicate:
Is Lagrange's theorem the most basic result in finite group theory?

I can't seem to find a simple proof of this in my textbook, not can I figure out a good way to search for it online.

Basically, I'm trying to show that $\forall g \in G$, $g^{\#(G)}=1$.

Obviously I can show this from Lagrange's theorem, but this requires introducing cosets to prove.

I'm wondering if there's some way to prove this from basic manipulations, perhaps relying on the additional properties of cyclic subgroups. Or is there no shortcut through this proof besides using Lagrange's theorem?

Note: This is not homework, but I'm actually looking to explain some basic group theory to someone else.

$\endgroup$
7
  • 7
    $\begingroup$ I am reasonably certain someone has asked this exact question before (including the specification that Lagrange's theorem be avoided). As I recall, the discussion was inconclusive. I really, really do not see the point of avoiding Lagrange's theorem here. $\endgroup$
    – Qiaochu Yuan
    Jan 29, 2012 at 7:31
  • 2
    $\begingroup$ (There is a cute proof under the additional assumption that $G$ is abelian that you should try to think of if you aren't familiar with it, but I don't see any way to salvage it in general.) $\endgroup$
    – Qiaochu Yuan
    Jan 29, 2012 at 7:35
  • 3
    $\begingroup$ @Qiaochu: Do you have this post in mind? $\endgroup$
    – Srivatsan
    Jan 29, 2012 at 7:35
  • $\begingroup$ @Srivatsan: ah, yes, there it is. $\endgroup$
    – Qiaochu Yuan
    Jan 29, 2012 at 7:38
  • 2
    $\begingroup$ @QiaochuYuan: I tried to make it clear why I want to avoid Langrange's theorem: I'm trying to demonstrate something nontrivial that one can prove with just the abstraction of a group, without introducing further abstractions (like equivalency classes and cosets). In general I find that if you have to introduce several abstractions in a row without showing something interesting about them in their own right, the listener tends to be bored. $\endgroup$
    – Jeremy Salwen
    Jan 29, 2012 at 10:04

1 Answer 1

Reset to default
6
$\begingroup$

If all you want to do is

demonstrate something nontrivial that one can prove with just the abstraction of a group, without introducing further abstractions

then restrict to the abelian case and consider the following proof: if $g_1, ... g_n$ is a list of all the elements of the group, then so is $g g_1, g g_2, ... g g_n$. So $$g_1 ... g_n = (g g_1) ... (g g_n)$$

hence $$g_1 ... g_n = g^n (g_1 ... g_n)$$

hence $$g^n = 1.$$

Notice that the proof breaks down badly in the non-abelian case.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged .