Ideals in autometrized algebras
K. L. N. Swamy, N. Prabhakara Rao · Journal of the Australian Mathematical Society · 1977
Abstract A notion of a normal autometrized algebra is introduced which generalises the concepts of Boolean geometry. Brouwerian geometry, autometrized lattice ordered groups, semi-Brouwerian geometry, etc. The notions of ideals and congruence relations are introduced in normal autometrized algebras and a one to one correspondence between ideals and congruence relations is established. Some other common properties of the above geometries are also obtained for normal autometrized algebras.