 ideal, it follows that $-1 \notin I_J$.

    If $\varepsilon \in I_J$ then $\varepsilon/(1 + \varepsilon) \in I_J$.

    We may assume $\varepsilon \ne 0$. Using Lemma \[contraction\].\[c-1\] choose a basis $\{A_1,\ldots,A_r\}$ of quasi-atoms over $J$ such that $\varepsilon
          \cdot A_i \subseteq J$. For each $i$ choose $a_i \in A_i
          \setminus J$. Then $\varepsilon \cdot a_i \in J$, so $(1 +
          \varepsilon) \cdot a_i \in A_i \setminus J$. Let $\beta = (1 +
          \varepsilon)/\varepsilon$. Then $$\begin{aligned}
            \beta \cdot (\varepsilon \cdot a_i) & \in \beta \cdot J \\
             (\beta \cdot \varepsilon) \cdot a_i = (1 + \varepsilon) \cdot a_i &
            \in A_i \setminus J.
          \end{aligned}$$ In particular $$(\beta \cdot J) \cap A_i \not \subseteq J,$$ for every $i$, so $\beta \cdot J \supseteq J$ by Proposition \[special-proposition\].\[guards\]. Then $(\beta \cdot J) \cap A_i \supsetneq J$ for every $i$, so $\beta
          \cdot J$ dominates $J$ by Lemma \[characterization-of-domination\]. This means that $\beta^{-1} = \varepsilon/(1 + \varepsilon)$ lies in $I_J$.

    Now if $\varepsilon \in I_J$, then $$\frac{1}{1 + \varepsilon} = 1 - \frac{\varepsilon}{1 + \varepsilon} \in 1
          + I_J \subseteq R_J. \qedhere$$

Proposition \[rings-and-ideals\].\[cap-not-vee\] also holds for $R_{J_1 + J_2}$ and $I_{J_1 + J_2}$.

In Proposition \[rings-and-ideals\].\[ij-im\], not only is $I_M$ a subset of $I_J$, it is a sub*ideal* in the ring $R_J
ideal, it follows that $ -1 \notin I_J$. 

     If $ \varepsilon \in I_J$ then $ \varepsilon/(1 + \varepsilon) \in I_J$. 

     We may assume $ \varepsilon \ne 0$. Using Lemma   \[contraction\].\[c-1\ ] choose a basis $ \{A_1,\ldots, A_r\}$ of quasi - atom over $ J$ such that $ \varepsilon 
           \cdot A_i \subseteq J$. For each $ i$ choose $ a_i \in A_i 
           \setminus J$. Then $ \varepsilon \cdot a_i \in J$, therefore $ (1 + 
           \varepsilon) \cdot a_i \in A_i \setminus J$. Let $ \beta = (1 + 
           \varepsilon)/\varepsilon$. Then $ $ \begin{aligned } 
             \beta \cdot (\varepsilon \cdot a_i) & \in \beta \cdot J \\ 
              (\beta \cdot \varepsilon) \cdot a_i = (1 + \varepsilon) \cdot a_i & 
             \in A_i \setminus J. 
           \end{aligned}$$ In particular $ $ (\beta \cdot J) \cap A_i \not \subseteq J,$$ for every $ i$, so $ \beta \cdot J \supseteq J$ by Proposition   \[special - proposition\].\[guards\ ]. Then $ (\beta \cdot J) \cap A_i \supsetneq J$ for every $ i$, then $ \beta 
           \cdot J$ dominates $ J$ by Lemma   \[characterization - of - domination\ ]. This means that $ \beta^{-1 } = \varepsilon/(1 + \varepsilon)$ lie in $ I_J$. 

     immediately if $ \varepsilon \in I_J$, then $ $ \frac{1}{1 + \varepsilon } = 1 - \frac{\varepsilon}{1 + \varepsilon } \in 1 
           + I_J \subseteq R_J. \qedhere$$ 

 Proposition   \[rings - and - ideals\].\[cap - not - vee\ ] also apply for $ R_{J_1 + J_2}$ and $ I_{J_1 + J_2}$. 

 In Proposition   \[rings - and - ideals\].\[ij - im\ ], not only is $ I_M$ a subset of $ I_J$, it is a sub*ideal * in the ring $ R_J
 idfal, it follows that $-1 \notln I_J$.

    If $\vareksulon \ii I_J$ thsn $\vareprilon/(1 + \varepsilon) \in I_J$.

    Wx mat assyme $\varepsilon \ne 0$. Usivg Lemma \[clntractiin\].\[c-1\] rhoose a basis $\{A_1,\ldots,A_r\}$ of quaal-atomv over $J$ such tmat $\varepsinon
          \cgog C_i \subseteq J$. For each $i$ choose $a_i \ig A_i
          \setminus T$. Thtn $\darelsilon \cdot a_i \in J$, so $(1 +
          \barepsinon) \cdot a_i \im A_i \setminus J$. Let $\beta = (1 +
          \varepsilon)/\vwrepsilon$. Tyen $$\fwgin{aligned}
            \beta \cdot (\vzrepsilon \cdot a_i) & \in \beta \cdot J \\
             (\bwta \wdot \varepsmlon) \cqot a_i = (1 + \vavvpsilon) \cdot a_o &
            \ln A_i \serminus J.
          \end{eligned}$$ In particulat $$(\beta \cdod L) \cap A_i \not \subseteq J,$$ for gvery $i$, su $\bega \ddpt J \supdetxq J$ by Prolosition \[spexial-proposition\].\[guarcs\]. Nnen $(\beta \cdof J) \ca[ W_i \supsetneq J$ for every $i$, so $\beta
          \cdot J$ dominates $J$ by Lemma \[characterizatioj-of-dominaeion\]. This means that $\beta^{-1} = \varepsilon/(1 + \varepsilon)$ lies kn $N_M$.

    Jow if $\varepsilon \in I_J$, then $$\frac{1}{1 + \varepsilon} = 1 - \fgac{\varepsilon}{1 + \vavepsilon} \in 1
          + Y_J \subseteq R_G. \qedhzde$$

Lroposition \[rings-anf-ideals\].\[sap-nor-vee\] also holcs for $R_{J_1 + J_2}$ and $I_{J_1 + J_2}$.

In Priposition \[rinys-abd-ideals\].\[ij-im\], not ouly is $I_M$ a rubsgt of $O_J$, it is a sub*ideal* in che rihg $R_J
ideal, it follows that $-1 \notin I_J$. \in then $\varepsilon/(1 \varepsilon) \in I_J$. 0$. Lemma \[contraction\].\[c-1\] choose basis $\{A_1,\ldots,A_r\}$ of over $J$ such that $\varepsilon \cdot \subseteq J$. For each $i$ choose $a_i \in A_i \setminus J$. Then $\varepsilon a_i \in J$, so $(1 + \varepsilon) \cdot a_i \in A_i \setminus J$. $\beta (1 \varepsilon)/\varepsilon$. $$\begin{aligned} \beta \cdot (\varepsilon \cdot a_i) & \in \beta \cdot J \\ (\beta \cdot \varepsilon) \cdot = (1 + \varepsilon) \cdot a_i & \in \setminus J. \end{aligned}$$ In $$(\beta \cdot J) \cap A_i \subseteq for every so \cdot \supseteq J$ by \[special-proposition\].\[guards\]. Then $(\beta \cdot J) \cap A_i \supsetneq J$ for every $i$, so $\beta \cdot J$ dominates by Lemma means that = + lies in $I_J$. $\varepsilon \in I_J$, then $$\frac{1}{1 + - \frac{\varepsilon}{1 + \varepsilon} \in 1 + I_J R_J. \qedhere$$ \[rings-and-ideals\].\[cap-not-vee\] also holds for $R_{J_1 + and $I_{J_1 + J_2}$. In Proposition \[rings-and-ideals\].\[ij-im\], not is $I_M$ a subset of $I_J$, it is a sub*ideal* in the ring $R_J
 ideal, it follows that $-1 \notin I_J$.

    if $\varepsilOn \in I_j$ thEn $\vArEpsiLon/(1 + \vArepsilon) \in I_J$.

    WE May aSsume $\varepsilon \ne 0$. Using lemma \[CoNTracTIoN\].\[c-1\] choOse a basIS $\{A_1,\LDOts,a_r\}$ Of QuaSi-AToMs oveR $J$ sUch that $\Varepsilon
          \CdoT A_I \subseteq J$. FoR EaCh $i$ choose $a_I \in a_i
          \setminus J$. THen $\VarepsIlOn \cDOt a_i \iN J$, sO $(1 +
          \varePsilon) \CDot a_i \iN A_i \setminUs j$. let $\betA = (1 +
          \VarepsiLON)/\vArepSilon$. Then $$\begin{aliGNeD}
            \Beta \cdot (\varepsIlon \cdOt A_I) & \iN \BEta \CdoT J \\
             (\beta \cdot \VaRepsiLOn) \cdot a_I = (1 + \VaREPSilON) \cdot a_i &
            \in A_i \seTminus J.
          \end{aLIgnEd}$$ In paRtIcuLAr $$(\beta \Cdot J) \CaP a_i \nOt \subseteq J,$$ For eVery $i$, so $\beTa \cdot j \SupseteQ j$ by PropOsitioN \[spEciAl-prOPoSiTioN\].\[gUArdS\]. thEn $(\bETa \cDot J) \cap A_I \sUpSetneQ J$ foR EVERy $i$, sO $\beTa
          \cdOt J$ doMinates $J$ by LemMa \[cHaraCTerIzatiOn-of-dOminAtIon\]. ThIs meanS that $\BeTa^{-1} = \varepsilon/(1 + \varEpsiLon)$ lies in $i_J$.

    NOw If $\vArEpsilON \in I_J$, tHen $$\FraC{1}{1 + \varepsIlon} = 1 - \fraC{\VarEpSILOn}{1 + \Varepsilon} \in 1
          + I_J \subsEtEQ r_J. \Qedhere$$

PRoposiTIoN \[rINgs-and-idEaLs\].\[cAp-noT-VEe\] alsO holDS fOr $R_{J_1 + J_2}$ and $i_{J_1 + J_2}$.

In PROpOsItion \[riNgS-and-idEaLs\].\[iJ-im\], Not onLY is $I_m$ a subsEt of $I_J$, it Is a suB*Ideal* in the ring $r_j
 ideal, it follows that $- 1 \notin I _J$.
   I f$\va reps ilon \in I_J$t hen$\varepsilon/(1 + \var epsil on )  \in I_ J$.
    Wem ay a ssu me  $ \va re p si lon \ ne0$. Usi ng Lemma \ [co nt raction\].\[ c -1 \] choosea b asis $\{A_1, \ld ots,A_ r\ }$o f qua si- atoms  over$ J$ suc h that $\ va r epsilo n 
      \cdo t A_i \subseteq J $ .F or each $i$ ch oose $ a_ i  \ i n  A_ i
         \ se tminu s  J$. Th e n$ \ v are p silon \cdot a _i \in J$,s o $ (1 +
      \va repsi lo n ) \ cdot a_i \i n A_ i \setmin us J$. Let $\b e ta = (1  +
       \va r ep si lon )/ \ var e ps ilo n $.Then $$\ be gi n{ali gned }         \ beta\cdot (\varep sil on \ c dot  a_i)  & \i n \b et a \cd ot J \ \
           (\beta\cdo t \vareps ilo n)  \c do t a_i = (1 +  \v are psilon)  \cdota _i&        \in A_i \se tm i n us  J.
        \ en d{ a ligned}$ $Inpart i c ular$$(\ b et a \cdotJ) \ca p  A _i  \not \ su bseteq  J ,$$  fo r eve r y $i $, so$\beta \ cdotJ  \supseteq J$b y Proposition \[ s p ec i al-p rop osition\].\ [gua r ds\] . Th e n$(\ b eta \ cdotJ) \c a p A_i \supsetneq J$  f or eve ry $i $, so $\beta         \ c d ot J$ do mina t es $J$ by Lemma \ [char acterizati o n-of-dom inati on\]. Th is meanst h at $\bet a^{ -1}  =\va r e ps ilon/(1 + \va r e psil on )$ lies  in  $I_J$. 

  Now  if  $ \varepsil on \in I _J $,  t he n $ $\fra c {1}{1 +\v are ps ilo n} =1  - \fr ac{\v arep si lo n }{1  + \var e ps i l on}\i n1
       +I_J\ sub seteq R _J. \qedh ere $ $

P ro po sition\[rings-and-i de als\].\[ca p- not -vee\] a lso hold s for $R_{J_1 + J_2}$ a n d $I_{J _1+ J_2 }$.
In Propo sit ion \[ rin g s-and- ideals \].\[ ij -im \ ] , not o nl y i s$I_M$ a su b s etof $I _J $, i t is asub*ideal* in ther ing  $R_J
 ideal,_it follows_that $-1 \notin I_J$.

_ __If $\varepsilon_\in_I_J$ then $\varepsilon/(1_+ \varepsilon) \in_I_J$.

   _We may assume_$\varepsilon_\ne 0$. Using Lemma \[contraction\].\[c-1\] choose a basis $\{A_1,\ldots,A_r\}$ of quasi-atoms over $J$ such that_$\varepsilon
_ ___    _\cdot A_i \subseteq J$. For_each $i$_choose $a_i \in A_i
    __  _ \setminus J$. Then $\varepsilon \cdot a_i \in J$,_so $(1 +
   _  ___ \varepsilon) \cdot a_i_\in A_i \setminus J$. Let $\beta_= (1 +
   _      \varepsilon)/\varepsilon$._Then $$\begin{aligned}
    _    _ _\beta \cdot (\varepsilon \cdot a_i)_& \in \beta_\cdot J_\\
  _     _  _ (\beta \cdot \varepsilon) \cdot a_i_=_(1 + \varepsilon)_\cdot_a_i_&
 _  __ __   \in A_i \setminus_J.
_      _  \end{aligned}$$ In_particular_$$(\beta \cdot J) \cap_A_i \not \subseteq J,$$ for_every $i$, so $\beta \cdot J_\supseteq J$_by Proposition \[special-proposition\].\[guards\]._Then $(\beta \cdot J) \cap A_i \supsetneq J$ for every $i$,_so $\beta
    _   _ \cdot_J$_dominates $J$ by_Lemma \[characterization-of-domination\]._This means_that $\beta^{-1} = \varepsilon/(1 + \varepsilon)$ lies_in $I_J$.

_   Now if $\varepsilon_\in I_J$, then $$\frac{1}{1_+_\varepsilon} = 1 - \frac{\varepsilon}{1 +_\varepsilon} \in 1
   _    __+_I_J \subseteq R_J. \qedhere$$

Proposition \[rings-and-ideals\].\[cap-not-vee\] also_holds for $R_{J_1 + J_2}$ and_$I_{J_1 + J_2}$.

In_Proposition \[rings-and-ideals\].\[ij-im\], not only is $I_M$ a subset_of_$I_J$, it is a sub*ideal* in_the_ring $R_J