Fuzzy ideals extensions of ordered semigroups.
The purpose of this paper is to introduce the notions of ∈, ∈ ∨qk-fuzzy ideals of a fuzzy ordered semigroup with the ordering being a fuzzy relation. Several characterizations of ∈, ∈ ∨qk-fuzzy left (resp. right) ideals and ∈, ∈ ∨qk-fuzzy interior ideals are derived. The lattice structures of all ∈, ∈ ∨qk-fuzzy (interior) ideals on such fuzzy ordered semigroup are studied and some methods are given to construct an ∈, ∈ ∨qk-fuzzy (interior) ideals from an arbitrary fuzzy subset. Finally, the characterizations...
We deal with unbounded dually residuated lattices that generalize pseudo -algebras in such a way that every principal order-ideal is a pseudo -algebra. We describe the connections of these generalized pseudo -algebras to generalized pseudo effect algebras, which allows us to represent every generalized pseudo -algebra by means of the positive cone of a suitable -group . We prove that the lattice of all (normal) ideals of and the lattice of all (normal) convex -subgroups of are isomorphic....
The paper contains characterizations of generators and cyclic projective generators in the category of ordered right acts over an ordered monoid.
In this paper, we introduce the concept of an ideal of a noncommutative dually residuated lattice ordered monoid and we show that congruence relations and certain ideals are in a one-to-one correspondence.
The tropical semifield, i.e., the real numbers enhanced by the operations of addition and maximum, serves as a base of tropical mathematics. Addition is an abelian group operation, whereas the maximum defines an idempotent semigroup structure. We address the question of the geometry of idempotent semigroups, in particular, tropical algebraic sets carrying the structure of a commutative idempotent semigroup. We show that commutative idempotent semigroups are contractible, that systems of tropical...
Characterizations of IF-filters of a pseudo-BL-algebra are established. Some related properties are investigated. The notation of prime IF- filters and a characterization of a pseudo-BL-chain are given. Homomorphisms of IF-filters and direct product of IF-filters are studied.