Gerekli tanimlar icin sizi buraya alalim.
Asagidaki onermeyi ispatlayin.
1- S⊆V olsun. S'nin Vτ'nun altmodulu olmasi icin gerekli ve yeterli sart S-nin τ altinda yine S'ye giden V'nin bir altuzayi olmasidir.
2- τ'nun ozdeger altuzaylarinin Vτ alt-modulu oldugunu gosterin.
3- S eger λ ozdegerine ait-altuzay ise Vτ'nun alt-modulu olarak sifirlayicisinin X−λ oldugunu gosterin.