พีชคณิตของอะตอมมิคฟอร์มูล่าที่ก่อกำเนิดจากการส่งที่เซตไม่แปรเปลี่ยน
คำสำคัญ:
ฟอร์มูล่า , การส่งที่เซตไม่แปรเปลี่ยน , การดำเนินการ , โมนอยด์บทคัดย่อ
วัตถุประสงค์และที่มา : อะตอมมิคฟอร์มูล่าซึ่งเป็นนิพจน์ทางคณิตศาสตร์ที่ถูกใช้ในทฤษฎีตรรกศาสตร์ร่วมสมัยนั้นถูกสร้างมาจากเทอมและสัญลักษณ์ความสัมพันธ์
วิธีดำเนินการวิจัย : อาศัยการส่งที่เซตไม่แปรเปลี่ยนบนเซตจำกัด (1,...,n) สำหรับจำนวนเต็มบวก n ใด ๆ อะตอมมิคฟอร์มูล่าที่ก่อกำเนิดจากการส่งดังกล่าวและตัวอย่างได้รับการนำเสนอ นอกจากนี้ยังพิสูจน์ว่าพีชคณิตของอะตอมมิคฟอร์มูล่าดังกล่าวสอดคล้องกับบางสัจพจน์โดยอาศัยการดำเนินการซุปเปอร์โพสิชัน Rn
ผลการวิจัย : โมนอยด์ของฟูลไฮเพอร์สับทิทิวชันสำหรับระบบเชิงพีชคณิตในบางชนิดที่นิยามบนของเซตของอะตอมมิคฟอร์มูล่าที่ก่อกำเนิดจากการส่งที่เซตไม่แปรเปลี่ยนได้รับการพิสูจน์ พีชคณิตสองโครงสร้างภายใต้การดำเนินการซุปเปอร์โพสิชัน Rn และการดำเนินการทวิภาค or ซึ่งเป็นเครื่องมือสำคัญในทฤษฎีเอกลักษณ์ไฮเพอร์ได้ถูกสร้างขึ้น
สรุปผลการวิจัย : อะตอมมิคฟอร์มูล่าที่ก่อกำเนิดจากการส่งที่เซตไม่แปรเปลี่ยนได้รับการนำเสนอ พีชคณิตของฟอร์มูล่าสอดคล้องกับกฎการเปลี่ยนหมู่แบบซุปเปอร์
References
Denecke, K. (2019). The partial clone of linear formulas, Siberian Mathematical Journal, 60(4), 572-584.
Denecke, K., Hounnon, H. (2021). Partial Menger algebras of terms, Asian-Eur. J. Math., 14(6) 2150092.
Dudek, W.A. , Trokhimenko, V.S. (2021). Menger algebras of k-commutative n-place functions, Georgian Math. J., 28(3), 355-361.
Honyam, P., & Sanwong, J. (2011). Semigroups of transformations with invariant set, J. Korean Math. Soc., 48(2), 289-300.
Joomwong, J., & Phusanga, D. (2021). On Green’s relations which are related to an algebraic system of type ((n),(m)), Southeast Asian Bull. Math., 45(6), 897-904.
Kumduang, T.(2023). Associative binary operations of order-decreasing full terms, Burapha Science Journal., 28(3), 1640-1652.
Kumduang, T.(2023). Binary systems of full terms arising from some mappings, RMUTSB ACADEMIC JOURNAL, 11(2), 149–158.
Kumduang, T., & Leeratanavalee, S. (2021). Full formulas induced by full terms, Thai J. Math.,19(4), 1637-1649.
Kumduang, T., & Sriwongsa, S. (2023). Superassociative structures of terms and formulas defined by transformations preserving a partition, Commun. Algebra, 51(8), 3203-3220.
Kunama, P., & Leeratanavalee, S. (2023). All maximal unit-regular elements of Relhyp((m),(n)). Mathematics for Applications, 12(1), 59-71.
Phuapong, S., & Kumduang, T. (2021). Menger algebras of terms induced by transformations with restricted range. Quasigroups and Related Systems, 29, 255-268.
Phuapong, S., & Pookpienlert, C. (2022). )-terms and their algebraic properties, Thai J. Math., 20(1),337-346.
Sarkar, M., & Singh, S.N. (2022). On certain semigroups of transformations with an invariant set. Asian-Eur. J. Math., 15(11), 2250198.
Wattanatripop, K., & Changphas, T. (2019). The clone of -full terms, Discuss. Math., Gen. Algebra Appl., 39(2), 277-288.
Wattanatripop, K., & Changphas, T. (2021). The Menger algebra of terms induced by order-decreasing transformations, Commun. Algebra, 49(7), 3114-3123.
Downloads
เผยแพร่แล้ว
How to Cite
ฉบับ
บท
License
Copyright (c) 2024 คณะวิทยาศาสตร์ มหาวิทยาลัยบูรพา
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Burapha Science Journal is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) licence, unless otherwise stated. Please read our Policies page for more information
