Keyword: linear-algebraic-groups

Definition Additive Group Scheme 𝔾_a admitted

Topic Affine Algebraic Groups admitted

Theorem Affine Finite-Type Groups Have Faithful Finite-Dimensional Representations admitted

Theorem Affine G-Varieties Embed Equivariantly in Representations admitted

Definition Affine Group Scheme over a Base admitted

Theorem Algebra Homomorphisms Form a Group Under Convolution admitted

Definition Algebraic Group Actions, Orbits, and Stabilizers admitted

Definition Algebraic Group over a Base admitted

Theorem Algebraic Groups Are Closed Subgroups of GL_n admitted

Theorem Antipode of a Commutative Hopf Algebra Is Multiplicative admitted

Theorem Antipode of a Hopf Algebra Is Anti-Multiplicative admitted

Topic Automorphism Groups admitted

Topic Base Change admitted

Theorem Base Change Preserves Algebraic Group Structure admitted

Topic Basic Examples admitted

Definition Comodule over a Coalgebra admitted

Theorem Composition with the Antipode Is an Algebra Hom for Commutative Hopf Algebras admitted

Topic Conjugacy Classes admitted

Topic Connected Components admitted

Theorem Connected Subgroups Generate a Closed Connected Subgroup admitted

Definition Convolution of Algebra Homomorphisms admitted

Theorem Convolution of Algebra Homomorphisms Is an Algebra Homomorphism admitted

Definition Coordinate Hopf Algebra of an Affine Group Scheme admitted

Topic Coordinate Rings and Hopf Algebras admitted

Definition Definition of Linear Algebraic Groups needs_definition_review

Theorem Embedding Theorem for Algebraic Groups admitted

Theorem Essential Image of Spec Is Affine Group Schemes admitted

Definition Faithful Linear Representation admitted

Lemma Finite-Dimensional Subspace in a Sub-Comodule admitted

Definition Functor of Points of a Group Scheme admitted

Theorem G-Representations Are A-Comodules admitted

Definition General Linear Group Scheme GL_n admitted

Theorem Group Object Structure on Spec A via Yoneda admitted

Theorem Hom Into Spec via Global Sections (Spec ⊣ Γ Adjunction) admitted

Theorem Identity Component Is Closed Normal of Finite Index admitted

Theorem Image of an Algebraic Group Homomorphism Is Closed admitted

Theorem Jordan Decomposition in a Linear Algebraic Group admitted

Topic Kernels, Images, and Quotients admitted

Definition Lie Algebra of an Algebraic Group admitted

Topic Linear Algebraic Groups admitted

Topic Morphisms and Closed Subgroups admitted

Lemma Multiplication of a Commutative Bialgebra Is a Coalgebra Hom admitted

Definition Multiplicative Group Scheme 𝔾_m admitted

Theorem Orbits of Algebraic Group Actions Are Locally Closed admitted

Theorem Points of GL_n Are Invertible n×n Matrices over R admitted

Theorem Points of 𝔾_a Are the Additive Group of R admitted

Theorem Points of 𝔾_m Are the Units of R admitted

Theorem Quotient by a Closed Subgroup Exists admitted

Theorem R-Points of a Group Scheme Form a Group admitted

Topic Rational Forms of Linear Algebraic Groups admitted

Example Regular Representation as a Comodule admitted

Definition Roots of Unity Group Scheme μ_n admitted

Topic Smoothness, Tangent Spaces, and Lie Algebras admitted

Definition Spec Functor on Hopf Algebras admitted

Theorem Spec Functor on Hopf Algebras Is Fully Faithful admitted

Definition Trivial Group Scheme over a Base admitted

Example Trivial Representation as a Comodule admitted

Theorem Unipotent Subgroups Are Triangularizable admitted