ﺎﻬﻧآ ﯽﺘﺨﯾﺮﻧورد هﺪﯾا زا ﯽﻟآ هﺪﯾا ﻢﺘﺴﯿﺳ ﮏﯾ Φ ،یﺮﺗﻮﻧ و ﯽﯾﺎﺠﺑﺎﺟ یا ﻪﻘﻠﺣ R ﻢﯿﻨﮐ ﯽﻣ ضﺮﻓ ﻪﻟﺎﺳر ﻦﯾا رد یدﺪﻋ k ≥ −١ ﺮﮔ ا ﻪﮐ ﻢﯿﻨﮐ ﯽﻣ ﺖﺑﺎﺛ اﺪﺘﺑا .ﺪﺷﺎﺑ ﺮﻔﺻﺎﻧ ﺢﯿﺤﺻ یدﺪﻋ t و R ﻪﻘﻠﺣ یﺎﻬﻟآ ﺮﻫ یازا ﻪﺑو هاﻮﺨﻟد لوﺪﻣ-R ﮏﯾ M ،k یوﺎﺴﻣ ﺎﯾ ﺮﺘﻤﮐ ﺪﻌﺑ ﺎﺑ یﺎﻫ لوﺪﻣ سﻼﮐ S ،ﺢﯿﺤﺻ ﻦﯿﻨﭽﻤﻫ .H i a (M) ∈ S ،a ∈ Φ و i < t ﺮﻫ یازا ﻪﺑ ﻪﮐ هﺎﮕﻧآ ﺪﺷﺎﺑ S ﻮﻀﻋ H ،i < t ﺮﻫ یازا ﻪﺑ هﺎﮕﻧآ ﺪﺷﺎﺑ هاﻮﺨﻟد ﯽﻟوﺪﻣ-R ،M و نﻮﺳﺮﮐ ﻞﻣ ﻪﺘﺳر ﺮﯾ ز S ﺮﮔ ا ﻢﯿﻨﮐ ﯽﻣ ﺖﺑﺎﺛ ﻪﺠﯿﺘﻧ ناﻮﻨﻋ ﻪﺑ ﻪﻣادا رد .H i a (M) ∈ S ،a ∈ Φ و i < t ﺮﻫ یازا ﻪﺑ ﺮﮔ ا ﺎﻬﻨﺗ و ﺮﮔ ا H ﯽﻌﺿﻮﻣ یژﻮﻟﻮﻤﻫﻮﮐ یﺎﻫ لوﺪﻣ ﻞﻤﺤﻣ و ندﻮﺑ ﯽﻨﯿﺗرآ ،نﺪﺷ ﺮﻔﺻ ﯽﺳرﺮﺑ و ﻪﻌﻟﺎﻄﻣ ﻪﺑ ﻪﯿﻀﻗ ﻦﯾا ﻪﺑ .ﻢﯾزادﺮﭘ ﯽﻣ ﺖﺳا i < t ﻪﮐ i طﺎﻘﻧ رد ﯽﻟآ هﺪﯾا ﻢﺘﺴﯿﺳ نآ یﺎﻬﻟآ هﺪﯾا و ﯽﻟآ هﺪﯾا ﻢﺘﺴﯿﺳ یور ﺪﻟﻮﻣ ﯽﻫﺎﻨﺘﻣ ﯽﻟوﺪﻣ-R ، M و ﯽﻌﺿﻮﻣ یا ﻪﻘﻠﺣ (R, m) ﺮﮔ ا ﻪﮐ ﻢﯿﻫد ﯽﻣ نﺎﺸﻧ ﺐﯿﺗﺮﺗ ﻦﯿﻤﻫ .ﺖﺴﯿﻧ ﯽﻫﺎﻨﺘﻣ ﺎﻣوﺰﻟ Supp (M)) ﺪﺷﺎﺑ :یﺪﯿﻠﮐ نﺎﮔژاو R (H i Φ dim M−١ Φ (M) ،i < t i Φ (M) ∈ S
