Keyword: functor-of-points

Definition Functor of Points of a Group Scheme 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 R-Points of a Group Scheme Form a Group admitted