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

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

maximal, prime and minimal prime filters in residuated lattices

in this paper, by considering the notions of maximal, prime, and minimal prime filters in residual lattices, we study their properties and some examples of residuated lattices are given. it is reminded first the notion of a filter of a residuated lattice and then we show that each proper filter is contained in a maximal filter and therefore in a prime filter. we investigate the prime filters in an mtl algebra and state and prove the fundamental theorem of the prime filters for residuated lattices. we investigate the residuated lattices in which each its filter is principal, and by using the prime filters, we inspect co-annihilators. then the notion of a minimal prime filter in a residuated lattice is introduced and a fundamental theorem for minimal prime filters in the residuated lattice is stated and proved. finally, we introduce the divisor filters in a residuated lattice and by using them; we investigate the minimal prime filters