Description of two-sided ideals in a class of noncommutative rings. I (Q1332041)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Description of two-sided ideals in a class of noncommutative rings. I |
scientific article |
Statements
Description of two-sided ideals in a class of noncommutative rings. I (English)
0 references
20 September 1994
0 references
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})\).
0 references
generalized Weil algebra
0 references
automorphism
0 references
lattice of ideals
0 references
annihilator
0 references
prime \(A\)-module
0 references
two-sided ideals
0 references
idempotent ideals
0 references
commuting relatively prime ideals
0 references
intersection of relatively prime ideals
0 references
product of maximal ideals
0 references