پالایه های بیشین، اول و اول کمین در مشبکه های مانده دار

در این مقاله، به بررسی و مطالعه پالایه های بیشین، اول، و اول کمین در مشبکه های مانده دار می پردازیم و مثال هایی از مشبکه های مانده دار ارایه می دهیم. ابتدا به معرفی پالایه های یک مشبکه مانده دار می پردازیم و سپس نشان می دهیم هر پالایه سره مشمول در یک پالایه بیشین و در نتیجه مشمول در یک پالایه اول است. پالایه های اول در یک MTL-جبر را بازشناسی کرده و گزاره بنیادین پالایه های اول را برای مشبکه های مانده دار بیان و اثبات می کنیم. مشبکه های مانده داری را بازشناسی می کنیم که هر پالایه در آنها اصلی است و هم پوچسازها را با استفاده از پالایه های اول مورد بررسی قرار می دهیم. سپس، پالایه های اول کمین در یک مشبکه مانده دار را معرفی کرده و گزاره بنیادین پالایه های اول کمین را بیان و اثبات می کنیم. در انتها، پالایه های بخش یاب در یک مشبکه مانده دار را معرفی کرده و پالایه های اول کمین را با استفاده از آنها مورد بازشناسی قرار می دهیم.