Über den Untergruppenverband der symmetrischen Gruppe, den Unterhalbgruppenver-band der symmetrischen Halbgruppe und den Unter-algebrenverband der Postchen Algebra.
We define an ultra -ideal of a lattice implication algebra and give equivalent conditions for an -ideal to be ultra. We show that every subset of a lattice implication algebra which has the finite additive property can be extended to an ultra -ideal.
A mistake concerning the ultra -ideal of a lattice implication algebra is pointed out, and some new sufficient and necessary conditions for an -ideal to be an ultra -ideal are given. Moreover, the notion of an -ideal is extended to -algebras, the notions of a (prime, ultra, obstinate, Boolean) -ideal and an -ideal of an -algebra are introduced, some important examples are given, and the following notions are proved to be equivalent in -algebra: (1) prime proper -ideal and Boolean -ideal,...