设S是集,称映射f:S×S→S为S的一个代数运算.定义了一个代数运算的非空集合,通常称为群胚.S的运算通常称为乘法,对任意x,y∈S,将f((x,y))记作xy;有时也将f((x,y))记作x+y,这时称这个运算为加法.习惯上,只有当f((x,y))=f((y,x))(x,y∈S)时,才用符号x+y记f((x,y)).设S是集,称映射f:S×S→S为S的一个代数运算.定义了一个代数运算的非空集合,通常称为群胚.S的运算通常称为乘法,对任意x,y∈S,将f((x,y))记作xy;有时也将f((x,y))记作x+y,这时称这个运算为加法.习惯上,只有当f((x,y))=f((y,x))(x,y∈S)时,才用符号x+y记f((x,y)).