Journal of Algebra最新文献

{"title":"Model-theoretic properties of nilpotent groups and Lie algebras","authors":"Christian d'Elbée ,&nbsp;Isabel Müller ,&nbsp;Nicholas Ramsey ,&nbsp;Daoud Siniora","doi":"10.1016/j.jalgebra.2024.08.012","DOIUrl":"10.1016/j.jalgebra.2024.08.012","url":null,"abstract":"<div><p>We give a systematic study of the model theory of generic nilpotent groups and Lie algebras. We show that the Fraïssé limit of 2-nilpotent groups of exponent <em>p</em> studied by Baudisch is 2-dependent and NSOP₁. We prove that the class of <em>c</em>-nilpotent Lie algebras over an arbitrary field, in a language with predicates for a Lazard series, is closed under free amalgamation. We show that for <span><math><mn>2</mn><mo>&lt;</mo><mi>c</mi></math></span>, the generic <em>c</em>-nilpotent Lie algebra over <span><math><msub><mrow><mi>F</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span> is strictly NSOP₄ and <em>c</em>-dependent. Via the Lazard correspondence, we obtain the same result for <em>c</em>-nilpotent groups of exponent <em>p</em>, for an odd prime <span><math><mi>p</mi><mo>&gt;</mo><mi>c</mi></math></span>.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142162680","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Universally injective and integral contractions on relative Lipschitz saturation of algebras","authors":"Thiago da Silva,&nbsp;Maico Ribeiro","doi":"10.1016/j.jalgebra.2024.08.024","DOIUrl":"10.1016/j.jalgebra.2024.08.024","url":null,"abstract":"<div><p>In this work, we obtain contraction results for a class of diagrams of ring morphisms which strictly includes the ones obtained by Lipman. Further, we present some applications on quotient and in the changing of the base ring in the saturation.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142205548","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Quantifying orbit detection: φ-order and φ-spectrum","authors":"André Carvalho","doi":"10.1016/j.jalgebra.2024.08.023","DOIUrl":"10.1016/j.jalgebra.2024.08.023","url":null,"abstract":"<div><p>We prove that the stable image of an endomorphism of a virtually free group is computable. For an endomorphism <em>φ</em>, an element <span><math><mi>x</mi><mo>∈</mo><mi>G</mi></math></span> and a subset <span><math><mi>K</mi><mo>⊆</mo><mi>G</mi></math></span>, we say that the <em>φ</em>-order of <em>g</em> relative to <em>K</em>, <span><math><mi>φ</mi><msub><mrow><mtext>-ord</mtext></mrow><mrow><mi>K</mi></mrow></msub><mo>(</mo><mi>g</mi><mo>)</mo></math></span>, is the smallest nonnegative integer <em>k</em> such that <span><math><mi>g</mi><msup><mrow><mi>φ</mi></mrow><mrow><mi>k</mi></mrow></msup><mo>∈</mo><mi>K</mi></math></span>. We prove that the set of orders, which we call <em>φ</em>-spectrum, is computable in two extreme cases: when <em>K</em> is a finite subset and when <em>K</em> is a recognizable subset. The finite case is proved for virtually free groups and the recognizable case for finitely presented groups. The case of finitely generated virtually abelian groups and some variations of the problem are also discussed.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142162683","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Twisted tensor products of quantum affine vertex algebras and coproducts","authors":"Fei Kong","doi":"10.1016/j.jalgebra.2024.08.016","DOIUrl":"10.1016/j.jalgebra.2024.08.016","url":null,"abstract":"<div><p>Let <span><math><mi>g</mi></math></span> be a symmetrizable Kac-Moody Lie algebra, and let <span><math><msubsup><mrow><mi>V</mi></mrow><mrow><mover><mrow><mi>g</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>,</mo><mi>ħ</mi></mrow><mrow><mi>ℓ</mi></mrow></msubsup></math></span>, <span><math><msubsup><mrow><mi>L</mi></mrow><mrow><mover><mrow><mi>g</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>,</mo><mi>ħ</mi></mrow><mrow><mi>ℓ</mi></mrow></msubsup></math></span> be the quantum affine vertex algebras constructed in <span><span>[11]</span></span>. For any complex numbers <em>ℓ</em> and <span><math><msup><mrow><mi>ℓ</mi></mrow><mrow><mo>′</mo></mrow></msup></math></span>, we present an <em>ħ</em>-adic quantum vertex algebra homomorphism Δ from <span><math><msubsup><mrow><mi>V</mi></mrow><mrow><mover><mrow><mi>g</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>,</mo><mi>ħ</mi></mrow><mrow><mi>ℓ</mi><mo>+</mo><msup><mrow><mi>ℓ</mi></mrow><mrow><mo>′</mo></mrow></msup></mrow></msubsup></math></span> to the twisted tensor product <em>ħ</em>-adic quantum vertex algebra <span><math><msubsup><mrow><mi>V</mi></mrow><mrow><mover><mrow><mi>g</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>,</mo><mi>ħ</mi></mrow><mrow><mi>ℓ</mi></mrow></msubsup><mover><mrow><mo>⊗</mo></mrow><mrow><mo>ˆ</mo></mrow></mover><msubsup><mrow><mi>V</mi></mrow><mrow><mover><mrow><mi>g</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>,</mo><mi>ħ</mi></mrow><mrow><msup><mrow><mi>ℓ</mi></mrow><mrow><mo>′</mo></mrow></msup></mrow></msubsup></math></span>. In addition, if both <em>ℓ</em> and <span><math><msup><mrow><mi>ℓ</mi></mrow><mrow><mo>′</mo></mrow></msup></math></span> are positive integers, we show that Δ induces an <em>ħ</em>-adic quantum vertex algebra homomorphism from <span><math><msubsup><mrow><mi>L</mi></mrow><mrow><mover><mrow><mi>g</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>,</mo><mi>ħ</mi></mrow><mrow><mi>ℓ</mi><mo>+</mo><msup><mrow><mi>ℓ</mi></mrow><mrow><mo>′</mo></mrow></msup></mrow></msubsup></math></span> to the twisted tensor product <em>ħ</em>-adic quantum vertex algebra <span><math><msubsup><mrow><mi>L</mi></mrow><mrow><mover><mrow><mi>g</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>,</mo><mi>ħ</mi></mrow><mrow><mi>ℓ</mi></mrow></msubsup><mover><mrow><mo>⊗</mo></mrow><mrow><mo>ˆ</mo></mrow></mover><msubsup><mrow><mi>L</mi></mrow><mrow><mover><mrow><mi>g</mi></mrow><mrow><mo>ˆ</mo></mrow></mover><mo>,</mo><mi>ħ</mi></mrow><mrow><msup><mrow><mi>ℓ</mi></mrow><mrow><mo>′</mo></mrow></msup></mrow></msubsup></math></span>. Moreover, we prove the coassociativity of Δ.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142129702","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Rings and C*-algebras generated by commutators","authors":"Eusebio Gardella,&nbsp;Hannes Thiel","doi":"10.1016/j.jalgebra.2024.08.020","DOIUrl":"10.1016/j.jalgebra.2024.08.020","url":null,"abstract":"<div><p>We show that a unital ring is generated by its commutators as an ideal if and only if there exists a natural number <em>N</em> such that every element is a sum of <em>N</em> products of pairs of commutators. We show that one can take <span><math><mi>N</mi><mo>≤</mo><mn>2</mn></math></span> for matrix rings, and that one may choose <span><math><mi>N</mi><mo>≤</mo><mn>3</mn></math></span> for rings that contain a direct sum of matrix rings – this in particular applies to C*-algebras that are properly infinite or have real rank zero. For Jiang-Su-stable C*-algebras, we show that <span><math><mi>N</mi><mo>≤</mo><mn>6</mn></math></span> can be arranged.</p><p>For arbitrary rings, we show that every element in the commutator ideal admits a power that is a sum of products of commutators. Using that a C*-algebra cannot be a radical extension over a proper ideal, we deduce that a C*-algebra is generated by its commutators as a not necessarily closed ideal if and only if every element is a finite sum of products of pairs of commutators.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0021869324004794/pdfft?md5=5885df0350057384ae38fd28e9da2b73&pid=1-s2.0-S0021869324004794-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142136923","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"On two open questions for extension bundles","authors":"Qiang Dong ,&nbsp;Shiquan Ruan","doi":"10.1016/j.jalgebra.2024.08.015","DOIUrl":"10.1016/j.jalgebra.2024.08.015","url":null,"abstract":"<div><p>In this paper we give positive answers for two open questions on extension bundles over weighted projective lines, raised by Kussin, Lenzing and Meltzer in the paper “Triangle singularities, ADE-chains and weighted projective lines”.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142157626","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Sextactic and type-9 points on the Fermat cubic and associated objects","authors":"Łukasz Merta,&nbsp;Maciej Zięba","doi":"10.1016/j.jalgebra.2024.08.013","DOIUrl":"10.1016/j.jalgebra.2024.08.013","url":null,"abstract":"<div><p>In this note we study line and conic arrangements associated with sextactic and type 9 points on the Fermat cubic <em>F</em> and we provide explicit coordinates for each of the 72 type 9 points on <em>F</em>.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0021869324004745/pdfft?md5=1e21d456085d4a74528753d4e7e7fa40&pid=1-s2.0-S0021869324004745-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142162682","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Computing Gröbner bases and free resolutions of OI-modules","authors":"Michael Morrow,&nbsp;Uwe Nagel","doi":"10.1016/j.jalgebra.2024.08.009","DOIUrl":"10.1016/j.jalgebra.2024.08.009","url":null,"abstract":"<div><p>Given a sequence of related modules <span><math><msub><mrow><mi>M</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> defined over a sequence of related polynomial rings, one may ask how to simultaneously compute a finite Gröbner basis for each <span><math><msub><mrow><mi>M</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>. Furthermore, one may ask how to simultaneously compute the module of syzygies of each <span><math><msub><mrow><mi>M</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>. In this paper we address both questions. Working in the setting of OI-modules over a Noetherian polynomial OI-algebra, we provide OI-analogues of Buchberger's Criterion, Buchberger's Algorithm for computing Gröbner bases, and Schreyer's Theorem for computing syzygies. We also establish a stabilization result for Gröbner bases.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142162684","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"The Grothendieck groups of discrete cluster categories of Dynkin type A∞","authors":"Dave Murphy","doi":"10.1016/j.jalgebra.2024.08.019","DOIUrl":"10.1016/j.jalgebra.2024.08.019","url":null,"abstract":"<div><p>In this work we compute the triangulated Grothendieck groups for each of the family of discrete cluster categories of Dynkin type <span><math><msub><mrow><mi>A</mi></mrow><mrow><mo>∞</mo></mrow></msub></math></span> as introduced by Holm-Jørgensen. Subsequently, we also compute the Grothendieck group of a completion of these discrete cluster categories in the sense of Paquette-Yildirim.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0021869324004770/pdfft?md5=ce30e7abc9151705dc42c602e2425382&pid=1-s2.0-S0021869324004770-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142162750","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Flipped non-associative polynomial rings and the Cayley–Dickson construction","authors":"Masood Aryapoor ,&nbsp;Per Bäck","doi":"10.1016/j.jalgebra.2024.08.021","DOIUrl":"10.1016/j.jalgebra.2024.08.021","url":null,"abstract":"<div><p>We introduce and study flipped non-associative polynomial rings. In particular, we show that all Cayley–Dickson algebras naturally appear as quotients of a certain type of such rings; this extends the classical construction of the complex numbers (and quaternions) as a quotient of a (skew) polynomial ring to the octonions, and beyond. We also extend some classical results on algebraic properties of Cayley–Dickson algebras by McCrimmon to a class of flipped non-associative polynomial rings.</p></div>","PeriodicalId":14888,"journal":{"name":"Journal of Algebra","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2024-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S0021869324004769/pdfft?md5=0e81b38e5ea8e2bc5cfb31645aa00b8c&pid=1-s2.0-S0021869324004769-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142162779","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}