gptkbp:instanceOf
|
gptkb:group_of_people
gptkb:Lie_group
|
gptkbp:actsOn
|
R^9
|
gptkbp:automorphismGroup
|
9-dimensional real vector space
|
gptkbp:centralTo
|
scalar multiples of the identity matrix
|
gptkbp:component
|
gptkb:Z/2Z
|
gptkbp:containsElement
|
invertible 9x9 real matrices
|
gptkbp:determinant
|
nonzero real number
|
gptkbp:dimensions
|
81
|
gptkbp:field
|
real numbers
|
gptkbp:fullName
|
General Linear Group of degree 9 over the real numbers
|
gptkbp:hasConnection
|
false
|
gptkbp:hasSubgroup
|
gptkb:SO(9)
O(9)
GL(n, R) for n > 9
SL(9, R)
diagonal matrices with nonzero entries
|
gptkbp:homomorphismTo
|
R^* via determinant
|
https://www.w3.org/2000/01/rdf-schema#label
|
GL(9, R)
|
gptkbp:identityElement
|
9x9 identity matrix
|
gptkbp:isQuotientOf
|
PGL(9, R)
|
gptkbp:Lie_algebra
|
gl(9, R)
|
gptkbp:notation
|
gptkb:GL(9,_R)
|
gptkbp:numberOfConnectedComponents
|
2
|
gptkbp:operator
|
matrix multiplication
|
gptkbp:order
|
infinite
|
gptkbp:relatedTo
|
gptkb:general_linear_group
orthogonal group
projective linear group
|
gptkbp:topology
|
real Lie group topology
|
gptkbp:bfsParent
|
gptkb:SO(9)
|
gptkbp:bfsLayer
|
7
|