Valuation extensions of algebras defined by monic Gröbner bases.

DOI10.1007/S10468-011-9287-1MaRDI QIDQ694582zbMATH OpenOpenAlexFDO

Authors Huishi Li

Publication date 13 December 2012

Published in Algebras and Representation Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1011.2860

zbMATH Keywords

graded algebrasgood reductionvaluationsfiltered algebrasGröbner bases

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Computational aspects of associative rings (general theory) (16Z05) Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60) Filtered associative rings; filtrational and graded techniques (16W70) Valuations and their generalizations for commutative rings (13A18)

Abstract: Let $K$ be a field, $mathcal{O}_v$ a valuation ring of $K$ associated to a valuation $v$: $KightarrowGammacupinfty$, and $$ the unique maximal ideal of $mathcal{O}_v$. Consider an ideal $mathcalI$ of the free $K$-algebra $KlangleXangle=Klangle{X}_1,\mathrm{...},X_{n}angle$ on $X_1,\mathrm{...},X_n$. If $calI$ is generated by a subset $mathcalGsubset{calO}_{v}langleXangle$ which is a monic Gr"obner basis of $calI$ in $KlangleXangle$, where $mathcal{O}_{v}langleXangle=mathcal{O}_{v}langle{X}_1,\mathrm{...},X_{n}angle$ is the free $mathcal{O}_v$-algebra on $X_1,\mathrm{...},X_n$, then the valuation $v$ induces naturally an exhaustive and separated $Gamma$-filtration $F^{v}A$ for the $K$-algebra $A=KlangleXangle/mathcalI$, and moreover $mathcalIcapmathcal{O}_{v}langleXangle=langlemathcalGangle$ holds in $mathcal{O}_{v}langleXangle$; it follows that, if furthermore $$ and $klangleXangle/langleoverlinemathcalGangle$ is a domain, where $$ is the residue field of $mathcal{O}_v$, $klangleXangle=klangle{X}_1,\mathrm{...},X_{n}angle$ is the free $k$-algebra on $X_1,\mathrm{...},X_n$, and $overlinemathcalG$ is the image of $mathcalG$ under the canonical epimorphism $mathcal{O}_{v}langleXangleightarrowklangleXangle$, then $F^{v}A$ determines a valuation function $AightarrowGammacupinfty$, and thereby $v$ extends naturally to a valuation function on the (skew-)field $Delta$ of fractions of $A$ provided $Delta$ exists.

Recommendations

• Valuation Extensions of Filtered and Graded Algebras
• Gröbner bases over fields with valuations
• Valuations and filtrations
• Properties of Gröbner basis over a Noetherian valuation ring
• Algebras defined by monic Gröbner bases over rings.

Cites work

• scientific article; zbMATH DE number 3754596 (Why is no real title available?)
• scientific article; zbMATH DE number 1490624 (Why is no real title available?)
• scientific article; zbMATH DE number 1759234 (Why is no real title available?)
• scientific article; zbMATH DE number 3056923 (Why is no real title available?)
• A note on the extension of discrete valuations to affine domains
• Algebras defined by monic Gröbner bases over rings.
• An introduction to commutative and noncommutative Gröbner bases
• Binomial skew polynomial rings, Artin-Schelter regularity, and binomial solutions of the Yang-Baxter equation
• Discrete Valuations Extend to Certain Algebras of Quantum Type
• Examples and quantum sections of schematic algebras
• Filtrations on simple Artinian rings
• Grothendieck topology, coherent sheaves and Serre's theorem for schematic algebras
• Noncommutative Gröbner bases and filtered-graded transfer.
• Reductions and global dimension of quantized algebras over a regular commutative domain
• Valuation Extensions of Filtered and Graded Algebras
• Valuations on extensions of Weyl skew fields

Cited in

(8)

• Valuation Extensions of Filtered and Graded Algebras
• Construction of the Lindström valuation of an algebraic extension
• Monogenic Hopf algebras over discrete valuation rings with low ramification.
• Real valuations on skew polynomial rings
• Good reduction of good filtrations at places.
• Graded algebra associated to a valuation of \(K[x]\)
• Unramified reductors of filtered and graded algebras.
• scientific article; zbMATH DE number 1569145 (Why is no real title available?)

This page was built for publication: Valuation extensions of algebras defined by monic Gröbner bases.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q694582)