Iterative algebras
Jason P. Bell, Blake W. Madill

TL;DR
This paper introduces iterative algebras constructed from morphisms on free monoids, characterizes their properties using linear algebra and combinatorics, and applies this to answer open questions in algebra.
Contribution
It provides a natural construction of iterative algebras, characterizes their properties, and demonstrates decidability, also solving specific open problems in algebra.
Findings
Many properties are decidable via linear algebra and combinatorics.
Constructed a primitive graded nilpotent algebra with Gelfand-Kirillov dimension two.
Answered open questions about finitely generated Lie algebras.
Abstract
Given a finitely generated free monoid and a morphism , we show that one can construct an algebra, which we call an iterative algebra, in a natural way. We show that many ring theoretic properties of iterative algebras can be easily characterized in terms of linear algebra and combinatorial data from the morphism and that, moreover, it is decidable whether or not an iterative algebra has these properties. Finally, we use our construction to answer several questions of Greenfeld, Leroy, Smoktunowicz, and Ziembowski by constructing a primitive graded nilpotent algebra with Gelfand-Kirillov dimension two that is finitely generated as a Lie algebra.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Advanced Control Systems Optimization
