群での可換

a,bが群Gの元で、ab=baが成り立つ時、a,bは可換である、という

群Gの任意の元a,bが可換なら、Gをアーベル群という

交換律が成り立つとも言う

圏論での可換

以下の可換図式のA\rightarrow Eの射について、gf=jihとなるが、こんなふうに2つ以上の経路が等しいこと

ある対象Aから対象Bへ複数の射があった場合、それらは等しいこともあるし、異なるもののこともある

等しい場合が可換図式

上図でのA\rightarrow B\rightarrow EとA\rightarrow C\rightarrow D\rightarrow Eは「等しい」