Ideal Structures in Idealizations and Cardinalities of Annihilating Ideals

Reza Nikandish

In the authors' words

We describe the ideals of an idealization $D ⋉ M$ by triples $(I, N, φ)$ , where $I$ is an ideal of $D$ , $N$ is a submodule of $M$ with $I M \subseteq N$ , and $φ \in Hom_{D} (I, M / N)$ . For a domain $D$ and torsion-free $M$ , the nonzero proper ideals of $D ⋉ M$ with nonzero annihilator are exactly $0 ⋉ N$ . As an application, for $R = R [[t]] ⋉ R [[t]]$ , the nonzero proper annihilating ideals form a countable set, while the set of all nonzero proper ideals has cardinality $2^{ℵ_{0}}$ . This answers negatively a question of Behboodi and Rakeei.

Main resultThe abstract does not state a limitation.

Ideal Structures in Idealizations and Cardinalities of Annihilating Ideals

In the authors' words

More on Algebra & number theory that day

The Odlyzko-Poonen Conjecture on Irreducibility of Random Polynomials

Solution to Dixmier's Problem about spectra of C*-algebras

Poincar\'e Duality and Quadratic Refinements over Laurent Rings

On Haagerup-Izumi fusion categories

Monoidal Gr\"obner systems and categories of affine Brauer type