Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A polynomial bound on the number of comaximal localizations needed in order to make free a projective module - MaRDI portal

A polynomial bound on the number of comaximal localizations needed in order to make free a projective module (Q2431196)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A polynomial bound on the number of comaximal localizations needed in order to make free a projective module
scientific article

    Statements

    A polynomial bound on the number of comaximal localizations needed in order to make free a projective module (English)
    0 references
    0 references
    0 references
    11 April 2011
    0 references
    From the author's abstract: ``Let \(\mathbf A\) be a commutative ring and \(M\) be a projective \(\mathbf A\)-module of rank \(k\) with \(n\) generators. Standard computations show that \(M\) becomes free after localizations in \(\binom nk\) comaximal elements (see Theorem 5). When the base ring \(\mathbf A\) contains a field with at least \((n-k)k+1\) non-zero distinct elements we construct a comaximal family \(G\) with at most \(((n-k)k+1)(nk+1)\) elements such that for each \(g\in G\), the module \(M_g\) is free over \(\mathcal A[1/g]\).'' Section 4 contains several interesting new questions. I am missing the Vandermonde ideal, which is mentioned in the headline of section 2.
    0 references
    commutative rings and algebras
    0 references
    projective modules
    0 references
    commutative ring
    0 references
    free module
    0 references
    localization
    0 references
    comaximal
    0 references
    computational difficulty of problems
    0 references
    Gram's ideal
    0 references
    0 references

    Identifiers