mp-مشبکههای ماندهدار
الموضوعات :
1 - گروه ریاضی، دانشگاه خلیج فارس، بوشهر، ایران
2 - دانشکده علوم، مرکز آموزش عالی محلات. محلات، ایران
الکلمات المفتاحية: mp-residuated lattice, minimal prime filter, residuated lattice, ω-filter, divisor filter,
ملخص المقالة :
در این مقاله، مفهوم mp-مشبکههای ماندهدار، به عنوان مشبکههای ماندهداری که هر پالایه اول در آنها شامل یک پالایه اول کمین منحصر به فرد است، را معرفی میکنیم و به مطالعه و بررسی آنها میپردازیم. برای مشبکه ماندهدار A مفهوم ω-پالایه را معرفی کرده و نشان میدهیم که Ω(A)، مجموعه تمام ω-پالایههای A، تشکیل یک مشبکه پخشپذیر کراندار میدهند. همچنین، نشان میدهیم که γ(A)، مجموعه همپوچکهایA، یک زیرمشبکهی Ω(A) است. سپس، برای هر پالایه اول مانند P، مفهوم پالایهی بخشیاب D(P) را در A به عنوان ابزاری مهم در مطالعهی پالایههای اول کمین A معرفی کرده و نشان میدهیم که پالایه اول P، اول کمین است اگر و تنها P=D(P). در انتها، با استفاده از مفهوم ω-پالایهها، به عنوان تعمیمی از پالایههای بخشیاب، یک بازشناسی اساسی از mp-مشبکههای ماندهدار ارائه میدهیم و نشان میدهیم که یک مشبکهماندهدار mp است اگر و تنها اگر مشبکهی ω-پالایههای آن زیرمشبکهای از مشبکهی پالایههای آن مشبکهماندهدار باشد.
10.Dilworth R. P, “Non-commutative residuated lattices”, Trans. Amer. Math. Soc,. 46 (1939) 426-444.
11.Ward M., “Residuation in structures over which a multiplication is defined”, Duke Math. Journal, 3 (1937) 627-636.
12.Ward M., “Structure Residuation”, Annals of Mathematics, 2nd Ser., 39(3) (1938) 558-568.
13.Ward M., “Residuated distributive lattices”, Duke Math. J., 6 (1940) 641-651.
14.Ward M., Dilworth R. P, “Residuated Lattices”, Proceedings of the National Academy of Sciences, 24 (1938) 162-164.
15.Ward M., Dilworth R. P, “Residuated lattices”, Transactions of the American Mathematical Society, 45 (1939) 335-354.
16.Höhle U., “Commutative residuated monoids”, in: U. Höhle, P. Klement (Eds.), Non-classical Logics and Their Aplications to Fuzzy Subsets, Kluwer Academic Publishers, (1995).
17.Okada M., Terui K., “The finite model property for various fragments of intuitionistic linear logic”, Journal of Symbolic Logic, 64 (1999) 790-802.
18.Blok W. J., Pigozzi D., “Algebraizable Logics”, Mem. Am. Math. Soc., vol. 396, Amer. Math. Soc., Providence, (1989).
19.Idziak P. M., “Lattice operations in BCK-algebras”, Mathematica Japonica, 29 (1984) 839-846.
20.Flondor P., Georgescu G., Iorgulescu A., “Pseudo-t-norms and pseudo-BL algebras”, Soft Computing, 5(2001) 355-371.
21.Galatos N., Jipsen P., Kowalski T., Ono H., “Residuated lattices: an algebraic glimpse at substructural logics”, Elsevier (2007).
22.Rasouli S., Davvaz B., “An investigation on Boolean prime filters in BL-algebras”, Soft Computing, 19(2015) 2743–2750.
23.Rasouli S., Radfar A., “PMTL filters, R filters and PBL filters in residuated lattices”, Journal of Multiple Valued Logic and Soft Computing, 29(6) (2017) 551–576.
24.Rasouli S., “Heyting, Boolean and pseudo-MV filters in residuated lattices”, Journal of Multiple Valued Logic and Soft Computing 31(4) (2018) 287–322.
25.Rasouli S., “Generalized co-annihilators in residuated lattices”, Annals of the University of Craiova, Mathematics and Computer Science Series, 45(2) (2018) 1–18.
26.Jipsen P., Tsinakis C., “A survey of residuated lattices”, Ordered Algebraic Structures, 7 (2002) 19-56.
27.Rasouli, S. 2019. The going up and going down theorems in residuated lattices. Soft computing DOI: 10.1007/s00500-019-03780-3.
28. rätzer G., “Lattice theory” San Francisco: W. H. Freeman and Company, (1979).