On the number of generators of an algebra

DOI10.1016/J.CRMA.2016.11.015MaRDI QIDQ501867zbMATH OpenOpenAlexWikidataFDO

Authors Uriya A. First, Zinovy Reichstein

Publication date 10 January 2017

Published in Comptes Rendus. Mathématique. Académie des Sciences, Paris (Search for Journal in Brave)

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

zbMATH Keywords

(maximal) spectrum\(R\)-algebracommutative Noetherian ringgenerator

Mathematics Subject Classification ID

Dimension theory, depth, related commutative rings (catenary, etc.) (13C15) Commutative Noetherian rings and modules (13E05) Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.) (16H05)

Abstract: A classical theorem of Forster asserts that a finite module $M$ of rank $leqn$ over a Noetherian ring of Krull dimension $d$ can be generated by $n+d$ elements. We prove a generalization of this result, with "module" replaced by "algebra". Here we allow arbitrary finite algebras, not necessarily unital, commutative or associative. Forster's theorem can be recovered as a special case by viewing a module as an algebra where the product of any two elements is $0$.

Review text

Let \(R\) be a commutative Noetherian ring with identity. Denote by \(\text{Spec}\, R\) and \(\text{Max}\, R\) the spectrum and the maximal spectrum of \(R\) respectively. For \(\mathfrak{p}\in \text{Spec}\, R\), \(R(\mathfrak{p})\) denotes the fraction field of \(R/\mathfrak{p}\). The authors prove the following: Theorem. If \(\text{dim \,Max}\, R = d\) and \(A\) is a finite \(R\)-algebra (not necessarily commutative, associative or having a unit element) such that \(A(\mathfrak{p})=A \otimes_R (\mathfrak{p})\) can be generated by \(n\) elements as a non-unital \(R(\mathfrak{p})\)-algebra for every \(\mathfrak{p}\in \text{Max}\, R\), then \(A\) can be generated by \(n + d\) elements as a non-unital \(R\)-algebra. When the multiplication map \(A\times A\to A\) is identically zero, the following classical theorem of Forster is recovered: if \(R\) is Noetherian of Krull dimension \(d\), \(M\) is a finite \(R\)-module and the \(R(\mathfrak{p})\)-module \(M(\mathfrak{p}) := M \otimes_R R(\mathfrak{p})\) can be generated by \(n\) elements for every \(\mathfrak{p}\in \text{Max}\, R\), then \(M\) can be generated by \(n + d\) elements.

Recommendations

• On the number of generators of an algebra over a commutative ring
• On the number of generators of a projective module
• The Number of Generators of Modules over Polynomial Rings
• Number of generators of a module over a ring of polynomials
• On Choosing Generating Sets for Ideals

Cites work

• A taste of Jordan algebras
• Central simple algebras and Galois cohomology
• Generating modules efficiently: Theorems from algebraic K-theory
• scientific article; zbMATH DE number 1673451 (Why is no real title available?)
• scientific article; zbMATH DE number 1201676 (Why is no real title available?)
• scientific article; zbMATH DE number 688048 (Why is no real title available?)
• scientific article; zbMATH DE number 3234475 (Why is no real title available?)
• Inner derivations of alternative algebras over commutative rings
• On Automorphisms of Matrix Invariants
• On the number of generators of a projective module
• Separable algebras over commutative rings
• The number of generators of a module
• The number of generators of a module over a fully bounded ring
• Über die Anzahl der Erzeugenden eines Ideals in einem Noetherschen Ring

Cited in

(17)

• A-generators for certain polynomial algebras
• The Number of Generators of Modules over Polynomial Rings
• scientific article; zbMATH DE number 3480120 (Why is no real title available?)
• On the smallest number of generators and the probability of generating an algebra
• Classifying spaces for étale algebras with generators
• On the number of generators of an algebra over a commutative ring
• On the lengths of group algebras of finite abelian groups in the semi-simple case
• POTENTIAL ALGEBRAS WITH FEW GENERATORS
• On the Number of Generators of a Free Product
• Albert algebras over and other rings
• Spaces of generators for the \(2 \times 2\) complex matrix algebra
• Bounding cohomology classes over semiglobal fields
• Irredundant generating sets for matrix algebras
• On the Grothendieck-Serre conjecture for classical groups
• Spaces of generators for Azumaya algebras with unitary involution
• The diameter of commuting graph of matrix ring of division rings
• Patching for étale algebras and the period-index problem for higher degree Galois cohomology groups over Hensel semi-global fields

This page was built for publication: On the number of generators of an algebra

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