发布求助
文献互助 智能选刊 最新文献

Algebra Universalis最新文献

筛选
英文 中文
Extremality, left-modularity and semidistributivity 极值、左模性和半分布性
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2023-04-17 DOI: 10.1007/s00012-023-00814-8
Henri Mühle
{"title":"Extremality, left-modularity and semidistributivity","authors":"Henri Mühle","doi":"10.1007/s00012-023-00814-8","DOIUrl":"10.1007/s00012-023-00814-8","url":null,"abstract":"<div><p>In this article we study the relations between three classes of lattices each extending the class of distributive lattices in a different way. In particular, we consider join-semidistributive, join-extremal and left-modular lattices, respectively. Our main motivation is a recent result by Thomas and Williams proving that every semidistributive, extremal lattice is left modular. We prove the converse of this on a slightly more general level. Our main result asserts that every join-semidistributive, left-modular lattice is join extremal. We also relate these properties to the topological notion of lexicographic shellability.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"84 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-023-00814-8.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50488428","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Extremality, left-modularity and semidistributivity 极值性、左模性和半分配性
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2023-04-17 DOI: 10.1007/s00012-023-00814-8
Henri Mühle
{"title":"Extremality, left-modularity and semidistributivity","authors":"Henri Mühle","doi":"10.1007/s00012-023-00814-8","DOIUrl":"https://doi.org/10.1007/s00012-023-00814-8","url":null,"abstract":"","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"84 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-04-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"51690512","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Topological representation of double Boolean algebras 二重布尔代数的拓扑表示
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2023-03-20 DOI: 10.1007/s00012-023-00811-x
Prosenjit Howlader, Mohua Banerjee
{"title":"Topological representation of double Boolean algebras","authors":"Prosenjit Howlader,&nbsp;Mohua Banerjee","doi":"10.1007/s00012-023-00811-x","DOIUrl":"10.1007/s00012-023-00811-x","url":null,"abstract":"<div><p>The article proves topological representations for some classes of double Boolean algebras (dBas). In particular, representation theorems characterising fully contextual and pure dBas are obtained. Duality results for fully contextual and pure dBas are also established.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"84 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44856585","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Quasi-Engel varieties of lattice-ordered groups 格序群的拟恩格尔变异体
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2023-03-20 DOI: 10.1007/s00012-022-00796-z
Michael R. Darnel
{"title":"Quasi-Engel varieties of lattice-ordered groups","authors":"Michael R. Darnel","doi":"10.1007/s00012-022-00796-z","DOIUrl":"10.1007/s00012-022-00796-z","url":null,"abstract":"<div><p>We show that any ordered group satisfying the identity <span>([x_1^{k_1}, ldots , x_n^{k_n}] = e)</span> must be weakly abelian and that when <span>(x_i not = x_1)</span> for <span>(2 le i le n)</span>, <span>(ell )</span>-groups satisfying the identity <span>([x_1^n, ldots , x_k^n] = e)</span> also satisfy the identity <span>((x vee e)^{y^n} le (x vee e)^2)</span>. These results are used to study the structure of <span>(ell )</span>-groups satisfying identities of the form <span>([x_1^{k_1}, x_2^{k_2}, x_3^{k_3}] = e)</span>.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"84 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47214233","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Congruence-simple multiplicatively idempotent semirings 同余-简单乘法幂等半环
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2023-03-13 DOI: 10.1007/s00012-023-00807-7
Tomáš Kepka, Miroslav Korbelář, Günter Landsmann
{"title":"Congruence-simple multiplicatively idempotent semirings","authors":"Tomáš Kepka,&nbsp;Miroslav Korbelář,&nbsp;Günter Landsmann","doi":"10.1007/s00012-023-00807-7","DOIUrl":"10.1007/s00012-023-00807-7","url":null,"abstract":"<div><p>Let <i>S</i> be a multiplicatively idempotent congruence-simple semiring. We show that <span>(|S|=2)</span> if <i>S</i> has a multiplicatively absorbing element. We also prove that if <i>S</i> is finite then either <span>(|S|=2)</span> or <span>(Scong {{,textrm{End},}}(L))</span> or <span>(S^{op}cong {{,textrm{End},}}(L))</span> where <i>L</i> is the 2-element semilattice. It seems to be an open question, whether <i>S</i> can be infinite at all.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"84 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46213559","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Higher commutators in semigroups with zero 零半群中的高交换子
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2023-03-07 DOI: 10.1007/s00012-023-00809-5
Jelena Radović, Nebojša Mudrinski
{"title":"Higher commutators in semigroups with zero","authors":"Jelena Radović,&nbsp;Nebojša Mudrinski","doi":"10.1007/s00012-023-00809-5","DOIUrl":"10.1007/s00012-023-00809-5","url":null,"abstract":"<div><p>We introduce the notion of the higher commutator of ideals in semigroups. For semigroups with zero, it is shown that the higher order commutator of Rees congruences is equal to the Rees congruence of the commutator of the corresponding ideals. We obtain that, for Rees congruences, higher order commutator is a composition of binary commutators. As a consequence, we prove that in semigroups with zero all four conditions of solvability, supernilpotency, nilpotency and nilpotency in the sense of semigroup theory, are equivalent.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"84 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-03-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-023-00809-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49659077","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On the representation of ordered semigroups by transformations of ordered sets 关于序半群的序集变换表示
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2023-03-02 DOI: 10.1007/s00012-023-00810-y
Michael Tsingelis
{"title":"On the representation of ordered semigroups by transformations of ordered sets","authors":"Michael Tsingelis","doi":"10.1007/s00012-023-00810-y","DOIUrl":"10.1007/s00012-023-00810-y","url":null,"abstract":"<div><p>A transformation of an ordered set <i>M</i> is an isotone mapping of <i>M</i> into <i>M</i>. By a representation of an ordered semigroup <i>S</i> by transformations of an ordered set <i>M</i> we mean a homomorphism of <i>S</i> into the set of transformations of <i>M</i>, i.e. (since the set of transformations of <i>M</i> is an ordered semigroup) an isotone mapping from <i>S</i> into the set of transformations of <i>M</i> preserving the operations. We prove that this type of representation leads to an “action” of <i>S</i> on <i>M</i> and so we introduce the notion of a left operand of <i>M</i> over <i>S</i>. Also we introduce the notions of a left operator pseudoorder on a left operand over <i>S</i> and a left operator homomorphism between left operands over <i>S</i>. We show that the concept of left operator pseudoorders on left operands over <i>S</i> plays an important role in the study of left operator homomorphisms of left operands over <i>S</i>. In the case of right operands over <i>S</i> dually definitions and results hold.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"84 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-023-00810-y.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46952930","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Catoids and modal convolution algebras Catoids与模态卷积代数
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2023-02-25 DOI: 10.1007/s00012-023-00805-9
Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański
{"title":"Catoids and modal convolution algebras","authors":"Uli Fahrenberg,&nbsp;Christian Johansen,&nbsp;Georg Struth,&nbsp;Krzysztof Ziemiański","doi":"10.1007/s00012-023-00805-9","DOIUrl":"10.1007/s00012-023-00805-9","url":null,"abstract":"<div><p>We show how modal quantales arise as convolution algebras <span>(Q^X)</span> of functions from catoids <i>X</i>, multisemigroups equipped with source and target maps, into modal quantales value or weight quantales <i>Q</i>. In the tradition of boolean algebras with operators we study modal correspondences between algebraic laws in <i>X</i>, <i>Q</i> and <span>(Q^X)</span>. The catoids introduced generalise Schweizer and Sklar’s function systems and single-set categories to structures isomorphic to algebras of ternary relations, as they are used for boolean algebras with operators and substructural logics. Our correspondence results support a generic construction of weighted modal quantales from catoids. This construction is illustrated by many examples. We also relate our results to reasoning with stochastic matrices or probabilistic predicate transformers.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"84 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-023-00805-9.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45736966","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Varieties of ordered algebras as categories 作为范畴的有序代数的变种
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2023-02-24 DOI: 10.1007/s00012-023-00806-8
Jiří Adámek, Jiří Rosický
{"title":"Varieties of ordered algebras as categories","authors":"Jiří Adámek,&nbsp;Jiří Rosický","doi":"10.1007/s00012-023-00806-8","DOIUrl":"10.1007/s00012-023-00806-8","url":null,"abstract":"<div><p>A variety is a category of ordered (finitary) algebras presented by inequations between terms. We characterize categories enriched over the category of posets which are equivalent to a variety. This is quite analogous to Lawvere’s classical characterization of varieties of ordinary algebras. We also study the relationship of varieties to discrete Lawvere theories, and varieties as concrete categories over <span>(mathbf{ Pos })</span>.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"84 2","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-02-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-023-00806-8.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42967837","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Adjunction of a strong unit to a hyper-archimedean lattice-ordered group 强单元对超阿基米德格序群的附加
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2023-02-13 DOI: 10.1007/s00012-023-00803-x
Philip Scowcroft
{"title":"Adjunction of a strong unit to a hyper-archimedean lattice-ordered group","authors":"Philip Scowcroft","doi":"10.1007/s00012-023-00803-x","DOIUrl":"10.1007/s00012-023-00803-x","url":null,"abstract":"<div><p>This paper studies conditions in which a hyperarchimedean lattice-ordered group embeds into a hyperarchimedean lattice-ordered group with strong unit. While Conrad and Martinez showed that some hyperarchimedean lattice-ordered groups do not admit such embeddings, Section 3 presents a sufficient condition, in terms of the generalized Boolean algebra of principal <span>(ell )</span>-ideals, for the existence of such an embedding. Section 4 presents new examples of hyperarchimedean lattice-ordered groups not admitting such embeddings, while Section 5 shows that even when such an embedding exists, adjunction of a strong unit may yield non-isomorphic hyperarchimedean extensions. Section 6 shows that if one assumes the existence of weakly compact cardinals, then the sufficient condition from Section 3 is not necessary; and Section 7 studies the logical complexity of the condition “embeddable into a hyperarchimedean lattice-ordered group with strong unit.”</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"84 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-02-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-023-00803-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48022327","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信