Gröbner bases of associative algebras and the Hochschild cohomology
HTML articles powered by AMS MathViewer
- by Yuji Kobayashi PDF
- Trans. Amer. Math. Soc. 357 (2005), 1095-1124 Request permission
Abstract:
We give an algorithmic way to construct a free bimodule resolution of an algebra admitting a Gröbner base. It enables us to compute the Hochschild (co)homology of the algebra. Let $A$ be a finitely generated algebra over a commutative ring $K$ with a (possibly infinite) Gröbner base $G$ on a free algebra $F$, that is, $A$ is the quotient $F/I(G)$ with the ideal $I(G)$ of $F$ generated by $G$. Given a Gröbner base $H$ for an $A$-subbimodule $L$ of the free $A$-bimodule $A \cdot X \cdot A = A_K \otimes K \cdot X \otimes _KA$ generated by a set $X$, we have a morphism $\partial$ of $A$-bimodules from the free $A$-bimodule $A \cdot H \cdot A$ generated by $H$ to $A \cdot X \cdot A$ sending the generator $[h]$ to the element $h \in H$. We construct a Gröbner base $C$ on $F \cdot H \cdot F$ for the $A$-subbimodule Ker($\partial$) of $A \cdot H \cdot A$, and with this $C$ we have the free $A$-bimodule $A \cdot C \cdot A$ generated by $C$ and an exact sequence $A \cdot C \cdot A \rightarrow A \cdot H \cdot A \rightarrow A \cdot X \cdot A$. Applying this construction inductively to the $A$-bimodule $A$ itself, we have a free $A$-bimodule resolution of $A$.References
- David J. Anick, On the homology of associative algebras, Trans. Amer. Math. Soc. 296 (1986), no. 2, 641–659. MR 846601, DOI 10.1090/S0002-9947-1986-0846601-5
- Thomas Becker and Volker Weispfenning, Gröbner bases, Graduate Texts in Mathematics, vol. 141, Springer-Verlag, New York, 1993. A computational approach to commutative algebra; In cooperation with Heinz Kredel. MR 1213453, DOI 10.1007/978-1-4612-0913-3
- George M. Bergman, The diamond lemma for ring theory, Adv. in Math. 29 (1978), no. 2, 178–218. MR 506890, DOI 10.1016/0001-8708(78)90010-5
- Ronald V. Book and Friedrich Otto, String-rewriting systems, Texts and Monographs in Computer Science, Springer-Verlag, New York, 1993. MR 1215932, DOI 10.1007/978-1-4613-9771-7
- B. Buchberger, Ein Algorithmus zum Auffinden der Basiselemente des Restklassennringes nach einem nulldimensionalen Polynomideal, Ph.D. Thesis, Innsbruck, 1965.
- B. Buchberger, Gröbner bases: an algorithmic method in polynomial ideal theory, in: Recent Trends in Multidimensional System Theory, Reidel Publishing (1985), 184–232.
- Saunders MacLane, Steinitz field towers for modular fields, Trans. Amer. Math. Soc. 46 (1939), 23–45. MR 17, DOI 10.1090/S0002-9947-1939-0000017-3
- David Cox, John Little, and Donal O’Shea, Ideals, varieties, and algorithms, Undergraduate Texts in Mathematics, Springer-Verlag, New York, 1992. An introduction to computational algebraic geometry and commutative algebra. MR 1189133, DOI 10.1007/978-1-4757-2181-2
- Ed Green, Teo Mora, and Victor Ufnarovski, The non-commutative Gröbner freaks, Symbolic rewriting techniques (Ascona, 1995) Progr. Comput. Sci. Appl. Logic, vol. 15, Birkhäuser, Basel, 1998, pp. 93–104. MR 1624647
- Dieter Happel, Hochschild cohomology of finite-dimensional algebras, Séminaire d’Algèbre Paul Dubreil et Marie-Paul Malliavin, 39ème Année (Paris, 1987/1988) Lecture Notes in Math., vol. 1404, Springer, Berlin, 1989, pp. 108–126. MR 1035222, DOI 10.1007/BFb0084073
- Albert Eagle, Series for all the roots of the equation $(z-a)^m=k(z-b)^n$, Amer. Math. Monthly 46 (1939), 425–428. MR 6, DOI 10.2307/2303037
- Gérard Huet, Confluent reductions: abstract properties and applications to term rewriting systems, J. Assoc. Comput. Mach. 27 (1980), no. 4, 797–821. MR 594700, DOI 10.1145/322217.322230
- A. Kandri-Rody and V. Weispfenning, Noncommutative Gröbner bases in algebras of solvable type, J. Symbolic Comput. 9 (1990), no. 1, 1–26. MR 1044911, DOI 10.1016/S0747-7171(08)80003-X
- Deepak Kapur and Paliath Narendran, The Knuth-Bendix completion procedure and Thue systems, SIAM J. Comput. 14 (1985), no. 4, 1052–1072. MR 807899, DOI 10.1137/0214073
- Donald E. Knuth and Peter B. Bendix, Simple word problems in universal algebras, Computational Problems in Abstract Algebra (Proc. Conf., Oxford, 1967) Pergamon, Oxford, 1970, pp. 263–297. MR 0255472
- Yuji Kobayashi, Complete rewriting systems and homology of monoid algebras, J. Pure Appl. Algebra 65 (1990), no. 3, 263–275. MR 1072284, DOI 10.1016/0022-4049(90)90106-R
- Yuji Kobayashi, A finitely presented monoid which has solvable word problem but has no regular complete presentation, Theoret. Comput. Sci. 146 (1995), no. 1-2, 321–329. MR 1343236, DOI 10.1016/0304-3975(94)00264-J
- Huishi Li, Noncommutative Gröbner bases and filtered-graded transfer, Lecture Notes in Mathematics, vol. 1795, Springer-Verlag, Berlin, 2002. MR 1947291, DOI 10.1007/b84211
- A. C. Locateli, Hochschild cohomology of truncated quiver algebras, Comm. Algebra 27 (1999), no. 2, 645–664. MR 1671958, DOI 10.1080/00927879908826454
- Klaus Madlener and Birgit Reinert, Relating rewriting techniques on monoids and rings: congruences on monoids and ideals in monoid rings, Theoret. Comput. Sci. 208 (1998), no. 1-2, 3–31. Rewriting techniques and applications (New Brunswick, NJ, 1996). MR 1649830, DOI 10.1016/S0304-3975(98)00077-2
- F. More, Gröbner bases for noncommutative polynomial rings, In: AAECC3, Lect. Notes Comp. Sci. 229, 253–262, Springer, 1986.
Additional Information
- Yuji Kobayashi
- Affiliation: Department of Information Science, Toho University, Funabashi 274-8510, Japan
- Email: kobayasi@is.sci.toho-u.ac.jp
- Received by editor(s): September 10, 2002
- Received by editor(s) in revised form: September 9, 2003
- Published electronically: July 16, 2004
- © Copyright 2004 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 357 (2005), 1095-1124
- MSC (2000): Primary 16E05, 16E40, 16S15
- DOI: https://doi.org/10.1090/S0002-9947-04-03556-1
- MathSciNet review: 2110434