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

filtered algebrasgood reductiongraded algebrasGröbner basesvaluations

Mathematics Subject Classification ID

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

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

• 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
• 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?)
• 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)

• 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.
• Unramified reductors of filtered and graded algebras.
• Graded algebra associated to a valuation of \(K[x]\)
• Real valuations on skew polynomial rings
• scientific article; zbMATH DE number 1569145 (Why is no real title available?)
• Valuation Extensions of Filtered and Graded Algebras

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)