关于群的一个应用

One Application about Rough Algebra

首先介绍了半群中几个重要的概念,接着介绍了本文中重要的定理5.1,从而得到Zm={[0],[1],…[m-1]}关于二元运算[a][b]=[ab]形成幺半群,进而Z+m形成(m-1)阶群,最后得到推论6.1,最终完成该定理的证明。

In this paper,we introduced some basic conceptions of semi-group and the important theorem5.1 firstly.And then,we proved that Zm={[0],[1],…[m-1]}is a monoid semi-group in the binary Operation =,consequently,Zm＋ is a group of（m-1） order.Finally,we obtained the inference 6.1,and finished this proof.