PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] 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)

View style:

Also defines:  internal direct sum of ideals

This object's parent.
Log in to rate this entry.
(view current ratings)

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 MSC13A15 (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
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)