**Yoshifumi Tsuchimoto**

- (Length of as an module is finite.)
- is generated by homogeneous elements where .

that is,

holds. In a matrix notation, this may be rewritten as

with , . Using the unit matrix one may also write :

Now let be the adjugate matrix of . In other words, it is a matrix which satisfies

Then we have

On the other hand, since modulo , we have for some . This clearly satisfies