Varieties of Commutative Residuated Integral Pomonoids and Their Residuation Subreducts

Willem J. Blok, James G. Raftery
1997 Journal of Algebra  
All rights of reproduction in any form reserved. J F Ž . Since : and J is an ideal of F, we also have 0r s J. Let s ⌰ . J Ž . We know that 0r s 0r s J, so we have s . Now x, y g so J J n . y . Thus, s l A , hence Ar g S Br , where Br g V V . J J J
doi:10.1006/jabr.1996.6834 fatcat:j7d3lqqifjbjvdtvt7tsyc5iuy