Universal algebra
พีชคณิตสากล
พีชคณิตสากล
Universal algebraพีชคณิตสากล (บางครั้งเรียกว่าพีชคณิตทั่วไป ) คือสาขาของคณิตศาสตร์ที่ศึกษาโครงสร้างพีชคณิตโดยทั่วไป ไม่ใช่โครงสร้างพีชคณิตเฉพาะประเภทใดประเภทหนึ่ง ตัวอย่างเช่น...
โครงสร้าง (ตรรกศาสตร์ทางคณิตศาสตร์)
Mathematical logicในพีชคณิตสากลและในทฤษฎีแบบจำลองโครงสร้างประกอบด้วยเซตพร้อมกับชุดของ การดำเนินการ และความสัมพันธ์แบบจำกัดที่ถูกกำหนดไว้บนเซต นั้น
ความสัมพันธ์ที่สอดคล้องกัน
Abstract algebraในพีชคณิตนามธรรมความสัมพันธ์สมมูล (หรือเรียกสั้น ๆ ว่าความสัมพันธ์สมมูล) คือความสัมพันธ์สมมูลบนโครงสร้างพีชคณิต (เช่น กลุ่ม
พีชคณิตกราฟ
Graph theoryในคณิตศาสตร์โดยเฉพาะในสาขาพีชคณิตสากลและทฤษฎีกราฟพีชคณิตกราฟเป็นวิธีหนึ่งในการให้โครงสร้างพีชคณิต แก่ กราฟทิศทาง McNulty และ Shallon...
ผลิตภัณฑ์อัลตร้า
Mathematical logicอัลตราโปรดักต์เป็น โครงสร้าง ทางคณิตศาสตร์ที่ปรากฏส่วนใหญ่ในพีชคณิตนามธรรมและตรรกศาสตร์ทางคณิตศาสตร์โดยเฉพาะอย่างยิ่งในทฤษฎีแบบจำลองและทฤษฎีเซตอัลตราโปรดักต์คือเซตผลหารของผลคูณโดยต...
เครื่องกำเนิด (คณิตศาสตร์)
Abstract algebraในคณิตศาสตร์และฟิสิกส์คำว่าตัวสร้างหรือชุดตัวสร้างอาจหมายถึงแนวคิดที่เกี่ยวข้องกันหลายอย่าง แนวคิดพื้นฐานในแต่ละกรณีคือ ชุดของวัตถุขนาดเล็กกว่า...
ความสัมพันธ์ความคลาดเคลื่อน
Approximationsในพีชคณิตสากลและทฤษฎีแลตทิซความสัมพันธ์ความคลาดเคลื่อนบนโครงสร้างพีชคณิตเป็นความสัมพันธ์สมมาตรแบบสะท้อนกลับ ที่เข้ากันได้กับการดำเนินการทั้งหมดของโครงสร้าง...
คลาสเสมือนพื้นฐาน
Model theoryในตรรกศาสตร์คลาสเสมือนพื้นฐาน (pseudoelementary class ) คือคลาสของโครงสร้างที่ได้มาจากคลาสพื้นฐาน (elementary class ) (ซึ่งสามารถนิยามได้ในตรรกศาสตร์อันดับหนึ่ง )...
โครงสร้างย่อย (คณิตศาสตร์)
Mathematical logicในตรรกศาสตร์ทางคณิตศาสตร์โครงสร้างย่อย ( หรือพีชคณิตย่อย ) ที่ เหนี่ยวนำ ขึ้นคือโครงสร้างที่มีโดเมนเป็นเซตย่อยของโดเมนของโครงสร้างที่ใหญ่กว่า...
อ่าน 1 นาทีเรขาคณิตพีชคณิตสากล
Algebraic geometryในเรขาคณิตเชิงพีชคณิตเรขาคณิตเชิงพีชคณิตสากลเป็นการขยายเรขาคณิตของวงแหวนไปสู่เรขาคณิตของพีชคณิตหลากหลายชนิด ใดๆ ดังนั้นพีชคณิตหลากหลายชนิดแต่ละชนิดจึงมีเรขาคณิตเชิงพีชคณิตของตนเอง
พีชคณิตเทอม
CS1 maint: multiple names: authors listในพีชคณิตสากลและตรรกศาสตร์ทางคณิตศาสตร์พีชคณิตเทอมคือโครงสร้างพีชคณิต ที่สร้างขึ้นอย่างอิสระ เหนือลายเซ็น ที่ กำหนด ตัวอย่างเช่น ในลายเซ็นที่ประกอบด้วยการดำเนินการไบนารี เดียว...
พีชคณิตย่อย
Universal algebraในทางคณิตศาสตร์สับอัลเจบราคือเซตย่อยของอัลเจบราซึ่งปิดภายใต้การดำเนินการทั้งหมดของอัลเจบรา และรองรับการดำเนินการที่เกิดจากการเหนี่ยวนำ
Post's lattice
LogicIn logic and universal algebra, Post's lattice denotes the lattice of all clones on a two-element set {0, 1}, ordered by inclusion.
อ่าน 1 นาทีโคลน (พีชคณิต)
CS1 German-language sources (de)ในสาขาคณิตศาสตร์ที่เรียกว่าพีชคณิตสากลโคลนคือเซตC ของการดำเนินการแบบจำกัด บนเซตAโดยที่
อ่าน 1 นาทีลด
Mathematical relationsในพีชคณิตสากลและทฤษฎีแบบจำลองการลดรูปของโครงสร้างพีชคณิต ได้มาจากการละเว้น การดำเนินการและความสัมพันธ์บางส่วนของโครงสร้างนั้น สิ่งที่ตรงข้ามกับ "การลดรูป" คือ "การขยาย"
ผู้ดำเนินการปิด
Closure operatorsในทางคณิตศาสตร์ตัวดำเนินการปิดบนเซตSคือฟังก์ชันคลี:พี(เอส)→พี(เอส){\displaystyle \operatorname {cl} :{\mathcal {P}}(S)\rightarrow {\mathcal {P}}(S)} จากเซตกำลังของ Sไปยังตัวมันเอง
อาริตี้
Abstract algebraในตรรกศาสตร์คณิตศาสตร์และวิทยาการคอมพิวเตอร์ arity ( / ˈ ær ɪ t i / )ⓘ ) คือจำนวนอาร์กิวเมนต์หรือตัวดำเนินการฟังก์ชันการดำเนินการหรือความสัมพันธ์รับในทางคณิตศาสตร์ arity...
ปัญหาพีชคณิตมัธยมปลายของทาร์สกี้
Theorems in the foundations of mathematicsในตรรกศาสตร์ทางคณิตศาสตร์ปัญหาพีชคณิตระดับมัธยมปลายของทาร์สกีเป็นคำถามที่อัลเฟรด ทาร์สกี ตั้งขึ้น คำถามนี้ถามว่ามีเอกลักษณ์ ใดบ้าง...
ผลหาร (พีชคณิตสากล)
Universal algebraในทางคณิตศาสตร์พีชคณิตผลหารคือผลลัพธ์ของการแบ่งองค์ประกอบของโครงสร้างพีชคณิตโดยใช้ความสัมพันธ์สมมูลพีชคณิตผลหารยังเรียกว่าพีชคณิตตัวประกอบในที่นี้...
กลุ่มที่มีผู้ประกอบการ
Group actionsในพีชคณิตนามธรรมซึ่งเป็นสาขาหนึ่งของคณิตศาสตร์กลุ่มที่มีตัวดำเนินการหรือกลุ่ม Ω คือโครงสร้างทางพีชคณิตที่สามารถมองได้ว่าเป็นกลุ่มร่วมกับเซต Ω...
ลายเซ็น (ตรรกะ)
Mathematical logicในตรรกศาสตร์ทางคณิตศาสตร์ลายเซ็นคือคำอธิบายของสัญลักษณ์ที่ไม่ใช่ตรรกะของภาษาที่เป็นทางการในพีชคณิตสากลลายเซ็นจะแสดงรายการการดำเนินการที่บ่งบอกลักษณะโครงสร้างทางพีชคณิตในทฤษฎีแบบจำล...
อ่าน 1 นาทีผลิตภัณฑ์ทางอ้อม
Universal algebraในทางคณิตศาสตร์โดยเฉพาะอย่างยิ่งในสาขาพีชคณิตนามธรรมที่เรียกว่าพีชคณิตสากลทฤษฎีกลุ่มทฤษฎีวงแหวนและทฤษฎีโมดูล ผลคูณ ย่อยโดยตรง (subdirect...
ความหลากหลาย (พีชคณิตสากล)
Universal algebraในพีชคณิตสากลวาไรตี้ของพีชคณิตหรือชั้นสมการคือชั้น ของ โครงสร้างพีชคณิตทั้งหมดที่มีลายเซ็น ที่กำหนดให้ ซึ่งสอดคล้องกับชุดเอกลักษณ์ ที่กำหนดให้ ตัวอย่างเช่นกลุ่มต่างๆ ก่อให้เกิด...
อ่าน 1 นาทีพีชคณิตที่ไม่สามารถลดรูปได้โดยตรง
Properties of groupsในสาขาคณิตศาสตร์ที่เรียกว่าพีชคณิตสากล (และในการประยุกต์ใช้) พีชคณิตที่ไม่สามารถแยกตัวประกอบได้โดยตรง (subdirectly irreducible...