S_3的一个特征性质 (1991年)

S_3是阶最小的非交换群,人们对它已有各式各样的刻划,这篇短文也给出S_3的一种刻划:定理任何非交换群G同构于S_3,当且仅当G具有性质:若任意a,b∈G,当a≠b,ab=ba时,则有a=1,或b=1,或ab=1.