当前期刊: Algebra universalis Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
我的关注
我的收藏
您暂时未登录!
登录
  • Closed sets of finitary functions between finite fields of coprime order
    Algebra Univers. (IF 0.404) Pub Date : 2020-09-27
    Stefano Fioravanti

    We investigate the finitary functions from a finite field \(\mathbb {F}_q\) to the finite field \(\mathbb {F}_p\), where p and q are powers of different primes. An \((\mathbb {F}_p,\mathbb {F}_q)\)-linearly closed clonoid is a subset of these functions which is closed under composition from the right and from the left with linear mappings. We give a characterization of these subsets of functions through

    更新日期:2020-09-28
  • Some structural and residual properties of 2-semilattices
    Algebra Univers. (IF 0.404) Pub Date : 2020-09-13
    Ian Payne

    To each 2-semilattice, one can associate a digraph and a partial order. We analyze these two structures working toward two main goals: One goal is to give a structural dichotomy on minimal congruences of 2-semilattices. From this, we are able to deduce information about the tame-congruence-theoretic types that occur in 2-semilattices. In particular, we show that the type of a finite simple 2-semilattice

    更新日期:2020-09-13
  • Expanding Belnap: dualities for a new class of default bilattices
    Algebra Univers. (IF 0.404) Pub Date : 2020-09-09
    Andrew P. K. Craig, Brian A. Davey, Miroslav Haviar
    更新日期:2020-09-10
  • Lattices do not distribute over powerset
    Algebra Univers. (IF 0.404) Pub Date : 2020-09-04
    Julián Salamanca Téllez

    We show that there is no distributive law of the free lattice monad over the powerset monad. The proof presented here also works for other classes of lattices such as (bounded) distributive/modular lattices and also for some variants of the powerset monad such as the (nonempty) finite powerset monad.

    更新日期:2020-09-05
  • On saturated varieties of posemigroups
    Algebra Univers. (IF 0.404) Pub Date : 2020-08-29
    Shabir Ahmad Ahanger, Aftab Hussain Shah, Noor Mohammad Khan

    We show that a permutative variety of posemigroups satisfying a permutation identity \(x_1x_2\cdots x_n=x_{i_1}x_{i_2}\cdots x_{i_n}\) with \(i_1\ne 1~ \text{ and }~i_{n-1}\ne n-1 ~[i_n\ne n~\text{ and }~i_{2}\ne 2]\) is saturated if and only if it admits an identity I such that I is not a permutation identity and at least one side of I has no repeated variables. Then we show that the variety of po-rectangular

    更新日期:2020-08-29
  • A note on the Knaster–Tarski Fixpoint Theorem
    Algebra Univers. (IF 0.404) Pub Date : 2020-08-09
    Mengqiao Huang, Yuxi Fu

    This note shows that several statements about fixpoints in order theory are equivalent to Knaster–Tarski Fixpoint Theorem for complete lattices. All proofs have been done in Zermelo–Fraenkel set theory without the Axiom of Choice.

    更新日期:2020-08-10
  • Representing subalgebras as retracts of finite subdirect powers
    Algebra Univers. (IF 0.404) Pub Date : 2020-08-06
    Keith A. Kearnes, Alexander Rasstrigin

    We prove that if \({\mathbb {A}}\) is an algebra that is supernilpotent with respect to the 2-term higher commutator, and \({\mathbb {B}}\) is a subalgebra of \({\mathbb {A}}\), then \({\mathbb {B}}\) is representable as a retract of a finite subdirect power of \(\mathbb A\).

    更新日期:2020-08-06
  • Lattice universality of locally finite 2-groups
    Algebra Univers. (IF 0.404) Pub Date : 2020-07-20
    Vladimir B. Repnitskiǐ

    We prove that every algebraic lattice is isomorphic to a complete sublattice in the subgroup lattice of a suitable locally finite 2-group. In particular, every lattice is embeddable in the subgroup lattice of a locally finite 2-group.

    更新日期:2020-07-20
  • Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by $$\omega $$ ω
    Algebra Univers. (IF 0.404) Pub Date : 2020-07-20
    Christian Choffrut, Serge Grigorieff

    We consider the additive structure of ordinals augmented with right multiplication by \(\omega \). We prove that two terms in the algebra are semantically equal if and only if they take the same value on all elements of a set containing 0 and at least one ordinal of each finite degree. Among these (so-called) test sets the most natural one is that obtained by considering 0 along with all \(\omega \)-powers

    更新日期:2020-07-20
  • Filter and weak link topologies
    Algebra Univers. (IF 0.404) Pub Date : 2020-07-13
    Mohammad A. Ranjbar, Mahmood Pourgholamhossein

    In this paper we present the concept of weak link and weak link topology on lattice ordered groups and MV-algebras. We show that it is a locally solid group topology. In addition, we investigate the metrizability of a link topology.

    更新日期:2020-07-13
  • On geometric posets and partial matroids
    Algebra Univers. (IF 0.404) Pub Date : 2020-07-13
    Branimir Šešelja, Anna Slivková, Andreja Tepavčević

    The aim of this paper is to extend the notions of geometric lattices, semimodularity and matroids in the framework of finite posets and related systems of sets. We define a geometric poset as one which is atomistic and which satisfies particular conditions connecting elements to atoms. Next, by using a suitable partial closure operator and the corresponding partial closure system, we define a partial

    更新日期:2020-07-13
  • Generalizing Galvin and Jónsson’s classification to $$N_5$$ N 5
    Algebra Univers. (IF 0.404) Pub Date : 2020-07-13
    Brian T. Chan

    The problem of determining (up to lattice isomorphism) the lattices that are sublattices of free lattices is in general an extremely difficult and an unsolved problem. A notable result towards solving this problem was established by Galvin and Jónsson when they classified (up to lattice isomorphism) all of the distributive sublattices of free lattices in 1959. In this paper, we weaken the requirement

    更新日期:2020-07-13
  • Multiplayer rock–paper–scissors
    Algebra Univers. (IF 0.404) Pub Date : 2020-07-08
    Charlotte Aten

    We study a class of algebras we regard as generalized rock–paper–scissors games. We determine when such algebras can exist, show that these algebras generate the varieties generated by hypertournament algebras, count these algebras, study their automorphisms, and determine their congruence lattices. We produce a family of finite simple algebras.

    更新日期:2020-07-08
  • The spectrum problem for Abelian $$\ell $$ ℓ -groups and MV-algebras
    Algebra Univers. (IF 0.404) Pub Date : 2020-07-06
    Giacomo Lenzi, Antonio Di Nola

    This paper deals with the problem of characterizing those topological spaces which are homeomorphic to the prime spectra of MV-algebras or Abelian \(\ell \)-groups. As a first main result, we show that a topological space X is the prime spectrum of an MV-algebra if and only if X is spectral, and the lattice K(X) of compact open subsets of X is a closed epimorphic image of the lattice of “cylinder rational

    更新日期:2020-07-06
  • The category of G-posets
    Algebra Univers. (IF 0.404) Pub Date : 2020-06-30
    Frank Murphy-Hernandez

    For a group G and a poset X, we say that X is a G-poset if it is equipped with a G-action that is monotone. If we consider the mononote G-equivariant maps as morphisms, then we get the category of G-posets. We give a description of the projective objects, injective objects, quotients, and generators.

    更新日期:2020-06-30
  • Essential adjunction of a strong unit to an archimedean lattice-ordered group
    Algebra Univers. (IF 0.404) Pub Date : 2020-06-22
    Anthony W. Hager, Philip Scowcroft

    Within archimedean \(\ell \)-groups, “\(H \in W^{*}\)” means H contains a strong unit, and “\(G \in SW^{*}\) (respectively, \(ESW^{*}\))” means there are \(H \in W^{*}\) and an embedding (respectively, essential embedding) \(G \le H\). This paper continues earlier work in which we developed methods of attacking the question “\(G \in SW^{*}\)?” and gave many examples with answer “No” and “Yes”. Here

    更新日期:2020-06-23
  • On semiconic idempotent commutative residuated lattices
    Algebra Univers. (IF 0.404) Pub Date : 2020-06-19
    Wei Chen

    In this paper, we study semiconic idempotent commutative residuated lattices. An algebra of this kind is a semiconic generalized Sugihara monoid if it is generated by the lower bounds of the monoid identity. We establish a category equivalence between semiconic generalized Sugihara monoids and Brouwerian algebras with a strong nucleus. As an application, we show that central semiconic generalized Sugihara

    更新日期:2020-06-23
  • The structure of generalized BI-algebras and weakening relation algebras
    Algebra Univers. (IF 0.404) Pub Date : 2020-06-16
    Nikolaos Galatos, Peter Jipsen

    Generalized bunched implication algebras (GBI-algebras) are defined as residuated lattices with a Heyting implication, and are positioned between Boolean algebras with operators and lattices with operators. We characterize congruences on GBI-algebras by filters that are closed under Gumm–Ursini terms, and for involutive GBI-algebras these terms simplify to a dual version of the congruence term for

    更新日期:2020-06-16
  • Lifting, n -dimensional spectral resolutions, and n -dimensional observables
    Algebra Univers. (IF 0.404) Pub Date : 2020-06-07
    Anatolij Dvurečenskij, Dominik Lachman

    We show that under some natural conditions, we are able to lift an n-dimensional spectral resolution from one monotone \(\sigma \)-complete unital po-group into another one, when the first one is a \(\sigma \)-homomorphic image of the second one. We note that an n-dimensional spectral resolution is a mapping from \(\mathbb R^n\) into a quantum structure which is monotone, left-continuous with non-negative

    更新日期:2020-06-07
  • Semilattice sums of algebras and Mal’tsev products of varieties
    Algebra Univers. (IF 0.404) Pub Date : 2020-05-20
    C. Bergman, T. Penza, A. B. Romanowska

    The Mal’tsev product of two varieties of similar algebras is always a quasivariety. We consider the question of when this quasivariety is a variety. The main result asserts that if \(\mathcal {V}\) is a strongly irregular variety with no nullary operations and at least one non-unary operation, and \(\mathcal {S}\) is the variety, of the same type as \(\mathcal {V}\), equivalent to the variety of semilattices

    更新日期:2020-05-20
  • Perfect locales and localic real functions
    Algebra Univers. (IF 0.404) Pub Date : 2020-05-17
    Javier Gutiérrez García, Tomasz Kubiak, Jorge Picado

    The purpose of this paper is to identify the role of perfectness in the Michael insertion theorem for perfectly normal locales. We attain it by characterizing perfect locales in terms of strict insertion of two comparable lower semicontinuous and upper semicontinuous localic real functions. That characterization, when combined with the insertion theorem for normal locales, provides an improved formulation

    更新日期:2020-05-17
  • A non-finitely based involution semigroup of order five
    Algebra Univers. (IF 0.404) Pub Date : 2020-05-14
    Meng Gao, Wen Ting Zhang, Yan Feng Luo

    Since the 1970s, the smallest known non-finitely based involution semigroups are of order six. This paper exhibits the first example of a non-finitely based involution semigroup of order five.

    更新日期:2020-05-14
  • Rings in which idempotents generate maximal or minimal ideals
    Algebra Univers. (IF 0.404) Pub Date : 2020-05-08
    Themba Dube, Mojtaba Ghirati, Sajad Nazari, Ali Taherifar

    We characterize rings in which every left ideal generated by an idempotent different from 0 and 1 is either a maximal left ideal or a minimal left ideal. In the commutative case, we give a characterization in terms of topological properties of the maximal spectrum with the Zariski topology. We also consider a strictly weaker variant of this property, defined almost similarly, and characterize those

    更新日期:2020-05-08
  • On epimorphisms of ordered algebras
    Algebra Univers. (IF 0.404) Pub Date : 2020-05-05
    Nasir Sohail, Boža Tasić

    We prove that epimorphisms are surjective in certain categories of ordered \(\mathcal {F}\)-algebras. It then turns out that epimorphisms are also surjective in the category of all (unordered) algebras of type \(\mathcal {F}\).

    更新日期:2020-05-05
  • Structure theorems for idempotent residuated lattices
    Algebra Univers. (IF 0.404) Pub Date : 2020-05-04
    José Gil-Férez, Peter Jipsen, George Metcalfe

    In this paper we study structural properties of residuated lattices that are idempotent as monoids. We provide descriptions of the totally ordered members of this class and obtain counting theorems for the number of finite algebras in various subclasses. We also establish the finite embeddability property for certain varieties generated by classes of residuated lattices that are conservative in the

    更新日期:2020-05-04
  • The structure group of a non-degenerate effect algebra
    Algebra Univers. (IF 0.404) Pub Date : 2020-04-27
    Carsten Dietzel, Wolfgang Rump

    A (non-commutative) structure group G(E) is associated to an arbitrary effect algebra E, and a concept of non-degeneracy is introduced. If E is non-degenerate, G(E) has a right invariant partial order, E embeds as an interval into G(E), and the negative cone of G(E) is a self-similar partial L-algebra. In the degenerate case, the possible anomalies are explained. Lattice effect algebras, 2-divisible

    更新日期:2020-04-27
  • Identical inclusions of semilattices
    Algebra Univers. (IF 0.404) Pub Date : 2020-04-21
    G. Mashevitzky

    The class of identical inclusions was defined by Lyapin. We prove that any set of identical inclusions in the class of semilattices is equivalent to an elementary (the first order) formula. Elementary identical inclusions forms the class of universal formulas which is situated strictly between identities and universal positive formulas. We describe the infinite lattice of all classes of semilattices

    更新日期:2020-04-21
  • Finitary shadows of compact subgroups of $$S(\omega )$$S(ω)
    Algebra Univers. (IF 0.404) Pub Date : 2020-04-11
    B. Majcher-Iwanow

    Let LF be the lattice of all subgroups of the group \(SF(\omega )\) of all finitary permutations of the set of natural numbers. We consider subgroups of \(SF(\omega )\) of the form \(C\cap SF(\omega )\), where C is a compact subgroup of the group of all permutations. In particular, we study their distribution among elements of LF. We measure this using natural relations of orthogonality and almost

    更新日期:2020-04-11
  • Lattices and quantales of ideals of semigroups and their preservation under Morita contexts
    Algebra Univers. (IF 0.404) Pub Date : 2020-04-10
    Valdis Laan, László Márki, Ülo Reimaa

    We study properties of the lattice of unitary ideals of a semigroup. In particular, we show that it is a quantale. We prove that if two semigroups are connected by an acceptable Morita context then there is an isomorphism between the quantales of unitary ideals of these semigroups. Moreover, factorisable ideals corresponding to each other under this isomorphism are strongly Morita equivalent.

    更新日期:2020-04-10
  • Free and cofree S -quantales
    Algebra Univers. (IF 0.404) Pub Date : 2020-04-02
    Xin Zhang, Bin Zhao

    In this paper, we give an alternative representation of a free S-quantale over a poset. Furthermore, we give the concrete forms of free and cofree S-quantales over a sup-lattice. Finally, we give an example to present that a cofree S-quantale over a poset does not always exist.

    更新日期:2020-04-02
  • Two-element structures modulo primitive positive constructability
    Algebra Univers. (IF 0.404) Pub Date : 2020-03-31
    Manuel Bodirsky, Albert Vucaj

    Primitive positive constructions have been introduced in recent work of Barto, Opršal, and Pinsker to study the computational complexity of constraint satisfaction problems. Let \({\mathfrak {P}}_{\mathrm {fin}}\) be the poset which arises from ordering all finite relational structures by pp-constructability. This poset is infinite, but we do not know whether it is uncountable. In this article, we

    更新日期:2020-03-31
  • On the structure of C -algebras through atomicity and if-then-else
    Algebra Univers. (IF 0.404) Pub Date : 2020-03-31
    Gayatri Panicker, K. V. Krishna, Purandar Bhaduri

    This paper investigates the notions of atoms and atomicity in C-algebras and obtains a characterisation of atoms in the C-algebra of transformations. In this connection, various characterisations for the existence of suprema of subsets of C-algebras are obtained. Further, this work presents some necessary conditions and some sufficient conditions for the atomicity of C-algebras and shows that the class

    更新日期:2020-03-31
  • Varieties of semiassociative relation algebras and tense algebras
    Algebra Univers. (IF 0.404) Pub Date : 2020-03-31
    James M. Koussas, Tomasz Kowalski

    It is well known that the subvariety lattice of the variety of relation algebras has exactly three atoms. The (join-irreducible) covers of two of these atoms are known, but a complete classification of the (join-irreducible) covers of the remaining atom has not yet been found. These statements are also true of a related subvariety lattice, namely the subvariety lattice of the variety of semiassociative

    更新日期:2020-03-31
  • On difunctionality of class relations
    Algebra Univers. (IF 0.404) Pub Date : 2020-03-30
    Michael Hoefnagel, Zurab Janelidze, Diana Rodelo

    For a given variety \({\mathcal {V}}\) of algebras, we define a class relation to be a binary relation \(R\subseteq S^2\) which is of the form \(R=S^2\cap K\) for some congruence class K on \(A^2\), where A is an algebra in \( {\mathcal {V}}\) such that \(S\subseteq A\). In this paper we study the following property of \({\mathcal {V}}\): every reflexive class relation is an equivalence relation. In

    更新日期:2020-03-30
  • Connected monads weakly preserve products
    Algebra Univers. (IF 0.404) Pub Date : 2020-03-30
    H. Peter Gumm

    If F is a (not necessarily associative) monad on Set, then the natural transformation \(F(A\times B)\rightarrow F(A)\times F(B)\) is surjective if and only if \(F(\varvec{1})=\varvec{1}\). Specializing F to \(F_{\mathcal {V}}\), the free algebra functor for a variety \(\mathcal {V},\) this result generalizes and clarifies an observation by Dent, Kearnes and Szendrei in 2012.

    更新日期:2020-03-30
  • Locales whose coz-complemented cozero sublocales have open closures
    Algebra Univers. (IF 0.404) Pub Date : 2020-03-29
    Oghenetega Ighedo, Martin M. Mugochi

    A cozero sublocale C of a completely regular locale L will here be called coz-complemented if there is a cozero sublocale D of L such that \(C\cap D\) is the void sublocale and \(C\vee D\) is dense in L. Following terminology in spaces, we say L is a cloz-locale if every coz-complemented sublocale of L has an open closure. We characterize cloz-locales in terms of certain embeddings, and also in terms

    更新日期:2020-03-29
  • Joins and Maltsev products of congruence permutable varieties
    Algebra Univers. (IF 0.404) Pub Date : 2020-02-25
    Clifford Bergman

    Let \(\mathcal {A}\) and \(\mathcal {B}\) be idempotent varieties and suppose that the variety \(\mathcal {A} \vee \mathcal {B} \) is congruence permutable. Then the Maltsev product \(\mathcal {A} \circ \mathcal {B} \) is also congruence permutable.

    更新日期:2020-02-25
  • Notes on planar semimodular lattices. VIII. Congruence lattices of SPS lattices
    Algebra Univers. (IF 0.404) Pub Date : 2020-02-22
    G. Grätzer

    In this note, I find a new property of the congruence lattice, \({{\,\mathrm{Con}\,}}L\), of an SPS lattice L (slim, planar, semimodular, where “slim” is the absence of \({\mathsf {M}}_3\) sublattices) with more than 2 elements: there are at least two dual atoms in\({{\,\mathrm{Con}\,}}L\). So the three-element chain cannot be represented as the congruence lattice of an SPS lattice, supplementing a result

    更新日期:2020-02-22
  • The local loop lemma
    Algebra Univers. (IF 0.404) Pub Date : 2020-02-19
    Miroslav Olšák

    We prove that an idempotent operation generates a loop from a strongly connected digraph containing directed closed walks of all lengths under very mild (local) algebraic assumptions. Using the result, we reprove the existence of weakest non-trivial idempotent equations, and that a finite strongly connected digraph of algebraic length 1 compatible with a Taylor operation has a loop.

    更新日期:2020-02-19
Contents have been reproduced by permission of the publishers.
导出
全部期刊列表>>
spring&清华大学出版社
城市可持续发展前沿研究专辑
Springer 纳米技术权威期刊征稿
全球视野覆盖
施普林格·自然新
chemistry
3分钟学术视频演讲大赛
物理学研究前沿热点精选期刊推荐
自然职位线上招聘会
欢迎报名注册2020量子在线大会
化学领域亟待解决的问题
材料学研究精选新
GIANT
ACS ES&T Engineering
ACS ES&T Water
屿渡论文,编辑服务
ACS Publications填问卷
阿拉丁试剂right
麻省大学
西北大学
湖南大学
华东师范大学
陆海华
化学所
隐藏1h前已浏览文章
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
天合科研
x-mol收录
胡眆昊
杨财广
廖矿标
试剂库存
down
wechat
bug