\( \newcommand\D{\mathrm{d}} \newcommand\E{\mathrm{e}} \newcommand\I{\mathrm{i}} \newcommand\bigOh{\mathcal{O}} \newcommand{\cat}[1]{\mathbf{#1}} \newcommand\curl{\vec{\nabla}\times} \newcommand{\CC}{\mathbb{C}} \newcommand{\NN}{\mathbb{N}} \newcommand{\QQ}{\mathbb{Q}} \newcommand{\RR}{\mathbb{R}} \newcommand{\ZZ}{\mathbb{Z}} \)
UP | HOME

Algebraic Groups

Table of Contents

1. Overview

T.A. Springer's Linear Algebraic Groups seems like a suitably rigorous text to formalize, perhaps consulting Geck's An Introduction to Algebraic Geometry and Algebraic Groups for additional results.

1.1. Existing Relevant Definitions

  • topzari1 formalizes the Zariski Topology

Last Updated 2022-04-14 Thu 11:05.