有1模格的另一等价定义

Another Equivalent Definition for Modular Lattices with Unit Element

有限基代数方程式理论的思想就是要用最少方程来刻画某一代数特征.针对有1模格的格等式定义问题,提出了一个新的变量个数为7、等式长度为36的等价定义等式,并证明了该等式与原有1模格的定义等式等价.通过比较可以看出,新的等式比已有的结果在变量个数及等式长度上均有明显的改进.

The theory of algebra functions with finite bases is to describe some algebra with the least functions. For the problems of the definitions of modular lattices with unit element, another new equivalent definition with 7 variables and length of 36 is provided. At the same time, the equivalency of our definition to the original definitions of modular lattices with unit element is proved. Compared with the former definitions of modular lattices, the new definition is obviously improved about the number of variables and the length of difinitions.