模糊群的若干性质

本文证明了下述结果：设μ是群Ｇ的模糊子群，那么１，若ν（ｘｙ＾－１）≥ｍａｘ（μ（ｘ），μ（ｙ），μ（ｘ）＝μ（ｙ）；２。若ｘμ＝ｙμ，则μ（ｘ）＝μ（ｙ）；３．μ是模糊正规子群当且仅当μｖ＝ｖμ。４本文指出［３］的命题２与定理６的证明都是错误的，但定理６的结论是正确的，本文给出一新的证明。