Projective group

From Encyclopedia of Mathematics
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

2020 Mathematics Subject Classification: Primary: 20-XX [MSN][ZBL]

in $n$ variables over a skew-field $K$

The group $\def\PGL{ {\rm PGL}}\PGL_n(K)$ of transformations of the $(n-1)$-dimensional projective space $P^{n-1}(K)$ induced by the linear transformations of $K^n$. There is a natural epimorphism $$P: {\rm GL}_n(K)\to \PGL_n(K),$$ with as kernel the group of homotheties (cf. Homothety) of $K^n$, which is isomorphic to the multiplicative group $Z^*$ of the centre $Z$ of $K$. The elements of $\PGL_n(K)$, called projective transformations, are the collineations (cf. Collineation) of $P^{n-1}(K)$. Along with $\PGL_n(K)$, which is also called the full projective group, one also considers the unimodular projective group $\def\PSL{ {\rm PSL}}\PSL_n(K)$, and, in general, groups of the form $P(G) \subset \PGL_n(K)$, where $G \subset {\rm GL}_n(K)$ is a linear group.

For $n\ge 2$ the group $\PSL_n(K)$ is simple, except for the two cases $n=2$ and $|K|=2$ or 3. If $K$ is the finite field of $q$ elements, then

$$|\PSL_n(K)| = (q-1,n)^{-1} q^{n(n-1)/2} (q^n-1)(q^{n-1}-1)\cdots (q^2-1).$$

For a brief resumé on the orders of the other finite classical groups, like ${\rm PSp}_n$, and their simplicity cf. e.g. [Ca].


[Ca] R.W. Carter, "Simple groups of Lie type", Wiley (Interscience) (1972) pp. Chapt. 1 MR0407163 Zbl 0248.20015
[Di] J.A. Dieudonné, "La géométrie des groupes classiques", Springer (1955) MR0072144 Zbl 0067.26104
How to Cite This Entry:
Projective group. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by E.B. Vinberg (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article