پالايه‌هاي بيشين، اول و اول كمين در مشبكه‌هاي مانده‌دار

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