:: deftheorem defines torsion ZMODUL06:def 1 :
for R being Ring
for V being LeftMod of R
for v being Vector of V holds
( v is torsion iff ex i being Element of R st
( i <> 0. R & i * v = 0. V ) );