Angeordneter Ring/Modul/Quadratische Form/Positiv definit/Definition

Positiv definite quadratische Form

Es sei $R$ ein angeordneter Ring und $V$ ein $R$-Modul. Eine quadratische Form $Q$ auf $V$ heißt positiv definit, wenn  $Q(v)\ge 0$  für alle  $v\in V$  und  $Q(v)=0$  nur für  $v=0$  gilt.