Re: Covering map of Lie groups

From: Timothy Murphy (tim_at_birdsnest.maths.tcd.ie)
Date: 03/02/05


Date: Wed, 02 Mar 2005 20:50:56 +0000

Robin Chapman wrote:

>> Does GL(n,C) have normal subgroups of finite order,
>> apart from {I} and {I,-I} ?
>
> Yes, of course, those generated by zI where z is any root
> of unity.

As was pointed out, my remark was slightly inaccurate,
in fact completely wrong!

What I meant to say is that a matrix of finite order d
is necessarily semisimple, ie diagonalisable (over C),
since it satisfies the separable equation x^d - 1 = 0.
It's easy to see from that if the subgroup is normal,
its elements must all be of the form aI.

Incidentally, the homomorphism

 T |-> (det T)^e T: GL(n,C) -> GL(n,C)

has quite a nice kernel, for appropriate e.
[Apologies if this has been pointed out.]

-- 
Timothy Murphy  
e-mail (<80k only): tim /at/ birdsnest.maths.tcd.ie
tel: +353-86-2336090, +353-1-2842366
s-mail: School of Mathematics, Trinity College, Dublin 2, Ireland


Relevant Pages

  • Re: Treating Magnitude as Fundamental
    ... I'm not comfortable with all of your notation but it looks ... 'reals' within the construction. ... I would not get overly concerned about the roots of unity argument. ... s|->(n^th root of unity), but this is not an isomorphism. ...
    (sci.math)
  • Re: Treating Magnitude as Fundamental
    ... 'reals' within the construction. ... I would not get overly concerned about the roots of unity argument. ... s|->(n^th root of unity), but this is not an isomorphism. ...
    (sci.math)
  • Re: Galois theory: how to fix this proof? Does it need fixing?
    ... Please excuse the slow reply! ... E contains a primitive $p$th root of unity: ... If we knew that G^* had a normal subgroup of index p, ...
    (sci.math)
  • Re: Loss of Sound
    ... My point was, that I take every effort to represent command line properly, ... remark is in context of command line, but user prompt in SUSE Linux is the ... To overcome this one can use copy of prompt like ... as root" to denote need for root login. ...
    (alt.os.linux.suse)
  • Re: Ring problem, integral elements
    ... the ring of complex numbers) that is, ... > If we find a monic polynomial for x - y with coefficients in ... > Obviously y/x is a fifth root of unity over the ...
    (sci.math)