Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 133871

Algebraic varieties with group operations given by morphisms, or group objects in the category of algebraic varieties, the category of algebraic schemes, or closely related categories.

0 votes
1 answer
232 views

Definition of group scheme [closed]

Consider the definition of group scheme in Stack Project [022R]. In the paragraph following definition 39.4.1, it is said that We have morphisms of schemes over $S$: (identity) $e:S\rightarrow G$ and …
XT Chen's user avatar
  • 1,168
0 votes
Accepted

Definition of group scheme

You need to use the condition that $m$ is a morphism of scheme. By that we can deduce $G(\cdot)$ is a functor.
XT Chen's user avatar
  • 1,168