Ideal Structures in Idealizations and Cardinalities of Annihilating Ideals
We describe the ideals of an idealization $D\ltimes M$ by triples $(I,N,\varphi)$, where $I$ is an ideal of $D$, $N$ is a submodule of $M$ with $IM\subseteq N$, and $\varphi\in\operatorname{Hom}_D(I,M/N)$. For a domain $D$ and torsion-free $M$, the nonzero proper ideals of $D\ltimes M$ with nonzero annihilator are exactly $0\ltimes N$. As an application, for $R=\mathbb R[[t]]\ltimes\mathbb R[[t]]$, the nonzero proper annihilating ideals form a countable set, while the set of all nonzero proper ideals has cardinality $2^{\aleph_0}$. This answers negatively a question of Behboodi and Rakeei.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.25157
curl -X POST /api/v1/records/arxiv/2609.25157/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.25157/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'