Let be a free graded -module of rank spanned by and with
| (11) |
We equip with a commutative algebra structure with the unit and multiplication
| (12) |
We denote by the unit map which sends to This map is a graded map of graded -modules and it increases the degree by
Original source: arXiv:math/9908171v2