Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Suppose we have the following situation: $I = \oplus_{i=1}^{p-1}I_1$ is a decomposition of an $R$-ideal in invertible modules of rank $1$, $I_iI_j \subset I_{i+j \pmod{p-1}}$ and $I_1^i = I_{i \pmod{p-1}}$.

Then it is clear that $\text{Sym}_RI_1$ surjects onto $R$, but why is the kernel of the natural map $\text{Sym}_RI_1 \to R$ generated by $(a-1)\otimes I_1^{\otimes p}$, where $a \in I_1^{\otimes 1-p} = \text{Hom}(I_1^{\otimes p}, I_1)$ is the multiplication map $I_1^{\otimes p} \to I_1$?

It is somewhat clear, but I need a stringent argument.

share|improve this question

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.