Primitivity of finitely presented monomial algebras.

DOI10.1016/J.JPAA.2008.11.039MaRDI QIDQ1013104zbMATH OpenOpenAlexFDO

Authors Jason P. Bell, Pinar Colak

Publication date 16 April 2009

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

automaton algebrasfinitely presented algebrasmonomial algebrasPI algebrasprime algebrasprimitive algebras

Mathematics Subject Classification ID

Simple and semisimple modules, primitive rings and ideals in associative algebras (16D60) Prime and semiprime associative rings (16N60) Growth rate, Gelfand-Kirillov dimension (16P90) Semiprime p.i. rings, rings embeddable in matrices over commutative rings (16R20) Finite generation, finite presentability, normal forms (diamond lemma, term-rewriting) (16S15)

Abstract: We study prime monomial algebras. Our main result is that a prime finitely presented monomial algebra is either primitive or it has GK dimension one and satisfies a polynomial identity. More generally, we show this result holds for the class of emph{automaton algebras}; that is, monomial algebras that have a basis consisting of the set of words recognized by some finite state automaton. This proves a special case of a conjecture of the first author and Agata Smoktunowicz.

Review text

The authors study prime monomial algebras over a field \(K\). Given a subring \(B\) of a ring \(A\) the authors introduce algebras which are nearly free as left \(B\)-modules and prove the following theorem. Theorem 1 (Proposition 3.2). Let \(A\) be a prime algebra and suppose that \(B\) is a right primitive subalgebra of \(A\) such that: 1. \(A\) is nearly free as a left \(B\)-module. 2. Every nonzero two-sided ideal of \(A\) has the property that \(I\cap B\) is nonzero. -- Then \(A\) is right primitive. Next they prove the following theorem on automaton algebras. Theorem 2 (Theorem 4.1). Let \(K\) be a field and let \(A\) be a prime automaton algebra over \(K\). Then \(A\) is either primitive or \(A\) satisfies a polynomial identity. Next, they use the well known result that any finitely presented algebra is an automaton algebra [see \textit{A. Ya. Belov}, \textit{V. V. Borisenko} and \textit{V. N. Latyshev}, J. Math. Sci., New York 87, No. 3, 3463-3575 (1997; Zbl 0927.16018)] to obtain the following result. Theorem 3 (Theorem 1.2). Let \(K\) be a field and let \(A\) be a prime finitely presented monomial \(K\)-algebra. Then \(A\) is either primitive or \(A\) satisfies a polynomial identity. This proves a special case of a conjecture of the first author and A. Smoktunowicz. Another proof of Theorem 1.2 was later independently obtained by \textit{J. Okniński} [J. Algebra 320, No. 8, 3199-3205 (2008; Zbl 1196.16025)].

Recommendations

• Trichotomy for finitely generated monomial algebras.
• Structure of prime finitely presented monomial algebras.
• Automorphic orbits in free non-associative algebras
• On the semiprimitivity of finitely generated algebras.
• scientific article; zbMATH DE number 4132223
• On generators of polynomial algebras in two commuting or non-commuting variables
• Shirshov's theorem and division rings that are left algebraic over a subfield.
• Algebraic prime subalgebras in simple Artinian algebras.
• scientific article; zbMATH DE number 1569154
• Automorphism-primal algebras generate verbose varieties.

Cites work

• A Ring Primitive on the Right But Not on the Left
• Algebras which are nearly finite dimensional and their identities
• Automatic Sequences
• Examples in finite Gel'fand-Kirillov dimension
• scientific article; zbMATH DE number 5595162 (Why is no real title available?)
• scientific article; zbMATH DE number 193191 (Why is no real title available?)
• scientific article; zbMATH DE number 1380629 (Why is no real title available?)
• scientific article; zbMATH DE number 3282724 (Why is no real title available?)
• scientific article; zbMATH DE number 3311755 (Why is no real title available?)
• Monomial algebras
• On the primitivity of prime rings
• Prime affine algebras of Gelfand-Kirillov dimension one
• The prime spectrum of algebras of quadratic growth.

Cited in

(17)

• Prime and primitive algebras with prescribed growth types
• Growth, relations and prime spectrum of monomial algebras
• Finitely presented algebras and groups defined by permutation relations.
• Gröbner basis and the automaton property of Hecke-Kiselman algebras
• Finitely presented algebras defined by permutation relations of dihedral type.
• Gröbner bases for quadratic algebras of skew type.
• On the semiprimitivity of finitely generated algebras.
• On a class of automaton algebras
• Presentations of Monomial Algebras and Uniserial Modules
• On Monomial Algebras of Finite Global Dimension
• Trichotomy for finitely generated monomial algebras.
• Finitely presented monoids and algebras defined by permutation relations of Abelian type.
• scientific article; zbMATH DE number 1979687 (Why is no real title available?)
• An affine prime non-semiprimitive monomial algebra with quadratic growth.
• Unions of chains of primes
• Structure of prime finitely presented monomial algebras.
• A dichotomy result for prime algebras of Gelfand-Kirillov dimension two.

This page was built for publication: Primitivity of finitely presented monomial algebras.

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