Linear groupIn mathematics, a matrix group is a group G consisting of invertible matrices over a specified field K, with the operation of matrix multiplication. A linear group is a group that is isomorphic to a matrix group (that is, admitting a faithful, finite-dimensional representation over K). Any finite group is linear, because it can be realized by permutation matrices using Cayley's theorem. Among infinite groups, linear groups form an interesting and tractable class.
Outer automorphism groupIn mathematics, the outer automorphism group of a group, G, is the quotient, Aut(G) / Inn(G), where Aut(G) is the automorphism group of G and Inn(G) is the subgroup consisting of inner automorphisms. The outer automorphism group is usually denoted Out(G). If Out(G) is trivial and G has a trivial center, then G is said to be complete. An automorphism of a group that is not inner is called an outer automorphism. The cosets of Inn(G) with respect to outer automorphisms are then the elements of Out(G); this is an instance of the fact that quotients of groups are not, in general, (isomorphic to) subgroups.
Special linear groupIn mathematics, the special linear group SL(n, F) of degree n over a field F is the set of n × n matrices with determinant 1, with the group operations of ordinary matrix multiplication and matrix inversion. This is the normal subgroup of the general linear group given by the kernel of the determinant where F× is the multiplicative group of F (that is, F excluding 0). These elements are "special" in that they form an algebraic subvariety of the general linear group – they satisfy a polynomial equation (since the determinant is polynomial in the entries).
Projective lineIn mathematics, a projective line is, roughly speaking, the extension of a usual line by a point called a point at infinity. The statement and the proof of many theorems of geometry are simplified by the resultant elimination of special cases; for example, two distinct projective lines in a projective plane meet in exactly one point (there is no "parallel" case). There are many equivalent ways to formally define a projective line; one of the most common is to define a projective line over a field K, commonly denoted P1(K), as the set of one-dimensional subspaces of a two-dimensional K-vector space.
Group extensionIn mathematics, a group extension is a general means of describing a group in terms of a particular normal subgroup and quotient group. If and are two groups, then is an extension of by if there is a short exact sequence If is an extension of by , then is a group, is a normal subgroup of and the quotient group is isomorphic to the group . Group extensions arise in the context of the extension problem, where the groups and are known and the properties of are to be determined.
Alternating groupIn mathematics, an alternating group is the group of even permutations of a finite set. The alternating group on a set of n elements is called the alternating group of degree n, or the alternating group on n letters and denoted by A_n or Alt(n). For n > 1, the group An is the commutator subgroup of the symmetric group Sn with index 2 and has therefore n!/2 elements. It is the kernel of the signature group homomorphism sgn : Sn → explained under symmetric group. The group An is abelian if and only if n ≤ 3 and simple if and only if n = 3 or n ≥ 5.
General linear groupIn mathematics, the general linear group of degree n is the set of n×n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, and the inverse of an invertible matrix is invertible, with identity matrix as the identity element of the group. The group is so named because the columns (and also the rows) of an invertible matrix are linearly independent, hence the vectors/points they define are in general linear position, and matrices in the general linear group take points in general linear position to points in general linear position.
Classical groupIn mathematics, the classical groups are defined as the special linear groups over the reals R, the complex numbers C and the quaternions H together with special automorphism groups of symmetric or skew-symmetric bilinear forms and Hermitian or skew-Hermitian sesquilinear forms defined on real, complex and quaternionic finite-dimensional vector spaces. Of these, the complex classical Lie groups are four infinite families of Lie groups that together with the exceptional groups exhaust the classification of simple Lie groups.
Cross-ratioIn geometry, the cross-ratio, also called the double ratio and anharmonic ratio, is a number associated with a list of four collinear points, particularly points on a projective line. Given four points A, B, C, D on a line, their cross ratio is defined as where an orientation of the line determines the sign of each distance and the distance is measured as projected into Euclidean space. (If one of the four points is the line's point at infinity, then the two distances involving that point are dropped from the formula.
Schur multiplierIn mathematical group theory, the Schur multiplier or Schur multiplicator is the second homology group of a group G. It was introduced by in his work on projective representations. The Schur multiplier of a finite group G is a finite abelian group whose exponent divides the order of G. If a Sylow p-subgroup of G is cyclic for some p, then the order of is not divisible by p. In particular, if all Sylow p-subgroups of G are cyclic, then is trivial.
