Statements (36)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:group_of_people
|
| gptkbp:actsOn |
K^n
|
| gptkbp:application |
gptkb:algebraic_geometry
number theory representation theory linear algebra |
| gptkbp:centralTo |
scalar matrices
|
| gptkbp:definedIn |
group of n x n invertible matrices over field K
|
| gptkbp:determinant |
GL(n, K) → K^*
SL(n, K) |
| gptkbp:dimensions |
n^2 if K is R or C
|
| gptkbp:fullName |
general linear group of degree n over field K
|
| gptkbp:hasConnection |
true if K is algebraically closed
|
| gptkbp:hasDeterminantMap |
true
|
| gptkbp:hasSubgroup |
GL(m, K) for m > n
SL(n, K) |
| gptkbp:identityElement |
identity matrix
matrix inverse |
| gptkbp:isAlgebraicGroup |
true
|
| gptkbp:isDiscrete |
true if K is finite field
|
| gptkbp:isMatrixGroup |
true
true if K = R or C |
| gptkbp:isNonAbelian |
true for n > 1
|
| gptkbp:isQuotientOf |
projective general linear group PGL(n, K)
|
| gptkbp:isReductive |
true
|
| gptkbp:isSimple |
false
|
| gptkbp:isTopologicalGroup |
true if K is topological field
|
| gptkbp:notation |
gptkb:GL(n,_K)
gptkb:GL_n(K) |
| gptkbp:operator |
matrix multiplication
|
| gptkbp:order |
finite if K is finite
product_{i=0}^{n-1} (|K|^n - |K|^i) if K is finite |
| gptkbp:relatedTo |
automorphism group of K^n
|
| gptkbp:bfsParent |
gptkb:Groupe_linéaire_général
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
GL(n, K)
|