Register to reply

Isomorphism with GLn(R)

by copper-head
Tags: glnr, isomorphism
Share this thread:
Dec2-07, 08:35 AM
P: 7
My book offers this statement with no proof, i have been searching in other books with no luck !
I'm beginning to question whether or not the statement is valid at all !
Here it goes:
"Every group G of order n is isomorphic to a subgroup of GLn(R)"
Could someone please help me out with this?
I'd greatly appreciate it.
Phys.Org News Partner Science news on
Fungus deadly to AIDS patients found to grow on trees
Canola genome sequence reveals evolutionary 'love triangle'
Scientists uncover clues to role of magnetism in iron-based superconductors
Dec2-07, 10:53 AM
Sci Advisor
HW Helper
P: 2,020
Try showing that S_n, the symmetric group on n letters, is isomorphic to a subgroup of GL_n(R). By Cayley's theorem, this will be enough. And like the proof of Cayley's theorem, try to use group actions to prove the assertion.
Dec2-07, 12:04 PM
P: 7
Alright, that was a brilliant way of approaching it!
Thank you for clearing my path a bit!
However I'm afraid that i am not familiar at all with group actions! As for the Cayley theorem proof, i built the isomorphism between two groups using F(x) = ax where a is an element of my random group g and then took it from here.
Could anyone explain the concept of group actions a bit more?How does it relate to my question?

Dec3-07, 03:07 PM
Sci Advisor
HW Helper
P: 2,020
Isomorphism with GLn(R)

Group actions are nifty. I highly recommend you look into them.

For example, here's how one can prove Cayley's theorem using them. Suppose you have a finite group G of n elements. Let G act on itself by left translation, i.e. g(h) -> gh. This induces a homomorphism from G into S_n, whose kernel is {g in G : h=g(h)=gh for all h in G} = {e}, and thus G =~ G/{e} <= S_n. [Note that the homomorphism induced by the action is precisely the F you defined!]

Now here's how we could approach your problem. Let G be a group of n elements, now considered as a subgroup of S_n. Let {v_1, ..., v_n} be a fixed basis for R^n. Each element of G acts on this basis by permuting the indices. But there is also a corresponding matrix in GLn(R) that "does the same thing", namely the one whose rows are the basis vectors permuted accordingly. This gives us something we can use to get an imbedding of S_n into GLn(R).

Here's some reading:
Chris Hillman
Dec3-07, 04:36 PM
Sci Advisor
P: 2,340
Ditto morphism. For a really nice introduction try Neumann, Stoy, and Thompson, Groups and Geometry, Oxford University Press, 1994.
Dec3-07, 04:56 PM
P: 7
That is totally awesome.
They actually had a copy of the book at the library!
The problem now became very easy.

Register to reply

Related Discussions
Given an algebraic alpha be of degree n over F, show at most . . . Linear & Abstract Algebra 2
Isomorphism between finite sets Calculus & Beyond Homework 15
Is there a isomorphism between N and Q? Calculus & Beyond Homework 4
Graph theory and simple circuit help Calculus & Beyond Homework 6
Prove that Q under addition is not isomorphic to R+ Linear & Abstract Algebra 8