Grobner Bases in Ring Theory

Book excerpt: 1. Preliminaries. 1.1. Presenting algebras by relations. 1.2. S-graded algebras and modules. 1.3. [symbol]-filtered algebras and modules -- 2. The [symbol]-leading homogeneous algebra A[symbol]. 2.1. Recognizing A via G[symbol](A): part 1. 2.2. Recognizing A via G[symbol](A): part 2. 2.3. The [symbol-graded isomorphism A[symbol](A). 2.4. Recognizing A via A[symbol] -- 3. Grobner bases: conception and construction. 3.1. Monomial ordering and admissible system. 3.2. Division algorithm and Grobner basis. 3.3. Grobner bases and normal elements. 3.4. Grobner bases w.r.t. skew multiplicative K-bases. 3.5. Grobner bases in K[symbol] and KQ. 3.6. (De)homogenized Grobner bases. 3.7. dh-closed homogeneous Grobner bases -- 4. Grobner basis theory meets PBW theory. 4.1. [symbol]-standard basis [symbol]-PBW isomorphism. 4.2. Realizing [symbol]-PBW isomorphism by Grobner basis. 4.3. Classical PBW K-bases vs Grobner bases. 4.4. Solvable polynomial algebras revisited -- 5. Using A[symbol] in terms of Grobner bases. 5.1. The working strategy. 5.2. Ufnarovski graph. 5.3. Determination of Gelfand-Kirillov Dimension. 5.4. Recognizing Noetherianity. 5.5. Recognizing (semi- )primeness and PI-property. 5.6. Anick's resolution over monomial algebras. 5.7. Recognizing finiteness of global dimension. 5.8. Determination of Hilbert series -- 6. Recognizing (non- )homogeneous p-Koszulity via A[symbol]. 6.1. (Non- )homogeneous p-Koszul algebras. 6.2. Anick's resolution and homogeneous p-Koszulity. 6.3. Working in terms of Grobner bases -- 7. A study of Rees algebra by Grobner bases. 7.1. Defining [symbol] by [symbol]. 7.2. Defining [symbol] by [symbol]. 7.3. Recognizing structural properties of [symbol] via [symbol]. 7.4. An application to regular central extensions. 7.5. Algebras defined by dh-closed homogeneous Grobner bases -- 8. Looking for more Grobner bases. 8.1. Lifting (finite) Grobner bases from O[symbol]. 8.2. Lifting (finite) Grobner bases from a class of algebras. 8.3. New examples of Grobner basis theory. 8.4. Skew 2-nomial algebras. 8.5. Almost skew 2-nomial algebras