|
|
|
|
internal direct sum of ideals
|
(Theorem)
|
|
|
Let $R$ be a ring and $\mathfrak{a}_1$ , $\mathfrak{a}_2$ , ..., $\mathfrak{a}_n$ its ideals (left, right or two-sided). We say that $R$ is the internal direct sum of these ideals, denoted by $$R = \mathfrak{a}_1\oplus\mathfrak{a}_2\oplus\cdots\oplus\mathfrak{a}_n,$$ if both of the following conditions are true: $$R = \mathfrak{a}_1+\mathfrak{a}_2+\cdots+\mathfrak{a}_n,$$ $$\mathfrak{a}_i\cap\sum_{j\neq
i}\mathfrak{a}_j = \{0\}\quad\forall i.$$
Theorem 1 If $\mathfrak{a}_1$ , $\mathfrak{a}_2$ , ..., $\mathfrak{a}_n$ are ideals of the ring $R$ , then the following two statements are equivalent:
- $R = \mathfrak{a}_1\oplus\mathfrak{a}_2\oplus\cdots\oplus\mathfrak{a}_n$ .
- Every element $r$ of $R$ has a unique expression
$r = a_1\!+\!a_2\!+\cdots+\!a_n$ with $a_i\in\mathfrak{a}_i\,\,\,\forall i$ .
|
"internal direct sum of ideals" is owned by Mathprof. [ owner history (1) ]
|
|
(view preamble | get metadata)
| Also defines: |
internal direct sum of ideals |
This object's parent.
|
|
Cross-references: expression, equivalent, direct sum, right, ideals, ring
This is version 4 of internal direct sum of ideals, born on 2004-11-17, modified 2006-10-03.
Object id is 6489, canonical name is InternalDirectSum.
Accessed 2809 times total.
Classification:
| AMS MSC: | 13A15 (Commutative rings and algebras :: General commutative ring theory :: Ideals; multiplicative ideal theory) | | | 11N80 (Number theory :: Multiplicative number theory :: Generalized primes and integers) | | | 16D25 (Associative rings and algebras :: Modules, bimodules and ideals :: Ideals) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|