群、環、体の定義と性質