Skip to main content
cleaned up typesetting
Source Link
Peter Arndt
  • 12.3k
  • 3
  • 58
  • 94

$GL_n$ is a representable functor, $GL_n(A)=Hom_{Ring}(\mathbb{Z}[x_{ij},y| 1 \leq i,j, \leq n]/(y(det(x_{ij}))-1),A)$$GL_n(A)=Hom_{Ring}(\mathbb{Z}[x_{ij},y| 1 \leq i,j \leq n]/(y \cdot det(x_{ij})-1),A)$, and thus commutes with limits.

$GL_n$ is a representable functor, $GL_n(A)=Hom_{Ring}(\mathbb{Z}[x_{ij},y| 1 \leq i,j, \leq n]/(y(det(x_{ij}))-1),A)$, and thus commutes with limits.

$GL_n$ is a representable functor, $GL_n(A)=Hom_{Ring}(\mathbb{Z}[x_{ij},y| 1 \leq i,j \leq n]/(y \cdot det(x_{ij})-1),A)$, and thus commutes with limits.

Source Link
Peter Arndt
  • 12.3k
  • 3
  • 58
  • 94

$GL_n$ is a representable functor, $GL_n(A)=Hom_{Ring}(\mathbb{Z}[x_{ij},y| 1 \leq i,j, \leq n]/(y(det(x_{ij}))-1),A)$, and thus commutes with limits.