Description of two-sided ideals in a class of noncommutative rings. I (Q1332041)

Let \(A = {\mathcal D} (\sigma, a)\) be a generalized Weil algebra of degree 1 with a base Dedekind ring \(\mathcal D\), where \(a\) is a defining element \(0 \neq a \in {\mathcal D}\) and the automorphism \(\sigma \in \text{Aut} ({\mathcal D})\) is assumed to satisfy the condition: \(\sigma^ n({\mathfrak p}) \neq {\mathfrak p}\) for any maximal ideal of \(A\) and \(0 \neq n \in \mathbb{Z}\). The lattice of ideals of the ring \(A\) is finite and distributive. The ideal \(\mathfrak a\) of \(A\) is prime iff \(\mathfrak a\) is maximal iff \(\mathfrak a\) is an annihilator of a prime \(A\)-module with \(\mathcal D\)-torsion and finite support. The two-sided ideals of \(A\) are classified: any proper ideal \(\mathfrak a\) of \(A\) is uniquely characterized by a collection of matrices. The number and the characterization of idempotent ideals of \(A\) are also indicated. Any proper two-sided ideal of \(A\) can be uniquely represented as a product of commuting relatively prime ideals (i.e. \({\mathfrak a}_ i + {\mathfrak a}_ j = A\) and \({\mathfrak a}_ i {\mathfrak a}_ j = {\mathfrak a}_ j {\mathfrak a}_ i\) for any \(i \neq j\)). The representation of the ideal \(\mathfrak a\) as an intersection of relatively prime ideals is uniquely defined. Each proper ideal of \(A\) can be represented as a product of maximal ideals iff all ideals of \(A\) are commuting \(({\mathfrak a}{\mathfrak b} = {\mathfrak b}{\mathfrak a})\).