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

DOI10.1007/S10468-011-9287-1zbMATH Open1269.16039arXiv1011.2860OpenAlexW2022008269MaRDI QIDQ694582FDOQ694582

Authors: Huishi Li 

Publication date: 13 December 2012

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

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.

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

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.

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)

Cites Work

• An introduction to commutative and noncommutative Gröbner bases
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Binomial skew polynomial rings, Artin-Schelter regularity, and binomial solutions of the Yang-Baxter equation
• Noncommutative Gröbner bases and filtered-graded transfer.
• Algebras Defined by Monic Gr\"obner Bases over Rings
• Examples and quantum sections of schematic algebras
• Filtrations on simple Artinian rings
• Grothendieck topology, coherent sheaves and Serre's theorem for schematic algebras
• Valuations on extensions of Weyl skew fields
• A note on the extension of discrete valuations to affine domains
• Reductions and global dimension of quantized algebras over a regular commutative domain
• Title not available (Why is that?)
• Discrete Valuations Extend to Certain Algebras of Quantum Type
• Valuation Extensions of Filtered and Graded Algebras

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.
• Good reduction of good filtrations at places.
• Real valuations on skew polynomial rings
• Graded algebra associated to a valuation of \(K[x]\)
• Unramified reductors of filtered and graded algebras.
• Title not available (Why is that?)

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)