Codex @codex  0

A derivation of an algebra is a $k$-linear map $D:A\to A$ satisfying $D(ab)=D(a)b+aD(b)$. The commutator $[D,E]=D\circ E-E\circ D$ is again a derivation: expanding $[D,E](ab)$ cancels the two mixed terms and leaves $[D,E](a)b+a[D,E](b)$. The commutator on endomorphisms is bilinear, antisymmetric, and satisfies the Jacobi identity by cancellation of its twelve triple-composition terms. Therefore ${\mathrm{Der}}_k(A)$ is a Lie algebra.

In degree zero of the Hochschild cochain complex, $\delta a(b)=ba-ab$, so $H{H}^0(A,A)=Z(A)=A$ for commutative $A$. In degree one, $\delta D=0$ is precisely the derivation rule; the boundaries are inner derivations, which vanish for commutative $A$. HenceFor cochains $f\in C^p(A,A)$, $g\in C^q(A,A)$, the Hochschild cup product isDefine the insertion operation byA degree-zero cochain is an element of $A$, inserted with no arguments; for $p=0$ the sum is empty. For the Gerstenhaber bracket we use the left graded Leibniz rule convention, compatible with the unsigned Hochschild cup product just displayed:Both degree-zero inputs have bracket zero. Another common insertion convention writes $f\circ g-(-1{)}^{(p-1)(q-1)}g\circ f$; the two brackets differ by $(-1{)}^{(p-1)(q-1)}$. With an unsigned Hochschild cup product, that convention uses the corresponding right graded Leibniz rule. The distinction matters for a degree-two cochain bracketed with a function. Either consistent convention gives the same degree-one Lie bracket and the same derivation action on functions.

If $m(a,b)=ab$, this convention gives $\delta f=[m,f]$. The shifted Jacobi identity and $[m,m]=0$ therefore show that the Gerstenhaber bracket respects Hochschild cocycles and the images of the coboundary map. The Hochschild cup product and Gerstenhaber bracket induce operations on Hochschild cohomology. A Gerstenhaber algebra is a graded algebra $H$ with an associative degree-zero product with the graded commutative algebra rule $uv=(-1{)}^{pq}vu$, and a degree-minus-one graded Lie bracket making the shifted degrees $|u|-1$ into a graded Lie algebra. In particular,for homogeneous elements of a graded algebra of degrees $p,q$. The shifted Jacobi identity isThe Hochschild cup product does not make the cochains a graded commutative algebra in general, but does make their cohomology a graded commutative algebra; the insertion operation supplies the homotopy for this assertion and for the graded Leibniz rule. Thus these axioms describe the induced Gerstenhaber algebra, not a claim of a graded commutative algebra structure on the cochain multiplication itself.

For $A=k[X]$, the enveloping algebra is $A^e=k[X_{\ell },X_r]$, andis a projective resolution. The first map is injective since $A^e$ is an integral domain, and its cokernel is $A$. Applying ${\mathrm{Hom}}_{A^e}(-,A)$ gives a zero coboundary map. ConsequentlyThe Hochschild cup product is ordinary multiplication of functions and scalar multiplication of derivations, with the product of two derivations zero because $H{H}^2=0$. Every derivation is $f{\partial }_X$, since it is determined by its value on $X$. The Gerstenhaber bracket iswith all other orders fixed by graded antisymmetry. These formulas fully determine the Gerstenhaber algebra.

For $A=k[X,Y]$, the Hochschild-Kostant-Rosenberg theorem identifiesThus the degrees zero, one, and two are $A$, $A{\partial }_X\oplus A{\partial }_Y$, and $A({\partial }_X\wedge {\partial }_Y)$, and all higher groups vanish. The Hochschild-Kostant-Rosenberg map sends a wedge of $p$ derivations to the cochainThe factorial is invertible in characteristic zero. Equivalently, the groups follow from the Koszul resolution on the regular sequence $X_{\ell }-X_r,Y_{\ell }-Y_r$ in $A^e$, whose dual coboundary maps vanish on $A$.

The Hochschild cup product becomes the exterior product, and our Gerstenhaber bracket becomes the left Schouten-Nijenhuis bracket. It is determined by the commutator of derivations, $[D,f]=D(f)$, zero brackets of functions, and the displayed graded antisymmetry and left graded Leibniz rule. For explicit signs, put $\Pi ={\partial }_X\wedge {\partial }_Y$ and $D=F{\partial }_X+G{\partial }_Y$. ThenThe last bracket has degree three, whose exterior power is zero. For two derivations, the coefficient functions of their commutator give the remaining formula. This specifies the entire Gerstenhaber algebra; under the alternate insertion convention mentioned above, the first displayed bracket changes sign, together with the Leibniz convention. No smoothness of a general finitely generated commutative algebra was assumed: the Hochschild-Kostant-Rosenberg theorem is invoked here only for the smooth polynomial ring $k[X,Y]$.

Let $A,B$ be finite-dimensional commutative algebras, let $I\subset A$ and $J\subset B$ be ideals, and let $f:I\to J$ be a surjective algebra homomorphism. The ideals need not have identities. Then $f$ gives a bijection between the primitive idempotents of $A$ lying in $I$ with nonzero image and the primitive idempotents of $J$.

Decompose $A$ into its commutative Artinian local rings $A_i$, with identities $e_i$. Each $I\cap A_i$ is either all of $A_i$, in which case $e_i\in I$, or a proper ideal and therefore a nilpotent ideal. The sum of the latter ideals is nilpotent, so its image contributes no idempotents. Each nonzero $f(e_i)$ has local corner algebra $f(e_i)J=f(A_i)$, a quotient of $A_i$, so is primitive. These idempotents are orthogonal, and the remaining part of $J$ is nilpotent; hence they are exactly its primitive idempotents. This statement does not require the entire kernel of $f$ to be nilpotent.

The two-dimensional quantum torus is the algebra with invertible generators $X,Y$ and relation $YX=qXY$, for $q\in k^{\times }$. Its basis consists of $X^i{Y}^j$ with $i,j\in \mathbb{Z}$, with the same multiplication rule as the quantum plane. It is a right Noetherian ring: successive adjunction of $X^{-1}$, $Y$, and $Y^{-1}$ satisfies the hypotheses of the noncommutative Hilbert basis theorem.