Misplaced Pages

Koszul algebra

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Process in mathematics
This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (May 2024) (Learn how and when to remove this message)

In abstract algebra, a Koszul algebra R {\displaystyle R} is a graded k {\displaystyle k} -algebra over which the ground field k {\displaystyle k} has a linear minimal graded free resolution, i.e., there exists an exact sequence:

( R ( i ) ) b i ( R ( 2 ) ) b 2 ( R ( 1 ) ) b 1 R k 0. {\displaystyle \cdots \rightarrow (R(-i))^{b_{i}}\rightarrow \cdots \rightarrow (R(-2))^{b_{2}}\rightarrow (R(-1))^{b_{1}}\rightarrow R\rightarrow k\rightarrow 0.}

for some nonnegative integers b i {\displaystyle b_{i}} . Here R ( j ) {\displaystyle R(-j)} is the graded algebra R {\displaystyle R} with grading shifted up by j {\displaystyle j} , i.e. R ( j ) i = R i j {\displaystyle R(-j)_{i}=R_{i-j}} , and the exponent b i {\displaystyle b_{i}} refers to the b i {\displaystyle b_{i}} -fold direct sum. Choosing bases for the free modules in the resolution, the chain maps are given by matrices, and the definition requires the matrix entries to be zero or linear forms.

An example of a Koszul algebra is a polynomial ring over a field, for which the Koszul complex is the minimal graded free resolution of the ground field. There are Koszul algebras whose ground fields have infinite minimal graded free resolutions, e.g, R = k [ x , y ] / ( x y ) {\displaystyle R=k/(xy)} .

The concept is named after the French mathematician Jean-Louis Koszul.

See also

References


Stub icon

This algebra-related article is a stub. You can help Misplaced Pages by expanding it.

Categories: