general linear group GL(n,R)

E593509

The general linear group GL(n,ℝ) is the Lie group consisting of all invertible n×n real matrices under matrix multiplication, fundamental in linear algebra and differential geometry.

All labels observed (7)

How this entity was disambiguated

Statements (48)

Predicate Object
instanceOf Lie group ⓘ
matrix group ⓘ
real algebraic group ⓘ
topological group ⓘ
actsFaithfullyOn ℝ^n ⓘ
actsOn ℝ^n by left multiplication ⓘ
actsTransitivelyOn set of ordered bases of ℝ^n ⓘ
containsSubgroup O(n) ⓘ
SL(n,ℝ) ⓘ
SO(n) ⓘ
definedOver ℝ ⓘ
hasConnectedComponentOfIdentity GL^+(n,ℝ) ⓘ
hasDeformationRetractionTo O(n) ⓘ
hasDeterminantMapTo ℝ\{0} ⓘ
hasDeterminantSignHomomorphismTo {−1,1} ⓘ
hasDimension n^2 ⓘ
hasIdentityElement I_n ⓘ
hasInverseOperation matrix inversion ⓘ
hasLieAlgebra gl(n,ℝ) ⓘ
hasMaximalCompactSubgroup O(n) ⓘ
hasNeutralElement I_n ⓘ
hasOperation matrix multiplication ⓘ
hasRealAnalyticStructure true ⓘ
hasTwoConnectedComponentsFor n ≥ 1 ⓘ
hasUnderlyingSet set of all invertible n×n real matrices ⓘ
isAbelianFor n = 1 ⓘ
isDenseIn M_n(ℝ) ⓘ
isDisconnected true ⓘ
isFundamentalIn differential geometry ⓘ
linear algebra ⓘ
isGroupUnder matrix multiplication ⓘ
isLinearLieGroup true ⓘ
isNonAbelianFor n ≥ 2 ⓘ
isNonCompact true ⓘ
isNonSimple true ⓘ
isOpenIn M_n(ℝ) with standard topology ⓘ
isOpenSubsetOf M_n(ℝ) ⓘ
isParacompactManifold true ⓘ
isRealPointsOf algebraic group GL_n over ℝ ⓘ
isReductiveGroup true ⓘ
isSmoothManifold true ⓘ
isStructureGroupOf frame bundle of an n-dimensional real manifold ⓘ
isSubsetOf M_n(ℝ) ⓘ
isZariskiOpenIn M_n(ℝ) ⓘ
kernelOfDeterminant SL(n,ℝ) ⓘ
LieAlgebraDescription all n×n real matrices ⓘ
LieAlgebraDimension n^2 ⓘ
quotientBySL(n,ℝ) ℝ\{0} via determinant ⓘ

How these facts were elicited

Referenced by (16)

Full triples — surface form annotated when it differs from this entity's canonical label.

Lie group → hasExample → general linear group GL(n,R) ⓘ
Schur–Weyl duality → relates → general linear group ⓘ
linked to: general linear group GL(n,R)
Representations of groups → usesConcept → general linear group ⓘ
linked to: general linear group GL(n,R)
orthogonal group O(n) → isMaximalCompactSubgroupOf → GL(n,R) ⓘ
linked to: general linear group GL(n,R)
affine group of R^n → contains → GL(n,R) ⓘ
linked to: general linear group GL(n,R)
affine group of R^n → isSemidirectProductOf → GL(n,R) ⓘ
linked to: general linear group GL(n,R)
affine group of R^n → embedsInto → GL(n+1,R) ⓘ
linked to: general linear group GL(n,R)
affine group of R^n → hasStabilizerOfPoint → GL(n,R) ⓘ
linked to: general linear group GL(n,R)
SO(n) → isSubsetOf → GL(n,ℝ) ⓘ
subject linked to: special orthogonal group SO(n)
linked to: general linear group GL(n,R)
SO(n) → isClosedSubgroupOf → GL(n,ℝ) ⓘ
subject linked to: special orthogonal group SO(n)
linked to: general linear group GL(n,R)
orthogonal group O(n+1,2) → isSubgroupOf → general linear group GL(n+3,ℝ) ⓘ
linked to: general linear group GL(n,R)
GL(n,ℝ) → isRealPointsOf → algebraic group GL_n over ℝ ⓘ
subject linked to: general linear group GL(n,R)
linked to: general linear group GL(n,R)
SL(n,ℝ) → isSubsetOf → GL(n,ℝ) ⓘ
subject linked to: special linear group SL(n,R)
linked to: general linear group GL(n,R)
SL(n,ℝ) → isSubgroupOf → GL(n,ℝ) ⓘ
subject linked to: special linear group SL(n,R)
linked to: general linear group GL(n,R)
SL(n,ℝ) → isNormalSubgroupOf → GL(n,ℝ) ⓘ
subject linked to: special linear group SL(n,R)
linked to: general linear group GL(n,R)
SL(n,ℝ) → isDeterminantOnePartOf → GL(n,ℝ) ⓘ
subject linked to: special linear group SL(n,R)
linked to: general linear group GL(n,R)