2024/07/02 by Suyash Srivastava, Srivastava, Suyash, Amit Kuber +1
Computer Science · Mathematics · #06A05 #16G20 #16S90 #68Q45 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #FOS: Mathematics #Matrix Theory and Algorithms #Representation Theory (math.RT)
paper · pdf · doi:10.48550/arxiv.2407.02326
openalex publication_date 2024/07/02 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Given a special biserial algebra Λ over an algebraically closed field, let radΛ denote the radical of its module category. The authors showed with Sinha that the stable rank of a special biserial algebra Λ, i.e., the least ordinal γ satisfying radΛγ=radΛγ+1, is strictly bounded above by ω2. We use finite automata to give simple algorithmic proofs, complete with their time complexity analyses, of two key ingredients in the proof of this result--the first one states that certain linear orders called hammocks associated with such algebras are finite description linear orders, i.e., they lie in the smallest class of linear orders that contains finite linear orders and ω, and that is closed under isomorphisms, order-reversals, binary sums, co-lexicographic products and finitary shuffles. We also document a complete proof of the result that the class of order types(=order-isomorphism classes) of finite description linear orders coincides with that of languages of finite automata under inorder.