Angeordneter Ring/Modul/Quadratische Form/Positiv definit/Cauchy-Schwarz/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein angeordneter Ring und eine quadratische Form auf einem -Modul .

Dann gilt

für alle .