ニールス・アーベル
群の圏にいくつかの制限を設けてもう少し小さいものを考えることができる。特によく理解されている群のクラスはアーベル群（ニールス・アーベルに由来）あるいは可換群と呼ばれるものである。群 "G" が可換であるというのは