Skip to content
BY-NC-ND 3.0 license Open Access Published by De Gruyter Open Access March 24, 2012

An analogue of the Duistermaat-van der Kallen theorem for group algebras

  • Wenhua Zhao EMAIL logo and Roel Willems
From the journal Open Mathematics

Abstract

Let G be a group, R an integral domain, and V G the R-subspace of the group algebra R[G] consisting of all the elements of R[G] whose coefficient of the identity element 1G of G is equal to zero. Motivated by the Mathieu conjecture [Mathieu O., Some conjectures about invariant theory and their applications, In: Algèbre non Commutative, Groupes Quantiques et Invariants, Reims, June 26–30, 1995, Sémin. Congr., 2, Société Mathématique de France, Paris, 1997, 263–279], the Duistermaat-van der Kallen theorem [Duistermaat J.J., van der Kallen W., Constant terms in powers of a Laurent polynomial, Indag. Math., 1998, 9(2), 221–231], and also by recent studies on the notion of Mathieu subspaces, we show that for finite groups G, V G also forms a Mathieu subspace of the group algebra R[G] when certain conditions on the base ring R are met. We also show that for the free abelian groups G = ℤn, n ≥ 1, and any integral domain R of positive characteristic, V G fails to be a Mathieu subspace of R[G], which is equivalent to saying that the Duistermaat-van der Kallen theorem cannot be generalized to any field or integral domain of positive characteristic.

[1] Bass H., Connell E., Wright D., The Jacobian conjecture: reduction of degree and formal expansion of the inverse, Bull. Amer. Math. Soc., 1982, 7(2), 287–330 http://dx.doi.org/10.1090/S0273-0979-1982-15032-710.1090/S0273-0979-1982-15032-7Search in Google Scholar

[2] Duistermaat J.J., van der Kallen W., Constant terms in powers of a Laurent polynomial, Indag. Math., 1998, 9(2), 221–231 http://dx.doi.org/10.1016/S0019-3577(98)80020-710.1016/S0019-3577(98)80020-7Search in Google Scholar

[3] van den Essen A., Polynomial Automorphisms and the Jacobian Conjecture, Progr. Math., 190, Birkhäuser, Basel, 2000 10.1007/978-3-0348-8440-2Search in Google Scholar

[4] van den Essen A., The amazing image conjecture, preprint available at http://arxiv.org/abs/1006.5801 Search in Google Scholar

[5] van den Essen A., Willems R., Zhao W., Some results on the vanishing conjecture of differential operators with constant coefficients, preprint available at http://arxiv.org/abs/0903.1478 Search in Google Scholar

[6] van den Essen A., Wright D., Zhao W., Images of locally finite derivations of polynomial algebras in two variables, J. Pure Appl. Algebra, 2011, 215(9), 2130–2134 http://dx.doi.org/10.1016/j.jpaa.2010.12.00210.1016/j.jpaa.2010.12.002Search in Google Scholar

[7] van den Essen A., Wright D., Zhao W., On the image conjecture, J. Algebra, 2011, 340, 211–224 http://dx.doi.org/10.1016/j.jalgebra.2011.04.03610.1016/j.jalgebra.2011.04.036Search in Google Scholar

[8] van den Essen A., Zhao W., Mathieu subspaces of univariate polynomial algebras, preprint available at http://arxiv.org/abs/1012.2017 Search in Google Scholar

[9] Francoise J.P., Pakovich F., Yomdin Y., Zhao W., Moment vanishing problem and positivity: some examples, Bull. Sci. Math., 2011, 135(1), 10–32 http://dx.doi.org/10.1016/j.bulsci.2010.06.00210.1016/j.bulsci.2010.06.002Search in Google Scholar

[10] Keller O.-H., Ganze Cremona-Transformationen, Monatsh. Math. Phys., 1939, 47(1), 299–306 http://dx.doi.org/10.1007/BF0169550210.1007/BF01695502Search in Google Scholar

[11] Mathieu O., Some conjectures about invariant theory and their applications, In: Algèbre non Commutative, Groupes Quantiques et Invariants, Reims, June 26–30, 1995, Sémin. Congr., 2, Société Mathématique de France, Paris, 1997, 263–279 Search in Google Scholar

[12] Passman D.S., The Algebraic Structure of Group Rings, Pure Appl. Math. (N. Y.), John Wiley & Sons, New York-London-Sydney, 1977 Search in Google Scholar

[13] Zhao W., Hessian nilpotent polynomials and the Jacobian conjecture, Trans. Amer. Math. Soc., 2007, 359(1), 249–274 http://dx.doi.org/10.1090/S0002-9947-06-03898-010.1090/S0002-9947-06-03898-0Search in Google Scholar

[14] Zhao W., A vanishing conjecture on differential operators with constant coefficients, Acta Math. Vietnam., 2007, 32(2–3), 259–286 Search in Google Scholar

[15] Zhao W., Images of commuting differential operators of order one with constant leading coefficients, J. Algebra, 2010, 324(2), 231–247 http://dx.doi.org/10.1016/j.jalgebra.2010.04.02210.1016/j.jalgebra.2010.04.022Search in Google Scholar

[16] Zhao W., Generalizations of the image conjecture and the Mathieu conjecture, J. Pure Appl. Algebra, 2010, 214(7), 1200–1216 http://dx.doi.org/10.1016/j.jpaa.2009.10.00710.1016/j.jpaa.2009.10.007Search in Google Scholar

[17] Zhao W., A generalization of Mathieu subspaces to modules of associative algebras, Cent. Eur. J. Math., 2010, 8(6), 1132–1155 http://dx.doi.org/10.2478/s11533-010-0068-610.2478/s11533-010-0068-6Search in Google Scholar

[18] Zhao W., New proofs for the Abhyankar-Gurjar inversion formula and the equivalence of the Jacobian conjecture and the vanishing conjecture, Proc. Amer. Math. Soc., 2011, 139(9), 3141–3154 http://dx.doi.org/10.1090/S0002-9939-2011-10744-510.1090/S0002-9939-2011-10744-5Search in Google Scholar

[19] Zhao W., Mathieu subspaces of associative algebras, J. Algebra, 2012, 350(2), 245–272 http://dx.doi.org/10.1016/j.jalgebra.2011.09.03610.1016/j.jalgebra.2011.09.036Search in Google Scholar

[20] http://en.wikipedia.org/wiki/Newton’s_identities Search in Google Scholar

[21] http://en.wikipedia.org/wiki/Cayley-Hamilton_theorem Search in Google Scholar

Published Online: 2012-3-24
Published in Print: 2012-6-1

© 2012 Versita Warsaw

This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Downloaded on 30.3.2024 from https://www.degruyter.com/document/doi/10.2478/s11533-012-0028-4/html
Scroll to top button