Results 11 to 20 of about 74 (68)
Finite Lattices Generating Not Finitely–Based and Nonstandard Quasivarieties
Journal of MathematicsThere are two well-known and closely related problems in lattice theory: Which finite lattices generate finitely-based quasivarieties? and Which finite lattices generate standard quasivarieties?
M. A. Arapbay +2 more
doaj +2 more sources
Journal of Mathematics, Volume 2022, Issue 1, 2022., 2022 The main goal of this paper is to introduce and investigate the related theory on monadic effect algebras. First, we design the axiomatic system of existential quantifiers on effect algebras and then use it to give the definition of the universal quantifier and monadic effect algebras.
Yuxi Zou, Xiaolong Xin, Li Guo
wiley +1 more source
Discrimination in a General Algebraic Setting
The Scientific World Journal, Volume 2015, Issue 1, 2015., 2015 Discriminating groups were introduced by G. Baumslag, A. Myasnikov, and V. Remeslennikov as an outgrowth of their theory of algebraic geometry over groups. Algebraic geometry over groups became the main method of attack on the solution of the celebrated Tarski conjectures.
Benjamin Fine +4 more
wiley +1 more source
The Relatively Free Groups F(Nc∧A2) Satisfy Noncentral Commutative Transitivity
Algebra, Volume 2014, Issue 1, 2014., 2014 We prove that a free group, F(Nc∧A2), relative to the variety, Nc∧A2, of all groups simultaneously nilpotent of class at most c and metabelian is such that the centralizer of every noncentral element is abelian. We relate that result to the model theory of such groups as well as a quest to find a relative analog in Nc∧A2 of a classical theorem of ...
Anthony M. Gaglione +3 more
wiley +1 more source
Generalized Derivations of BCC‐Algebras
International Journal of Mathematics and Mathematical Sciences, Volume 2013, Issue 1, 2013., 2013 The notion of generalized derivations of BCC‐algebras is introduced, and some related properties are investigated. Also, we consider regular generalized derivations and the D‐invariant on ideals of BCC‐algebras. We also characterized KerD by generalized derivations.
S. M. Bawazeer +3 more
wiley +1 more source
On Cubic KU‐Ideals of KU‐Algebras
International Scholarly Research Notices, Volume 2013, Issue 1, 2013., 2013 We introduce the notion of cubic KU‐ideals of KU‐algebras and several results are presented in this regard. The image, preimage, and cartesian product of cubic KU‐ideals of KU‐algebras are defined.
Naveed Yaqoob +4 more
wiley +1 more source
A notion of functional completeness for first‐order structure
International Journal of Mathematics and Mathematical Sciences, Volume 2005, Issue 14, Page 2207-2215, 2005., 2005 Using ☆‐congruences and implications, Weaver (1993) introduced the concepts of prevariety and quasivariety of first‐order structures as generalizations of the corresponding concepts for algebras. The notion of functional completeness on algebras has been defined and characterized by Burris and Sankappanavar (1981), Kaarli and Pixley (2001), Pixley ...
Etienne R. Alomo Temgoua, Marcel Tonga
wiley +1 more source
Commutator theory for relatively modular quasivarieties [PDF]
Transactions of the American Mathematical Society, 1992 The authors develop a commutator theory for relatively modular quasivarieties that extends the theory for modular varieties. For a relatively modular quasivariety \(\Lambda\) and any algebra \(A\in \Lambda\) let \(\text{Con }A\) be the lattice of all congruence relations of \(A\) and \(\text{Con}_ \Lambda A\) be the lattice consisting of all \(\theta ...
Kearnes, Keith, McKenzie, Ralph
openaire +2 more sources
Quasivarieties of pseudocomplemented semilattices [PDF]
Fundamenta Mathematicae, 1995 A pseudocomplemented semilattice is an algebra \((S; \wedge, *, 0, 1)\) comprising a \((0,1)\)-semilattice \((S; \wedge, 0, 1)\) with a unary operation \(*\) (pseudocomplementation) such that \(s\wedge t=0\) iff \(t\leq s^*\) for all \(s,t\in S\). It is known that the variety of all pseudocomplemented semilattices is generated by the 3-element chain \(\
Adams, M. E. +3 more
openaire +2 more sources
Journal of Algebra, 1996 The author describes a class of sketches, ``separated limit sketches'', such that quasivarieties of finitary algebras are precisely the categories sketchable by separated finite-limit sketches. This result has an extension with ``finitary'' replaced by a cardinal parameter.
openaire +2 more sources