Abstract: We generalize the concept of a fuzzy distributive lattice by introducing the concepts of a fuzzy join-distributive pair and a fuzzy join-semidistributive pair in a fuzzy lattice. A relationship among a fuzzy join-distributive pair, a fuzzy join-semidistributive pair and a fuzzy join-modular pair is proved. It is shown that for a pair of fuzzy atoms, the notions of a fuzzy join-distributive pair and a fuzzy join-semidistributive pair coincide. PubDate: Tue, 05 Apr 2022 00:00:00 GMT
Abstract: In this work, a soft set (F, A) was introduced over a quasigroup (Q,) and the study of finite soft quasigroup was carried out, motivated by the study of algebraic structures of soft sets. By introducing the order of a finite soft quasigroup, various inequality relationships that exist between the order of a finite quasigroup, the order of its soft quasigroup and the cardinality of its set of parameters were established. By introducing the arithmetic mean 𝒜ℱ(F, A) and geometric mean 𝒢ℱ(F, A) of a finite soft quasigroup (F, A), a sort of Lagrange’s Formula (F, A) = A 𝒜ℱ(F, A) for finite soft quasigroup was gotten. Some of the inequalities gotten gave an upper bound for the order of a finite soft quasigroup in terms of the order of its quasigroup and cardinality of its set of parameters, and a lower bound for the order of the quasigroup in terms of the arithmetic mean of the finite soft quasigroup. A chain of inequalities called the Maclaurin’s inequality for any finite soft quasigroup (F, A)(Q,·) was shown to exist. A necessary and sufficient condition for a type of finite soft quasigroup to be extensible to a finite super soft quasigroup was established. This result is of practical use whenever a larger set of parameters is required. The results therein were illustrated with examples. Application to uniformity, equality and equity in distribution for social living is considered. PubDate: Tue, 05 Apr 2022 00:00:00 GMT
Abstract: The structure space of a semigroup endowed with hull kernel topology is introduced and studied. Also the structure space of a Г -semigroup is defined and a homeomorphism has been established between structure space of a Г -semigroup and the structure space of its left operator semigroup. Moreover, various properties of structure space of a Г -semigroup are studied via its left operator semigroup. PubDate: Tue, 05 Apr 2022 00:00:00 GMT
Abstract: In this paper, we transfer Davey‘s characterization for κ -Stone bounded distributive lattices to lattices with certain kinds of quotients, in particular to commutator lattices with certain properties, and obtain related results on prime, radical, complemented and compact elements, annihilators and congruences of these lattices. We then apply these results to certain congruence lattices, in particular to those of semiprime members of semi-degenerate congruence-modular varieties, and use this particular case to transfer Davey‘s Theorem to commutative unitary rings. PubDate: Tue, 05 Apr 2022 00:00:00 GMT
Abstract: In this paper, the notions of n-fold positive implicative prefilter and n-fold implicative prefilter in EQ-algebras are introduced and several properties, characterizations and equivalent conditions are provided. It is proved that the quotient EQ-algebra induced by an n-fold positive implicative prefilter is n-idempotent. Also, it is proved that in an n-idempotent EQ-algebra, any filter is an n-fold positive implicative filter. In the sequel, we investigate the relationships between these two types of prefilters. Finally, some characterizations of n-fold implicative prefilters in bounded EQ-algebras are given. PubDate: Tue, 05 Apr 2022 00:00:00 GMT
Abstract: The notions of an interior GE-filter, a weak interior GE-filter and a belligerent interior GE-filter are introduced, and their relations and properties are investigated. Example of a GE-filter which is neither an interior GE-filter nor a weak interior GE-filter is provided. Relations between a weak interior GE-filter and an interior GE-filter are discussed, and conditions under which every weak interior GE-filter is an interior GE-filter are investigated. Relations between a belligerent interior GE-filter and an interior GE-filter are displayed, and conditions for an interior GE-filter to be a belligerent interior GE-filter are considered. Given a subset and an element, an interior GE-filter is established, and conditions for a subset to be a belligerent interior GE-filter are discussed. The extensibility of the beligerant interior GE-filter is debated. Relationships between weak interior GE-filter and belligerent interior GE-filter of type 1, type 2 and type 3 are founded. PubDate: Tue, 05 Apr 2022 00:00:00 GMT
Abstract: In this paper, the notion of generalized centroid is applied to hyperrings. We show that the generalized centroid C of a semiprime hyperring R is a regular hyperring. Also, we show that if C is a hyperfield, then R is a prime hyperring. PubDate: Tue, 05 Apr 2022 00:00:00 GMT
Abstract: The notion of prime ideals is introduced in transitive BE-algebras. Prime ideals are characterized with the help of principal ideals. Prime ideal theorem is stated and derived for BE-algebras. The concept of minimal prime ideals is introduced in transitive BE-algebras. A decomposition theorem of proper ideals into minimal prime ideals is derived. PubDate: Tue, 05 Apr 2022 00:00:00 GMT
Abstract: In this paper, we introduce the notion of a (strong) hyper RL-ideal in hyper residuated lattices and give some properties and characterizations of them. Next, we characterize the (strong) hyper RL-ideals generated by a subset and give some characterizations of the lattice of these hyper RL-ideals. Particularly, we prove that this lattice is algebraic and compact elements are finitely generated hyper RL-ideals, and obtain some isomorphism theorems. Finally, we introduce the notion of nodal hyper RL-ideals in a hyper residuated lattice and investigate their properties. We prove that the set of nodal hyper RL-ideals is a complete Brouwerian lattice and under suitable operations is a Heyting algebra. PubDate: Tue, 05 Apr 2022 00:00:00 GMT
Abstract: The concept of disjunctive ideals is introduced in an Almost Distributive Lattice (ADL). It is proved that the set of all disjunctive ideals of an ADL forms a complete lattice. A necessary and sufficient condition is derived for an inverse homomorphic image of a disjunctive ideal of an ADL to be again a disjunctive ideal. Later, the concept of strongly disjunctive ideals is introduced in an ADL and their properties are studied. Some equivalent conditions are established for the set of all strongly disjunctive ideals to convert into a sublattice of the ideal lattice. PubDate: Tue, 05 Apr 2022 00:00:00 GMT
Abstract: In this paper, the notions of commutator and derivation in additively regular -semirings with (A2, Г)-condition are introduced. We also characterize Jordan product for additively regular Г -semiring and establish some results which investigate the relationship between commutators, derivations and inner derivations. In 1957, E.C. Posner has shown that if there exists a non-zero centralizing derivation in a prime ring R, then R is commutative. This result is extended in the frame work of derivations of prime additively regular Г -semirings. PubDate: Tue, 05 Apr 2022 00:00:00 GMT
Abstract: In this paper we investigate the following result. Let R be a prime ring, Q its symmetric Martindale quotient ring, C its extended centroid, I a nonzero ideal of R. If F and G are the two generalized derivation of R such that (F(xy) + G(yx))n − (xy ∓ yx)n = 0, for all x, y ∈ I, then either R is commutative or F (x) = x, G(x) = ∓x for all x ∈ R and n = 1. PubDate: Mon, 06 Sep 2021 00:00:00 GMT
Abstract: A classical result of R.P. Dilworth states that every finite distributive lattice D can be represented as the congruence lattice of a finite lattice L. A sharper form was published in G. Grätzer and E.T. Schmidt in 1962, adding the requirement that all congruences in L be principal. Another variant, published in 1998 by the authors and E.T. Schmidt, constructs a planar semimodular lattice L. In this paper, we merge these two results: we construct L as a planar semimodular lattice in which all congruences are principal. This paper relies on the techniques developed by the authors and E.T. Schmidt in the 1998 paper. PubDate: Mon, 06 Sep 2021 00:00:00 GMT
Abstract: The order prime divisor graph 𝒫𝒟(G) of a finite group G is a simple graph whose vertex set is G and two vertices a, b ∈ G are adjacent if and only if either ab = e or o(ab) is some prime number, where e is the identity element of the group G and o(x) denotes the order of an element x ∈ G. In this paper, we establish the necessary and sufficient condition for the completeness of order prime divisor graph 𝒫𝒟(G) of a group G. Concentrating on the graph 𝒫𝒟(Dn), we investigate several properties like degrees, girth, regularity, Eulerianity, Hamiltonicity, planarity etc. We characterize some graph theoretic properties of 𝒫𝒟 (ℤn), 𝒫𝒟 (Sn), 𝒫𝒟 (An). PubDate: Mon, 06 Sep 2021 00:00:00 GMT
Abstract: A new algebraic structure was introduced, called an eGE-algebra, which is a generalisation of a GE-algebra and investigated its properties. We explore the definition of filters and the quotient algebra associated with such filters. PubDate: Mon, 06 Sep 2021 00:00:00 GMT
Abstract: Let 𝔽q[ɛ] := 𝔽q [X]/(X4 − X3) be a finite quotient ring where ɛ4 = ɛ3, with 𝔽q is a finite field of order q such that q is a power of a prime number p greater than or equal to 5. In this work, we will study the elliptic curve over 𝔽q[ɛ], ɛ4 = ɛ3 of characteristic p ≠ 2, 3 given by homogeneous Weierstrass equation of the form Y 2Z = X3 + aXZ2 + bZ3 where a and b are parameters taken in 𝔽q[ɛ]. Firstly, we study the arithmetic operation of this ring. In addition, we define the elliptic curve Ea,b(𝔽q[ɛ]) and we will show that Eπ0(a),π0(b)(𝔽q) and Eπ1(a),π1(b)(𝔽q) are two elliptic curves over the finite field 𝔽q, such that π0 is a canonical projection and π1 is a sum projection of coordinate of element in 𝔽q[ɛ]. Precisely, we give a classification of elements in elliptic curve over the finite ring 𝔽q[ɛ]. PubDate: Mon, 06 Sep 2021 00:00:00 GMT
Abstract: Introduced the notions of annulets and 𝒩 -filters in stone Almost Distributive Lattices and investigated their properties. Utilized annulets to characterize the 𝒩 -filters. Derived that every proper 𝒩 -filter is the intersection of all 𝒩 -prime filters containing it and also proved that the set ℱ𝒩 (L) of all 𝒩 -filters is isomorphic to the class ConE(L) of all G-extentions of L. Given some topological properties of the space of all 𝒩 -prime filters. Derived a necessary and sufficient condition for the space of all 𝒩 -prime filters to be a Hausdorff space. PubDate: Mon, 06 Sep 2021 00:00:00 GMT
Abstract: A generalized hypersubstitution of type τ = (n) is a function which takes the n-ary operation symbol f to the term of the same type σ(f ) which does not necessarily preserve the arity. Let HypG(n) be the set of all these generalized hypersubstitutions of type (n). The set HypG(n) with a binary operation and the identity generalized hypersubstitution forms a monoid. The objective of this paper is to study Green’s relations on the set of all regular elements of HypG(n). PubDate: Mon, 06 Sep 2021 00:00:00 GMT
Abstract: The main purpose of this paper is to generalize the concept of linear terms. A linear term is a term in which every variable occurs at most once. K. Denecke defined partial operations on linear terms and partial clones. Moreover, their properties are also studied. In the present paper, a generalized notion of the partial clone of linear terms, which is called k-terms clone, is presented and we also study its properties. We provide a characterization of the k-terms clone being free with respect to itself. Moreover, we attempt to define mappings analogue to the concept of hypersubstitutions. PubDate: Mon, 06 Sep 2021 00:00:00 GMT
Abstract: The concept of a (strong) set-valued BCK/BCI-morphism in BCK/BCI-algebras is considered, and several properties are investigated. Conditions for a set-valued mapping to be a set-valued BCK/BCI-morphism are given. Using the concept of generalized approximation space, generalized rough subalgebra (ideal) in BCK/BCI-algebras are introduced, and investigate their properties. Using the concept of generalized approximation space and ideal of BCK/bCI-algebra, another type of generalized lower and upper approximations based on the ideal is considered, and then several properties are investigated. PubDate: Mon, 06 Sep 2021 00:00:00 GMT