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
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