On ideals in Hilbert algebras
Abstract characterizations of relations of nonempty intersection, inclusion end equality of domains for partial -place functions are presented. Representations of Menger -semigroups by partial -place functions closed with respect to these relations are investigated.
We introduce a new concept of ideals in BCC-algebras and describe connections between such ideals and congruences.
Properties of -ary groups connected with the affine geometry are considered. Some conditions for an -ary -group to be derived from a binary group are given. Necessary and sufficient conditions for an -ary group -derived from an additive group of a field to be an -group are obtained. The existence of non-commutative -ary -groups which are not derived from any group of arity for every , is proved.
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,...
Page 1