Bimodules in differential polynomial rings
We study the $R$-sub-bimodule structure of differential polynomial rings $R[x;δ]$ by introducing the notion of strong simplicity, requiring each nonzero $R$-sub-bimodule of $R[x;δ]$ to be either $R[x;δ]$ or the truncation $\sum_{i=0}^n R x^i$ for some $n \in \mathbb{Z}_{\geq 0}$. Our main result gives a complete characterization: $R[x;δ]$ is strongly simple if and only if $R$ is simple, ${\rm char}(R)=0$, and the derivation $δ$ is outer. We provide examples illustrating both when strong simplicity fails and when it holds.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.02311
curl -X POST /api/v1/records/arxiv/2607.02311/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.02311/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'