General Linear Group GLn _ Problem from Artin's Chapter on Linear Groups

Can anyone help with the following problem from Artin - Algebra Ch9 on Linear Groups.

Is ( ) isomorphic to a subgroup of ( )?

How do I approach proving this one way or the other?

Peter

Re: General Linear Group GLn _ Problem from Artin's Chapter on Linear Groups

Quote:

Originally Posted by

**Bernhard** Can anyone help with the following problem from Artin - Algebra Ch9 on Linear Groups.

Is

(

) isomorphic to a subgroup of

(

)?

How do I approach proving this one way or the other?

Peter

Start with , and see where that takes you. Can you find a 2x2 real matrix which squares to -I, where I is the 2x2 real identity matrix.

One you have found this matrix, you want to "expand" by this matrix. Try and work out what I mean by "expand"...

Re: General Linear Group GLn _ Problem from Artin's Chapter on Linear Groups

Taking your advice, it looks like something like the following may work for n = 1

: (a + ib) :

should be OK for n = 1

But how to 'expand' ( )???

Can you help?

Peter

Re: General Linear Group GLn _ Problem from Artin's Chapter on Linear Groups

Quote:

Originally Posted by

**Bernhard** Taking your advice, it looks like something like the following may work for n = 1

: (a + ib)

:

should be OK for n = 1

But how to 'expand'

(

)???

Can you help?

Peter

Let A and B be nxn matrices. Then let ...

Re: General Linear Group GLn _ Problem from Artin's Chapter on Linear Groups

Will check this out!

Thanks so much for the help. Appreciate your assistance!

Will now try to go further with Artin's chapter on the Linear Groups!

Peter

Re: General Linear Group GLn _ Problem from Artin's Chapter on Linear Groups

Quote:

Originally Posted by

**Bernhard** Can anyone help with the following problem from Artin - Algebra Ch9 on Linear Groups.

Is

(

) isomorphic to a subgroup of

(

)?

How do I approach proving this one way or the other?

Peter

Perhaps a more conceptual way of looking at it, if that kind of thing makes you happy, is that if are isomorphic vector spaces then are isomorphic groups. Now, evidently so that as real vector spaces, and so .

Re: General Linear Group GLn _ Problem from Artin's Chapter on Linear Groups

Quote:

Originally Posted by

**Drexel28** Perhaps a more conceptual way of looking at it, if that kind of thing makes you happy, is that if

are isomorphic vector spaces then

are isomorphic groups. Now, evidently

so that

as real vector spaces, and so

.

do you mean GL:Vect-->Grp is a functor?

Re: General Linear Group GLn _ Problem from Artin's Chapter on Linear Groups

Quote:

Originally Posted by

**Deveno** do you mean GL:Vect-->Grp is a functor?

You bet I do.