for R being Ring
for V being LeftMod of R
for W being Subspace of V holds ker (ZQMorph (V,W)) = (Omega). W