Group Scheme Defn

definition