Hochschild cohomology of the integral group ring of a cyclic group and related algebras

From MaRDI portal
Publication:2365004





Let \(k\) be a commutative ring with unity and let \(f\in k[X]\) be a monic polynomial. We consider the \(k\)-algebra \(A_f=k[X]/(f)\) and study the structure of the corresponding Hochschild cohomology ring \(HH^*(A_f)\). This relies on the construction of a periodic resolution for these algebras given by The Buenos Aires Cyclic Homology Group [in \(K\)-Theory 5, No. 1, 51-69 (1991; Zbl 0743.13008)]. The main result is a description of the subring of elements of even degree \[ HH^{\text{ev}}(A_f) \cong k[x,z]/(f(x),f'(x)z) \] where \(x\) has degree 0, \(z\) has degree 2 and \(f'\) is the derivative of \(f\). If \(C_n\) is a cyclic group of order \(n\) and \(k\) is an integral domain whose characteristic does not divide \(n\) then the above result already describes the structure of the whole Hochschild cohomology ring. Applied to the integral case this gives \[ HH^*(\mathbb{Z} C_n)\cong\mathbb{Z}[x,z]/(x^n-1,nx^{n-1}z). \]











This page was built for publication: Hochschild cohomology of the integral group ring of a cyclic group and related algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2365004)