Lemma 79.9.3. In Situation 79.9.2 the composition morphism c : R \times _{s, U, t} R \to R is flat and universally open. In Situation 79.9.1 the group law m : G \times _ k G \to G is flat and universally open.
Proof. The composition is isomorphic to the projection map \text{pr}_1 : R \times _{t, U, t} R \to R by Diagram (79.3.0.2). The projection is flat as a base change of the flat morphism t and open by Morphisms of Spaces, Lemma 67.6.6. The second assertion follows immediately from the first because m matches c in (79.9.2.1). \square
Comments (0)