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
On Gaussian polynomials and content ideal - MaRDI portal

On Gaussian polynomials and content ideal (Q839704)

From MaRDI portal





scientific article; zbMATH DE number 5601576
Language Label Description Also known as
English
On Gaussian polynomials and content ideal
scientific article; zbMATH DE number 5601576

    Statements

    On Gaussian polynomials and content ideal (English)
    0 references
    0 references
    0 references
    2 September 2009
    0 references
    Here are the main results of this paper: \parindent=6mm\begin{itemize}\item[{\(\bullet\)}] Let \((A,M)\) be a local ring which is not a field such that \(M^2=0\), and let \(R=A\propto E\) be the trivial ring extension of \(A\) by a nonzero \(A\)-module \(E\). Assume that \(R\) satisfies the following property: \[ \text{Each Gaussian polynomial over \(R\) has locally principal content.}\tag{\(*\)} \] Then (1) \(ME\neq0\); (2) If \(E\) a free \(A\)-module, then rank\(_A (E)=1\) and \(M\) is a principal ideal. \item[{\(\bullet\)}] Let \((A,M)\) be a local ring which is not a field that satisfies property (\(*\)) and such that \(M^2=0\) . Then \(A\) is a Bézout ring. \item[{\(\bullet\)}] A finite product of rings satisfies property (\(*\)) iff each of its factors satisfies this property. \end{itemize}
    0 references
    0 references
    Gaussian polynomial
    0 references
    content ideal
    0 references
    locally principal
    0 references
    trivial ring extension
    0 references
    direct product.
    0 references

    Identifiers