# Talk:Matrix group

WikiProject Mathematics (Rated Start-class, Mid-importance)
This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of Mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.
Mathematics rating:
 Start Class
 Mid Importance
Field: Algebra

## Goals

I have listed below some ambitious goals for this page but don't have the mathematical foundation to realize them. Any help would be greatly appreciated.

First it seems that some of the definitions of the classical groups only consider the case where the field is R or C. I've left some comments on the talk pages for these groups so hopefully someone there will generalize the definitions.

Second it would be nice to provide short definitions for each of the types of classical groups listed on the page.

Third I believe the list can be increased to include "combinations" of these groups, such as the special orthogonal group and projective special orthogonal group. Unfortunately I'm not even sure which definitions make sense -- for instance I believe the symplectic group has a trivial center so it wouldn't make sense to talk about the projective symplectic group, but I'm not really sure about this. In short if someone could verify which of these group definitions are meaningful it would be very helpful.

Classical Groups

It would be nice to give short definitions of these groups and specify when they are simple (IE for which n and F)

• GL(n,F) - group is well covered in general linear group
• U(n,F) - definition of unitary group only uses C (left request on talk page)
• Sp(n,F) - definition of symplectic matrix appears general enough to cover arbitrary fields
• O(n,F) - The orthogonal group page gives a definition over arbitrary fields. Could use some examples over finite fields.

Special Linear Groups

When are these groups simple? When is the center nontrivial?

• SL(n,F) - group is well covered in general linear group
• SU(n,F) - definition of special unitary group only uses C (left request on talk page)
• SSp(n,F) - Sp is already a subgroup of SL so SSp = Sp
• SO(n,F) - The orthogonal group page gives a definition over arbitrary fields. Could use some examples over finite fields.

Projective Groups

When are these groups simple?

Projective Special Linear Groups

When are these groups simple?

—Preceding unsigned comment added by TooMuchMath (talkcontribs) 2006-04-21T17:30:42Z

Why should PGL be a matrix group? By, definition, it is not, since its elements are not matrices. I don't think it's even a linear group in general... --Roentgenium111 (talk) 18:25, 27 January 2012 (UTC)

## question

what's meant by rare in " $GO_{n}(R)$ (rare) "? thanks. Mct mht 05:53, 22 April 2006 (UTC)

"uncommon". I deleted it since it seems to be confusing. R.e.b. 14:29, 22 April 2006 (UTC)

## Representation theory of finite groups

Nice to see a new section on finite groups as matricies, I instantly though of Representation theory of finite groups which seems to be related. Should this be worked into the article? --Salix alba (talk) 20:25, 26 April 2006 (UTC)

Good idea. I just added a section on representation theory and character theory which refers the reader to the relevant sections. TooMuchMath 02:47, 27 April 2006 (UTC)

## Italic group names?

In this article, and in those to which it links, it would be nice to be uniform in our notation. Which do we prefer?:

1. GLn(R)
2. GLn(R)
3. $GL_n(R)$
4. something completely different

I think it looks pretty good as it is. The full italics causes the term to stand out from the rest of the text. TooMuchMath 20:04, 27 April 2006 (UTC)