Analogue of the Duistermaat-van der Kallen Theorem for Group Algebras

Abstract

Let $G$ be a group, $R$ an integral domain, and $V_G$ the subspace of the group algebra $R[G]$ consisting of all the elements of $R[G]$ whose coefficient of the identity element $1_G$ of $G$ is equal to zero. Motivated by the Mathieu conjecture [M], the Duistermaat-van der Kallen theorem [DK], and also by recent studies on the notion of Mathieu subspaces introduced in [Z4] and [Z6], we show that for finite groups $G$, $V_G$ under certain conditions also forms a Mathieu subspace of the group algebra $R[G]$. We also show that for the free abelian groups $G={\mathbb{Z}}^n$ $(n\ge 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 [DK] cannot be generalized to any field or integral domain of positive characteristic.

arXiv commentLatex, 17 pages

References in corpus (6)

• A Vanishing Conjecture on Differential Operators with Constant Coefficients
• Some Results on the Vanishing Conjecture of Differential Operators with Constant Coefficients
• Mathieu Subspaces of Associative Algebras
• A Generalization of Mathieu Subspaces to Modules of Associative Algebras
• Mathieu Subspaces of Univariate Polynomial Algebras
• Images of Locally Finite Derivations of Polynomial Algebras in Two Variables

Cited by in corpus (3)

• Mathieu Subspaces of Associative Algebras
• A Generalization of Mathieu Subspaces to Modules of Associative Algebras
• The kernels of the linear maps of finite Abelian group algebras