Skip to main content
1 of 3
Jay Taylor
  • 2.9k
  • 1
  • 22
  • 18

If $G$ is an adjoint algebraic group then it is always simple as an abstract group, (EDIT: This is because any proper normal subgroup of a simple algebraic group must be finite and lie in the centre). In general assume $G$ is connected reductive algebraic group and let $\pi : G \to G_{ad}$ be an adjoint quotient of $G$. Then $G$ is simple as an abstract group if the kernel of $\pi$ is trivial because $\pi$ is then an isomorphism of abstract groups. If $\pi$ does not have a trivial kernel then it is clear that $G$ is not simple as an abstract group.

For an example: in characteristic 2 the symplectic group $Sp_{2n}$ is simple as an abstract group as it is isomorphic (as an abstract group) to the corresponding adjoint group. However these two groups are not isomorphic as algebraic group (only isogenous).

Jay Taylor
  • 2.9k
  • 1
  • 22
  • 18