The work is supported by NSFC(No.11471255,No.10971160,No.11101336,No.11226044);Scientific Research Program funded by Shaanxi Provincial Education Department(No.12JK0876);the Fund of Xi'an University of Architecture and Technology(No.RC1110,No.JC1219,No.QN1136)
Assume that B is the variety of bands, and the identities of V∈l(B) involve n variables (n≥ 2). In this paper, we show that V is Dn-1-testable and is not :Dn-2- testable.
The research was supported by the NSF (10871161, 11101336, 11371177, 11226044) of China, the Natural Science Foundation Project of CQ CSTC (2009BB2291), and the Talents Technology Fund of Xi'an University of Architecture and Technology (Grant No. RC1110).
The aim of this paper is to characterize the (*, ~)-good congruences on regular ortho-lc-monoids by making use of the compatible congruence systems on the semi-spined product components of regular ortho-lc-monoids.
supported by NSFC(No.10871161,No.10971160,No.11101336,No.11226044);Scientific Research Program funded by Shaanxi Provincial Education Department(No.12JK0876);the Fundof Xi'an University of Architecture and Technology(No.RC1110,No.JC1219,No.QN1316)