Iterative algebras.

DOI10.1007/S10468-015-9550-YMaRDI QIDQ5962977zbMATH OpenOpenAlexFDO

Publication date 25 February 2016

Published in Algebras and Representation Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1503.01632

combinatorics on words decidability finitely generated algebras free associative algebras Gelfand-Kirillov dimension graded nilpotent algebras graded-nil algebras iterative algebras Jacobson radical algebras Lie algebras monoids monomial algebras morphic words

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Applications of computability and recursion theory (03D80) Permutations, words, matrices (05A05) Nil and nilpotent radicals, sets, ideals, associative rings (16N40) Prime and semiprime associative rings (16N60) Growth rate, Gelfand-Kirillov dimension (16P90) (T)-ideals, identities, varieties of associative rings and algebras (16R10) Associative rings determined by universal properties (free algebras, coproducts, adjunction of inverses, etc.) (16S10) Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15) Graded rings and modules (associative rings and algebras) (16W50) Combinatorics on words (68R15)

Abstract: Given a finitely generated free monoid

X

and a morphism

p h i : X o X

, 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.

Review text

Monomial algebras have the advantage that many ring theoretic properties can be understood purely combinatorially in terms of combinatorics of words. They provide a rich class of examples in ring theory. In the paper under review the authors construct a new class of monomial algebras which they call iterative. They start with a finite alphabet \(\Sigma\) and an endomorphism \(\phi\) of the free monoid \(\Sigma^*\) on \(\Sigma\) with the property that there exists a variable \(b\in\Sigma\) and a nonempty word \(x\in\Sigma^*\) such that \(\phi(b)=bx\). Then the authors construct the right-infinite word \(w=bx\phi(x)\phi^2(x)\cdots\). The iterative algebra \(A_w\) associated with \(w\) is the factor algebra \(k\langle\Sigma\rangle/I\) of the free associative algebra on \(\Sigma\) over a field \(k\), where \(I\) is the ideal generated by all words which do not occur as subwords of \(w\). The authors show that iterative algebras retain many of the nice combinatorial properties of finitely presented algebras, but at the same time can sometimes possess bizarre properties due to the iterative nature of their definition. They show that ring theoretic properties such as being prime, semiprime, satisfying a polynomial identity and being Noetherian are all decidable in terms of the combinatorics of the endomorphism \(\phi\). The constructed algebras have Gelfand-Kirillov dimension in the set \(\{1,2,3\}\). As a result, the authors provided answers to several questions in [\textit{B. Greenfeld} et al., Algebr. Represent. Theory 18, No. 3, 777-800 (2015; Zbl 1335.16033)]. They construct a finitely generated \(k\)-algebra \(R\) that is a prime, graded nilpotent algebra, of Gelfand-Kirillov dimension two, has trivial Jacobson radical and is finitely generated as a Lie algebra. The construction provides another example of a graded-nil algebra which is not Jacobson radical. Such an algebra was first constructed by \textit{A. Smoktunowicz}, [Bull. Lond. Math. Soc. 40, No. 6, 917-928 (2008; Zbl 1161.16012)]. It gives also a primitive graded-nil algebra of quadratic growth, which was done in [\textit{L. Bartholdi}, Isr. J. Math. 193, 507-508 (2013; Zbl 1270.16023)].

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Iterative algebras.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5962977)