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
Revision difference : ideal inverting in Pr\"ufer ring
Version 2 Version 1
\textbf{Theorem.} \,Let $\mathfrak{a}_1$, ..., $\mathfrak{a}_n$ be invertible fractional ideals of a Pr\"ufer ring. \,Then also their sum and intersection are invertible, and the inverse ideals of these are obtained by the formulae resembling de Morgan's laws: \textbf{Theorem.} \,Let $\mathfrak{a}_1$, ..., $\mathfrak{a}_n$ be invertible fractional ideals of a Pr\"ufer ring. \,Then also their sum and intersection are invertible, and the inverse ideals of these are obtained by the formulae resembling de Morgans formulae:
(\mathfrak{a}_1+...+\mathfrak{a}_n)^{-1} = \mathfrak{a}_1^{-1}\cap...\cap\mathfrak{a}_n^{-1} (\mathfrak{a}_1+...+\mathfrak{a}_n)^{-1} = \mathfrak{a}_1^{-1}\cap...\cap\mathfrak{a}_n^{-1}
(\mathfrak{a}_1\cap...\cap\mathfrak{a}_n)^{-1} = \mathfrak{a}_1^{-1}+...+\mathfrak{a}_n^{-1} (\mathfrak{a}_1\cap...\cap\mathfrak{a}_n)^{-1} = \mathfrak{a}_1^{-1}+...+\mathfrak{a}_n^{-1}
$$ $$