Torsion theory for lattice-ordered groups
Jorge Martínez · Czechoslovak Mathematical Journal · 1975
The terminology from the theory of lattice-ordered groups (henceforth /-groups) is standard (and mostly that of [4]).All our classes are assumed to contain along with a given /-group all its isomorphic copies.A Brouwer lattice L is one in which the set {x G L | x л a ^ b] has a unique largest element for all a,b EL.If L is complete this is equivalent to saying that a A (VA^A) = VA(^ ^ ^я) for all a, b^ e L(À e A); see [1].For subsets A and В of the set X (A cz B) A ^ В stands for (proper) contain ment.The complement of Б in Л is denoted A\B.