Graded perinormality (Q6972663)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 8051890
Language Label Description Also known as
default for all languages
No label defined
    English
    Graded perinormality
    scientific article; zbMATH DE number 8051890

      Statements

      Graded perinormality (English)
      0 references
      0 references
      12 June 2025
      0 references
      In the paper under review, the author introduced the graded analogue of perinormality. Let \(G\) be a torsion-free abelian group and \(R=\bigoplus_{\alpha \in G}R_{\alpha}\) be a \(G\)-graded integral domain, and assume that \(T\) is a homogeneous overring of \(R\). Then \(R\subseteq T\) is said to satisfy \textit{graded going-down} (abbreviated \(\mbox{gGD}\)) if, whenever \(P_0\subseteq P\) are homogeneous prime ideals of \(R\) and \(Q\) is a homogeneous prime ideal of \(T\) such that \(Q\cap R=P\), there exists a homogeneous prime ideal \(Q_0\) of \(T\) such that \(Q_0\subseteq Q\) and \(Q_0\cap R=P_0\). Then \(R\) is said to be a \textit{graded going-down domain} (for short, a \(\mbox{gGD}\) domain) if, for every homogeneous overring \(T\) of \(R\), the extension \(R\subseteq T\) satisfies \(\mbox{gGD}\).\N\NThe graded doamin \(R\) is called \textit{graded perinormal} if, whenever \(S\) is a graded-local graded overring of \(R\) such that \(S\) is a gGD domain, it follows that \(S\) is a localization of \(R\). Moreover, \(R\) is called \textit{graded globally perinormal} if the same conclusion holds when the condition on \(S\) being graded local is dropped. The properties of perinormality are extended to the graded setting. For example it is stated that \(R\) is a graded perinormal domain if and only if every graded overring that satisfies gGD is flat, and that if \(R\) is a graded perinormal domain then \(R\) is weakly normal. The author then considered the property graded-\(R_1\). A graded domain \(R\) is a \textit{gr-\((R_1)\) domain} if \(R_{H\setminus P}\) is a gr-valuation domain for each height one homogeneous prime ideal \(P\) of \(R\), where \(H\) is the set of nonzero homogeneous elements of \(R\). Among other things it is shown that a graded perinormal domain satisfies gr-\((R_1)\). The author also considered graded P-domains and proved that every graded P-domain is a perinormal domain. The paper ends with some results for descent of properties between a graded domain and its 0th graded component.
      0 references
      graded integral domain
      0 references
      graded going-down
      0 references
      graded perinormal domain
      0 references
      graded globally perinormal domain
      0 references
      flat overrings
      0 references
      graded overrings
      0 references
      weakly normal
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references