Journal of Computational Algebra最新文献

筛选
英文 中文
Computing quadratic subfields of number fields 计算数字域的二次子域
Journal of Computational Algebra Pub Date : 2025-07-23 DOI: 10.1016/j.jaca.2025.100039
Andreas-Stephan Elsenhans , Jürgen Klüners
{"title":"Computing quadratic subfields of number fields","authors":"Andreas-Stephan Elsenhans ,&nbsp;Jürgen Klüners","doi":"10.1016/j.jaca.2025.100039","DOIUrl":"10.1016/j.jaca.2025.100039","url":null,"abstract":"<div><div>Given a number field, it is an important question in algorithmic number theory to determine all its subfields. If the search is restricted to abelian subfields, we can try to determine them by using class field theory. For this, it is necessary to know the ramified primes. We show that the ramified primes of the subfield can be computed efficiently. Using this information, we give algorithms to determine all quadratic and cyclic cubic subfields of the initial field. The approach generalises to cyclic subfields of prime degree. In the case of quadratic subfields, our approach is much faster than other methods.</div></div>","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"15 ","pages":"Article 100039"},"PeriodicalIF":0.0,"publicationDate":"2025-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144714107","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A 3-skeleton for a classifying space for the symmetric group 对称群分类空间的3-骨架
Journal of Computational Algebra Pub Date : 2025-06-23 DOI: 10.1016/j.jaca.2025.100038
Matthew B. Day , Trevor Nakamura
{"title":"A 3-skeleton for a classifying space for the symmetric group","authors":"Matthew B. Day ,&nbsp;Trevor Nakamura","doi":"10.1016/j.jaca.2025.100038","DOIUrl":"10.1016/j.jaca.2025.100038","url":null,"abstract":"<div><div>We construct a 3-dimensional cell complex that is the 3-skeleton for an Eilenberg–MacLane classifying space for the symmetric group <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>. Our complex starts with the presentation for <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> with <span><math><mi>n</mi><mo>−</mo><mn>1</mn></math></span> adjacent transpositions with squaring, commuting, and braid relations, and adds seven classes of 3-cells that fill in certain 2-spheres bounded by these relations. We use a rewriting system and a combinatorial method of K. Brown to prove the correctness of our construction. Our main application is a computation of the second cohomology of <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> in certain twisted coefficient modules; we use this computation in a companion paper to study splitting of extensions related to braid groups. As another application, we give a concrete description of the third homology of <span><math><msub><mrow><mi>S</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span> with untwisted coefficients in <span><math><mi>Z</mi></math></span>.</div></div>","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"15 ","pages":"Article 100038"},"PeriodicalIF":0.0,"publicationDate":"2025-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144517258","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An algorithm to compute the Hausdorff dimension of regular branch groups 正则分支群的Hausdorff维数计算算法
Journal of Computational Algebra Pub Date : 2025-06-19 DOI: 10.1016/j.jaca.2025.100037
Jorge Fariña-Asategui
{"title":"An algorithm to compute the Hausdorff dimension of regular branch groups","authors":"Jorge Fariña-Asategui","doi":"10.1016/j.jaca.2025.100037","DOIUrl":"10.1016/j.jaca.2025.100037","url":null,"abstract":"<div><div>An explicit algorithm is given for the computation of the Hausdorff dimension of the closure of a regular branch group in terms of an arbitrary branch structure. We implement this algorithm in GAP and apply it to a family of GGS-groups acting on the 4-adic tree.</div></div>","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"15 ","pages":"Article 100037"},"PeriodicalIF":0.0,"publicationDate":"2025-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144337924","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Nested fifth root radical identities from elliptic curves 椭圆曲线的嵌套五根根恒等式
Journal of Computational Algebra Pub Date : 2025-03-01 DOI: 10.1016/j.jaca.2025.100032
Joseph Tonien
{"title":"Nested fifth root radical identities from elliptic curves","authors":"Joseph Tonien","doi":"10.1016/j.jaca.2025.100032","DOIUrl":"10.1016/j.jaca.2025.100032","url":null,"abstract":"<div><div>Ramanujan discovered the following elegant identity involving cube roots:<span><span><span><math><msqrt><mrow><mi>m</mi><mroot><mrow><mn>4</mn><mo>(</mo><mi>m</mi><mo>−</mo><mn>2</mn><mi>n</mi><mo>)</mo></mrow><mrow><mn>3</mn></mrow></mroot><mo>+</mo><mi>n</mi><mroot><mrow><mn>4</mn><mi>m</mi><mo>+</mo><mi>n</mi></mrow><mrow><mn>3</mn></mrow></mroot></mrow></msqrt><mo>=</mo><mo>±</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>3</mn></mrow></mfrac><mo>(</mo><mroot><mrow><msup><mrow><mo>(</mo><mn>4</mn><mi>m</mi><mo>+</mo><mi>n</mi><mo>)</mo></mrow><mrow><mn>2</mn></mrow></msup></mrow><mrow><mn>3</mn></mrow></mroot><mo>+</mo><mroot><mrow><mn>4</mn><mo>(</mo><mi>m</mi><mo>−</mo><mn>2</mn><mi>n</mi><mo>)</mo><mo>(</mo><mn>4</mn><mi>m</mi><mo>+</mo><mi>n</mi><mo>)</mo></mrow><mrow><mn>3</mn></mrow></mroot><mo>−</mo><mroot><mrow><mn>2</mn><msup><mrow><mo>(</mo><mi>m</mi><mo>−</mo><mn>2</mn><mi>n</mi><mo>)</mo></mrow><mrow><mn>2</mn></mrow></msup></mrow><mrow><mn>3</mn></mrow></mroot><mo>)</mo><mo>.</mo></math></span></span></span></div><div>The goal of this paper is to derive nested fifth root radical identities in the form of<span><span><span><math><msqrt><mrow><msub><mrow><mi>P</mi></mrow><mrow><mn>1</mn></mrow></msub><mroot><mrow><msub><mrow><mi>Q</mi></mrow><mrow><mn>1</mn></mrow></msub></mrow><mrow><mn>5</mn></mrow></mroot><mo>+</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>2</mn></mrow></msub><mroot><mrow><msub><mrow><mi>Q</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow><mrow><mn>5</mn></mrow></mroot></mrow></msqrt><mo>=</mo><msub><mrow><mi>p</mi></mrow><mrow><mn>1</mn></mrow></msub><mroot><mrow><msub><mrow><mi>q</mi></mrow><mrow><mn>1</mn></mrow></msub></mrow><mrow><mn>5</mn></mrow></mroot><mo>+</mo><msub><mrow><mi>p</mi></mrow><mrow><mn>2</mn></mrow></msub><mroot><mrow><msub><mrow><mi>q</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow><mrow><mn>5</mn></mrow></mroot><mo>+</mo><msub><mrow><mi>p</mi></mrow><mrow><mn>3</mn></mrow></msub><mroot><mrow><msub><mrow><mi>q</mi></mrow><mrow><mn>3</mn></mrow></msub></mrow><mrow><mn>5</mn></mrow></mroot><mo>+</mo><msub><mrow><mi>p</mi></mrow><mrow><mn>4</mn></mrow></msub><mroot><mrow><msub><mrow><mi>q</mi></mrow><mrow><mn>4</mn></mrow></msub></mrow><mrow><mn>5</mn></mrow></mroot><mo>+</mo><msub><mrow><mi>p</mi></mrow><mrow><mn>5</mn></mrow></msub><mroot><mrow><msub><mrow><mi>q</mi></mrow><mrow><mn>5</mn></mrow></msub></mrow><mrow><mn>5</mn></mrow></mroot><mo>.</mo></math></span></span></span> We show that these identities can be derived from a specific family of elliptic curves. Furthermore, we include the SageMath code for computing these expressions.</div></div>","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"13 ","pages":"Article 100032"},"PeriodicalIF":0.0,"publicationDate":"2025-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143829248","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Ideals of generic forms 一般形式的理想
Journal of Computational Algebra Pub Date : 2025-03-01 DOI: 10.1016/j.jaca.2025.100033
Ralf Fröberg
{"title":"Ideals of generic forms","authors":"Ralf Fröberg","doi":"10.1016/j.jaca.2025.100033","DOIUrl":"10.1016/j.jaca.2025.100033","url":null,"abstract":"<div><div>We determine the Hilbert series of some classes of ideals generated by generic forms of degree two and three, and investigate the difference to the Hilbert series of ideals generated by powers of linear generic forms of the corresponding degrees.</div></div>","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"13 ","pages":"Article 100033"},"PeriodicalIF":0.0,"publicationDate":"2025-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143844529","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Listing words in free groups 在自由组中列出单词
Journal of Computational Algebra Pub Date : 2025-03-01 DOI: 10.1016/j.jaca.2025.100034
Colin Ramsay
{"title":"Listing words in free groups","authors":"Colin Ramsay","doi":"10.1016/j.jaca.2025.100034","DOIUrl":"10.1016/j.jaca.2025.100034","url":null,"abstract":"<div><div>Lists of equivalence classes of words under rotation or rotation plus reversal (i.e., necklaces and bracelets) have many uses, and efficient algorithms for generating these lists exist. In combinatorial group theory elements of a group are typically written as words in the generators and their inverses, and necklaces and bracelets correspond to conjugacy classes and relators respectively. We present algorithms to generate lists of freely and cyclically reduced necklaces and bracelets in free groups. Experimental evidence suggests that these algorithms are CAT – that is, they run in constant amortized time.</div></div>","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"13 ","pages":"Article 100034"},"PeriodicalIF":0.0,"publicationDate":"2025-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144190158","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Computational and theoretical aspects of rational parametrization of generalized tubular surfaces 广义管状曲面合理参数化的计算与理论研究
Journal of Computational Algebra Pub Date : 2025-03-01 DOI: 10.1016/j.jaca.2025.100030
J. William Hoffman , Haohao Wang
{"title":"Computational and theoretical aspects of rational parametrization of generalized tubular surfaces","authors":"J. William Hoffman ,&nbsp;Haohao Wang","doi":"10.1016/j.jaca.2025.100030","DOIUrl":"10.1016/j.jaca.2025.100030","url":null,"abstract":"<div><div>This paper consists of two components - a computational part and a theoretical part. The former targets the computer-aided geometric design of tubular surfaces. The latter focuses on the algebraic geometry of a family of conic curves. At the application level, we provide a straightforward and easy to implement computational algorithm to rationally parametrize generalized real tubular surfaces via moving lines. We discover that syzygies, i.e., moving lines, can be calculated directly from a given implicit equation of a projective conic. Specifically, we describe two linear polynomial vectors in 3-space whose entries are formulated in terms of the coefficients of the given implicit equation of the conic. We then prove that these two vectors are, in fact, a <em>μ</em>-basis, the generators for the syzygy module of the given conic, and furnish the rational parametrization of the given conic. At the theoretical level, we first briefly review the classical projection method for a rational parametrization of a generic non-degenerate conic. This is compared to the syzygy method, i.e., moving lines. We conclude the paper with an illustrative figure that depicts and compares the classical projection method and our moving line method.</div></div>","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"13 ","pages":"Article 100030"},"PeriodicalIF":0.0,"publicationDate":"2025-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143759141","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Differential uniformity properties of some classes of permutation polynomials 几类置换多项式的微分均匀性
Journal of Computational Algebra Pub Date : 2025-03-01 DOI: 10.1016/j.jaca.2025.100035
Kirpa Garg , Sartaj Ul Hasan , Pantelimon Stănică
{"title":"Differential uniformity properties of some classes of permutation polynomials","authors":"Kirpa Garg ,&nbsp;Sartaj Ul Hasan ,&nbsp;Pantelimon Stănică","doi":"10.1016/j.jaca.2025.100035","DOIUrl":"10.1016/j.jaca.2025.100035","url":null,"abstract":"<div><div>The notion of <em>c</em>-differential uniformity has received a lot of attention since its proposal <span><span>[5]</span></span>, and recently a characterization of perfect <em>c</em>-nonlinear functions in terms of difference sets in some quasigroups was obtained in <span><span>[1]</span></span>. Moreover, in a very recent manuscript by Pal and Stănică <span><span>[19]</span></span>, an intriguing connection was discovered showing that in fact, the boomerang uniformity for an odd APN function (odd characteristic) equals its <em>c</em>-differential uniformity when <span><math><mi>c</mi><mo>=</mo><mo>−</mo><mn>1</mn></math></span>, if the function is a permutation, otherwise it is the maximum of the <span><math><mo>(</mo><mo>−</mo><mn>1</mn><mo>)</mo></math></span>-DDT entries disregarding the first row/column. The construction of functions, especially permutations, with low <em>c</em>-differential uniformity is an interesting and difficult mathematical problem in this area, and recent work has focused heavily in this direction. We provide a few classes of permutation polynomials with low <em>c</em>-differential uniformity. The used technique involves handling various Weil sums, as well as analyzing some equations in finite fields, and we believe these can be of independent interest, from a mathematical perspective.</div></div>","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"13 ","pages":"Article 100035"},"PeriodicalIF":0.0,"publicationDate":"2025-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144240750","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Zeros of S-characters 0个s字符
Journal of Computational Algebra Pub Date : 2025-03-01 DOI: 10.1016/j.jaca.2025.100031
Thomas Breuer , Michael Joswig , Gunter Malle
{"title":"Zeros of S-characters","authors":"Thomas Breuer ,&nbsp;Michael Joswig ,&nbsp;Gunter Malle","doi":"10.1016/j.jaca.2025.100031","DOIUrl":"10.1016/j.jaca.2025.100031","url":null,"abstract":"<div><div>The concept of <em>S</em>-characters of finite groups was introduced by Zhmud' as a generalisation of transitive permutation characters. Any non-trivial <em>S</em>-character takes a zero value on some group element. By a deep result depending on the classification of finite simple groups a non-trivial transitive permutation character even vanishes on some element of prime power order. J-P. Serre asked whether this generalises to <em>S</em>-characters. We provide a translation of this question into the language of polyhedral geometry and thereby construct many counterexamples, using the capabilities of the computer algebra system <span>OSCAR</span>.</div></div>","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"13 ","pages":"Article 100031"},"PeriodicalIF":0.0,"publicationDate":"2025-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143767461","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Symmetric perfect 2-colorings of J(10,3) J(10,3) 的对称完全 2 色
Journal of Computational Algebra Pub Date : 2024-11-19 DOI: 10.1016/j.jaca.2024.100028
Paul Tricot
{"title":"Symmetric perfect 2-colorings of J(10,3)","authors":"Paul Tricot","doi":"10.1016/j.jaca.2024.100028","DOIUrl":"10.1016/j.jaca.2024.100028","url":null,"abstract":"","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"12 ","pages":"Article 100028"},"PeriodicalIF":0.0,"publicationDate":"2024-11-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142700264","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"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学术文献互助群
群 号:604180095
Book学术官方微信