Skip to content

Commit

Permalink
Fix typo + small changes
Browse files Browse the repository at this point in the history
  • Loading branch information
aisejohan committed Nov 16, 2020
1 parent 39d6135 commit b92bf57
Showing 1 changed file with 7 additions and 3 deletions.
10 changes: 7 additions & 3 deletions groupoids.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1978,23 +1978,27 @@ \section{Actions of group schemes}
In situation (1) this means that the diagrams
\begin{equation}
\label{equation-action}
\vcenter{
\xymatrix{
G \times_S G \times_S X \ar[r]_-{1_G \times a} \ar[d]_{m \times 1_X} &
G \times_S X \ar[d]^a \\
G \times_S X \ar[r]^a & X
}
\quad
}
\quad\quad
\vcenter{
\xymatrix{
G \times_S X \ar[r]_-a & X \\
X\ar[u]^{e \times 1_X} \ar[ru]_{1_X}
}
}
\end{equation}
are commutative. In situation (2) this just means that the diagram
$$
\xymatrix{
G \times_S X \ar[r]_-{\text{id} \times f} \ar[d]_a &
G \times_S X \ar[r]_-{\text{id} \times \psi} \ar[d]_a &
G \times_S Y \ar[d]^a \\
X \ar[r]^f & Y
X \ar[r]^\psi & Y
}
$$
commutes.
Expand Down

0 comments on commit b92bf57

Please sign in to comment.