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

Algebra Universalis最新文献

筛选
英文 中文
What makes a Stone topological algebra Profinite 是什么让石头拓扑代数成为无限的
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2023-01-29 DOI: 10.1007/s00012-023-00804-w
Jorge Almeida, Herman Goulet-Ouellet, Ondřej Klíma
{"title":"What makes a Stone topological algebra Profinite","authors":"Jorge Almeida,&nbsp;Herman Goulet-Ouellet,&nbsp;Ondřej Klíma","doi":"10.1007/s00012-023-00804-w","DOIUrl":"10.1007/s00012-023-00804-w","url":null,"abstract":"<div><p>This paper is a contribution to understanding what properties should a topological algebra on a Stone space satisfy to be profinite. We reformulate and simplify proofs for some known properties using syntactic congruences. We also clarify the role of various alternative ways of describing syntactic congruences, namely by finite sets of terms and by compact sets of continuous self mappings of the algebra.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"84 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-01-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-023-00804-w.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48876626","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
Connected topological lattice-ordered groups 连通拓扑格序群
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2023-01-10 DOI: 10.1007/s00012-022-00800-6
Francis Jordan
{"title":"Connected topological lattice-ordered groups","authors":"Francis Jordan","doi":"10.1007/s00012-022-00800-6","DOIUrl":"10.1007/s00012-022-00800-6","url":null,"abstract":"<div><p>We answer two open problems about lattice-ordered groups that admit a connected lattice-ordered group topology. We show that, in the general case, admitting a connected lattice-ordered group topology does not effect the algebraic structure of the lattice-ordered group. For example, admitting a connected lattice-ordered group topology does not imply that the lattice-ordered group is Archimedean or even representable. On the other hand, if one assumes that the lattice-ordered group has a basis, then admitting a lattice-ordered group topology implies that the lattice-ordered group is a subdirect product of copies of the real numbers.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"84 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2023-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42319879","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
Algebraic frames in which dense elements are above dense compact elements 稠密元素在稠密紧元素之上的代数框架
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2022-12-03 DOI: 10.1007/s00012-022-00799-w
Themba Dube, Siphamandla Blose
{"title":"Algebraic frames in which dense elements are above dense compact elements","authors":"Themba Dube,&nbsp;Siphamandla Blose","doi":"10.1007/s00012-022-00799-w","DOIUrl":"10.1007/s00012-022-00799-w","url":null,"abstract":"<div><p>A ring is called a zip ring (Carl Faith coined this term) if every faithful ideal contains a finitely generated faithful ideal. By first proving that a reduced ring is a zip ring if and only if every dense element of the frame of its radical ideals is above a compact dense element, we study algebraic frames with the property stated in the title. We call them zipped. They generalize the coherent frames of radical ideals of zip rings, but (unlike coherent frames) they need not be compact. The class of zipped algebraic frames is closed under finite products, but not under infinite products. If the coproduct of two algebraic frames is zipped, then each cofactor is zipped. If the ring is not necessarily reduced, then its frame of radical ideals is zipped precisely when the ring satisfies what in the literature is called the weak zip property. For a Tychonoff space <i>X</i>, we show that <i>C</i>(<i>X</i>) is a zip ring if and only if <i>X</i> is a finite discrete space.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"84 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49612562","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}
引用次数: 1
Projectivity in (bounded) commutative integral residuated lattices （有界）交换积分剩余格的射影性
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2022-11-29 DOI: 10.1007/s00012-022-00798-x
Paolo Aglianò, Sara Ugolini
{"title":"Projectivity in (bounded) commutative integral residuated lattices","authors":"Paolo Aglianò,&nbsp;Sara Ugolini","doi":"10.1007/s00012-022-00798-x","DOIUrl":"10.1007/s00012-022-00798-x","url":null,"abstract":"<div><p>In this paper, we study projective algebras in varieties of (bounded) commutative integral residuated lattices. We make use of a well-established construction in residuated lattices, the ordinal sum, and the order property of divisibility. Via the connection between projective and splitting algebras, we show that the only finite projective algebra in <span>(mathsf {{FL}_{ew}})</span> is the two-element Boolean algebra. Moreover, we show that several interesting varieties have the property that every finitely presented algebra is projective, such as locally finite varieties of hoops. Furthermore, we show characterization results for finite projective Heyting algebras, and finitely generated projective algebras in locally finite varieties of bounded hoops and BL-algebras. Finally, we connect our results with the algebraic theory of unification.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"84 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-11-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45112825","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}
引用次数: 5
On the number of universal algebraic geometries 关于泛代数几何的个数
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2022-11-28 DOI: 10.1007/s00012-022-00797-y
Erhard Aichinger, Bernardo Rossi
{"title":"On the number of universal algebraic geometries","authors":"Erhard Aichinger,&nbsp;Bernardo Rossi","doi":"10.1007/s00012-022-00797-y","DOIUrl":"10.1007/s00012-022-00797-y","url":null,"abstract":"<div><p>The <i>algebraic geometry</i> of a universal algebra <span>({textbf{A}})</span> is defined as the collection of solution sets of systems of term equations. Two algebras <span>({textbf{A}}_1)</span> and <span>({textbf{A}}_2)</span> are called <i>algebraically equivalent</i> if they have the same algebraic geometry. We prove that on a finite set <i>A</i> with <span>(|A|)</span> there are countably many algebraically inequivalent Mal’cev algebras and that on a finite set <i>A</i> with <span>(|A|)</span> there are continuously many algebraically inequivalent algebras.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"84 1","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-022-00797-y.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45043025","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
Another look on tense and related operators 时态及相关算子的再认识
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2022-11-01 DOI: 10.1007/s00012-022-00794-1
Michal Botur, Jan Paseka, Richard Smolka
{"title":"Another look on tense and related operators","authors":"Michal Botur,&nbsp;Jan Paseka,&nbsp;Richard Smolka","doi":"10.1007/s00012-022-00794-1","DOIUrl":"10.1007/s00012-022-00794-1","url":null,"abstract":"<div><p>Motivated by the classical work of Halmos on functional monadic Boolean algebras, we derive three basic sup-semilattice constructions, among other things, the so-called powersets and powerset operators. Such constructions are extremely useful and can be found in almost all branches of modern mathematics, including algebra, logic, and topology. Our three constructions give rise to four covariant and two contravariant functors and constitute three adjoint situations we illustrate in simple examples.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"83 4","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-022-00794-1.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46664865","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
The assembly of a pointfree bispace and its two variations 无点空间及其两个变体的组合
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2022-10-08 DOI: 10.1007/s00012-022-00793-2
Anna Laura Suarez
{"title":"The assembly of a pointfree bispace and its two variations","authors":"Anna Laura Suarez","doi":"10.1007/s00012-022-00793-2","DOIUrl":"10.1007/s00012-022-00793-2","url":null,"abstract":"<div><p>We explore a pointfree theory of bitopological spaces (that is, sets equipped with two topologies). In particular, here we regard <i>finitary biframes</i> as duals of bitopological spaces. In particular for a finitary biframe <span>(mathcal {L})</span> the ordered collection of all its pointfree bisubspaces (i.e. its biquotients) is studied. It is shown that this collection is bitopological in three meaningful ways. In particular it is shown that, apart from the assembly of a finitary biframe <span>(mathcal {L})</span>, there are two other structures <span>(mathsf {A}_{cf}(mathcal {L}))</span> and <span>(mathsf {A}_{pm }(mathcal {L}))</span>, which both have the same main component as <span>(mathsf {A}(mathcal {L}))</span>. The main component of both <span>(mathsf {A}_{cf}(mathcal {L}))</span> and <span>(mathsf {A}_{pm }(mathcal {L}))</span> is the ordered collection of all biquotients of <span>(mathcal {L})</span>. The structure <span>(mathsf {A}_{cf}(mathcal {L}))</span> being a biframe shows that the collection of all biquotients is generated by the frame of the <i>patch-closed</i> biquotients together with that of the <i>patch-fitted</i> ones. The structure <span>(mathsf {A}_{pm }(mathcal {L}))</span> being a biframe shows the collection of all biquotients is generated by the frame of the <i>positive</i> biquotients together with that of the <i>negative</i> ones. Notions of fitness and subfitness for finitary biframes are introduced, and it is shown that the analogues of two characterization theorems for these axioms hold. A spatial, bitopological version of these theorems is proven, in which finitary biframes whose spectrum is pairwise <span>(T_1)</span> are characterized, among other things in terms of the spectrum <span>(mathsf {bpt}(mathsf {A}_{cf}(mathcal {L})))</span>.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"83 4","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-10-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00012-022-00793-2.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48148140","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
Uniform continuity of pointfree real functions via farness and related Galois connections 无点实函数的一致连续性及其相关Galois连接
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2022-10-03 DOI: 10.1007/s00012-022-00795-0
Ana Belén Avilez, Jorge Picado
{"title":"Uniform continuity of pointfree real functions via farness and related Galois connections","authors":"Ana Belén Avilez,&nbsp;Jorge Picado","doi":"10.1007/s00012-022-00795-0","DOIUrl":"10.1007/s00012-022-00795-0","url":null,"abstract":"<div><p>This paper concerns uniform continuity of real-valued functions on a (pre-)uniform frame. The aim of the paper is to characterize uniform continuity of such frame homomorphisms in terms of a farness relation between elements in the frame, and then to derive from it a separation and an extension theorem for real-valued uniform maps on uniform frames. The approach, purely order-theoretic, uses properties of the Galois maps associated with the farness relation. As a byproduct, we identify sufficient conditions under which a (continuous) scale in a frame with a preuniformity generates a real-valued uniform map.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"83 4","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-10-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44084751","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}
引用次数: 1
A theorem of Mumford and Ramanujam for universal algebras 泛代数的Mumford和Ramanujam定理
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2022-08-07 DOI: 10.1007/s00012-022-00790-5
A. Clay, R. Padmanabhan
{"title":"A theorem of Mumford and Ramanujam for universal algebras","authors":"A. Clay,&nbsp;R. Padmanabhan","doi":"10.1007/s00012-022-00790-5","DOIUrl":"10.1007/s00012-022-00790-5","url":null,"abstract":"<div><p>A well-known result in quasigroup theory says that an associative quasigroup is a group, i.e. in quasigroups, associativity forces the existence of an identity element. The converse is, of course, far from true, as there are many, many non-associative loops. However, a remarkable theorem due to David Mumford and C.P. Ramanujam says that any projective variety having a binary morphism admitting a two-sided identity must be a group. Motivated by this result, we define a universal algebra (<i>A</i>; <i>F</i>) to be an <i>MR-algebra</i> if whenever a binary term function <i>m</i>(<i>x</i>, <i>y</i>) in the algebra admits a two-sided identity, then the reduct (<i>A</i>; <i>m</i>(<i>x</i>, <i>y</i>)) must be associative. Here we give some non-trivial varieties of quasigroups, groups, rings, fields and lattices which are MR-algebras. For example, every MR-quasigroup must be isotopic to a group, MR-groups are exactly the nilpotent groups of class 2, while commutative rings and complemented lattices are MR-algebras if and only if they are Boolean.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"83 4","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45442279","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
Choice-free duality for orthocomplemented lattices by means of spectral spaces 利用谱空间实现正交补格的无选择对偶
IF 0.6 4区 数学
Algebra Universalis Pub Date : 2022-08-07 DOI: 10.1007/s00012-022-00789-y
Joseph McDonald, Kentarô Yamamoto
{"title":"Choice-free duality for orthocomplemented lattices by means of spectral spaces","authors":"Joseph McDonald,&nbsp;Kentarô Yamamoto","doi":"10.1007/s00012-022-00789-y","DOIUrl":"10.1007/s00012-022-00789-y","url":null,"abstract":"<div><p>The existing topological representation of an orthocomplemented lattice via the clopen orthoregular subsets of a Stone space depends upon Alexander’s Subbase Theorem, which asserts that a topological space <i>X</i> is compact if every subbasic open cover of <i>X</i> admits of a finite subcover. This is an easy consequence of the Ultrafilter Theorem—whose proof depends upon Zorn’s Lemma, which is well known to be equivalent to the Axiom of Choice. Within this work, we give a choice-free topological representation of orthocomplemented lattices by means of a special subclass of spectral spaces; choice-free in the sense that our representation avoids use of Alexander’s Subbase Theorem, along with its associated nonconstructive choice principles. We then introduce a new subclass of spectral spaces which we call <i>upper Vietoris orthospaces</i> in order to characterize up to homeomorphism (and isomorphism with respect to their orthospace reducts) the spectral spaces of proper lattice filters used in our representation. It is then shown how our constructions give rise to a choice-free dual equivalence of categories between the category of orthocomplemented lattices and the dual category of upper Vietoris orthospaces. Our duality combines Bezhanishvili and Holliday’s choice-free spectral space approach to Stone duality for Boolean algebras with Goldblatt and Bimbó’s choice-dependent orthospace approach to Stone duality for orthocomplemented lattices.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":"83 4","pages":""},"PeriodicalIF":0.6,"publicationDate":"2022-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45412955","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}
引用次数: 5
首页 上一页
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学术官方微信