A Problem on Affine Algebraic Groups and Hopf Algebra Structures
Problem: (Definition) An affine algebraic group $G$ is an affine algebraic variety (in $\mathbb {A}^n_k$, for a given $n\in \mathbb {N}$) with group structure, such that the multiplication and the inversion, from $G$ to $G$, are algebraic variety morphisms.
i) Show that the symplectic group $Sp(2,k)$, given by $x\in Gl(2,k)$ such that $x^t\cdot \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} \cdot x=\begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix}$, is an affine algebraic group.
ii) Show that the ring of regular functions (or coordinate ring) $A:=k[G]$, seen here as a $k$-algebra and with $G$ being an affine algebraic group, satisfies the following: there exists $\mu: A\otimes A\rightarrow A, i:A\rightarrow A$ and $e$: such that the attached diagrams are commutative. In other words, show that $k[G]$ is a Hopf algebra with identity.
i) Show that the symplectic group $Sp(2,k)$, given by $x\in Gl(2,k)$ such that $x^t\cdot \begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix} \cdot x=\begin{pmatrix} 0 & 1 \\ -1 & 0 \end{pmatrix}$, is an affine algebraic group.
ii) Show that the ring of regular functions (or coordinate ring) $A:=k[G]$, seen here as a $k$-algebra and with $G$ being an affine algebraic group, satisfies the following: there exists $\mu: A\otimes A\rightarrow A, i:A\rightarrow A$ and $e$: such that the attached diagrams are commutative. In other words, show that $k[G]$ is a Hopf algebra with identity.

93
Answer
Answers can only be viewed under the following conditions:
- The questioner was satisfied with and accepted the answer, or
- The answer was evaluated as being 100% correct by the judge.
1 Attachment

133
The answer is accepted.
Join Matchmaticians Affiliate Marketing
Program to earn up to a 50% commission on every question that your affiliated users ask or answer.
- answered
- 968 views
- $30.00
Related Questions
- Hamming metric isometries
- Need Help with Piecewise Function and Graphing it
- Artin-Wedderburn isomorphism of $\mathbb{C}[S_3]$
- Confused on this graph question, not sure how to reduce it to linear and It looks too wonky to draw a best fit line, probably won't take long
- Find the coordinates of the point $(1,1,1)$ in Spherical coordinates
- Tensor Product
- Algebra 1 Word Problem #3
- Find the null space of the matrix $\begin{pmatrix} 1 & 2 & -1 \\ 3 & -3 & 1 \end{pmatrix}$