On the number of generators of an algebra (Q501867)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the number of generators of an algebra
scientific article

    Statements

    On the number of generators of an algebra (English)
    0 references
    0 references
    0 references
    10 January 2017
    0 references
    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.
    0 references
    0 references
    0 references
    0 references
    0 references
    commutative Noetherian ring
    0 references
    (maximal) spectrum
    0 references
    \(R\)-algebra
    0 references
    generator
    0 references
    0 references
    0 references
    0 references