{"title":"A negative answer to a Bahturin-Regev conjecture about regular algebras in positive characteristic","authors":"Lucio Centrone , Plamen Koshlukov , Kauê Pereira","doi":"10.1016/j.jpaa.2025.107933","DOIUrl":null,"url":null,"abstract":"<div><div>Let <span><math><mi>A</mi><mo>=</mo><msub><mrow><mi>A</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>⊕</mo><mo>⋯</mo><mo>⊕</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>r</mi></mrow></msub></math></span> be a decomposition of the algebra <em>A</em> as a direct sum of vector subspaces. If for every choice of the indices <span><math><mn>1</mn><mo>≤</mo><msub><mrow><mi>i</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>≤</mo><mi>r</mi></math></span> there exist <span><math><msub><mrow><mi>a</mi></mrow><mrow><msub><mrow><mi>i</mi></mrow><mrow><mi>j</mi></mrow></msub></mrow></msub><mo>∈</mo><msub><mrow><mi>A</mi></mrow><mrow><msub><mrow><mi>i</mi></mrow><mrow><mi>j</mi></mrow></msub></mrow></msub></math></span> such that the product <span><math><msub><mrow><mi>a</mi></mrow><mrow><msub><mrow><mi>i</mi></mrow><mrow><mn>1</mn></mrow></msub></mrow></msub><mo>⋯</mo><msub><mrow><mi>a</mi></mrow><mrow><msub><mrow><mi>i</mi></mrow><mrow><mi>n</mi></mrow></msub></mrow></msub><mo>≠</mo><mn>0</mn></math></span>, and for every <span><math><mn>1</mn><mo>≤</mo><mi>i</mi><mo>,</mo><mi>j</mi><mo>≤</mo><mi>r</mi></math></span> there is a constant <span><math><mi>β</mi><mo>(</mo><mi>i</mi><mo>,</mo><mi>j</mi><mo>)</mo><mo>≠</mo><mn>0</mn></math></span> with <span><math><msub><mrow><mi>a</mi></mrow><mrow><mi>i</mi></mrow></msub><msub><mrow><mi>a</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>=</mo><mi>β</mi><mo>(</mo><mi>i</mi><mo>,</mo><mi>j</mi><mo>)</mo><msub><mrow><mi>a</mi></mrow><mrow><mi>j</mi></mrow></msub><msub><mrow><mi>a</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> for <span><math><msub><mrow><mi>a</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>∈</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span>, <span><math><msub><mrow><mi>a</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>∈</mo><msub><mrow><mi>A</mi></mrow><mrow><mi>j</mi></mrow></msub></math></span>, the above decomposition is <em>regular</em>. Bahturin and Regev raised the following conjecture: suppose that the regular decomposition comes from a group grading on <em>A</em>, and form the <span><math><mi>r</mi><mo>×</mo><mi>r</mi></math></span> matrix whose <span><math><mo>(</mo><mi>i</mi><mo>,</mo><mi>j</mi><mo>)</mo></math></span>th entry equals <span><math><mi>β</mi><mo>(</mo><mi>i</mi><mo>,</mo><mi>j</mi><mo>)</mo></math></span>. Then this matrix is invertible if and only if the decomposition is minimal (that is one cannot get a regular decomposition of <em>A</em> by coarsening the decomposition). Aljadeff and David proved that the conjecture is true in the case the base field is of characteristic 0. We prove that the conjecture does not hold for algebras over fields of positive characteristic, by constructing algebras with minimal regular decompositions such that the associated matrix is singular.</div></div>","PeriodicalId":54770,"journal":{"name":"Journal of Pure and Applied Algebra","volume":"229 6","pages":"Article 107933"},"PeriodicalIF":0.7000,"publicationDate":"2025-03-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Pure and Applied Algebra","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0022404925000726","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
Let be a decomposition of the algebra A as a direct sum of vector subspaces. If for every choice of the indices there exist such that the product , and for every there is a constant with for , , the above decomposition is regular. Bahturin and Regev raised the following conjecture: suppose that the regular decomposition comes from a group grading on A, and form the matrix whose th entry equals . Then this matrix is invertible if and only if the decomposition is minimal (that is one cannot get a regular decomposition of A by coarsening the decomposition). Aljadeff and David proved that the conjecture is true in the case the base field is of characteristic 0. We prove that the conjecture does not hold for algebras over fields of positive characteristic, by constructing algebras with minimal regular decompositions such that the associated matrix is singular.
期刊介绍:
The Journal of Pure and Applied Algebra concentrates on that part of algebra likely to be of general mathematical interest: algebraic results with immediate applications, and the development of algebraic theories of sufficiently general relevance to allow for future applications.