กลุ่มวัฏจักรท้องถิ่น
ในทางคณิตศาสตร์กลุ่มวัฏจักรเฉพาะที่คือกลุ่ม ( G , *) ซึ่งทุกกลุ่มย่อยที่สร้างขึ้นโดยจำนวนจำกัดเป็นกลุ่ม วัฏจักร
ข้อเท็จจริงบางประการ
- กลุ่มวัฏจักรทุกกลุ่มเป็นกลุ่มวัฏจักรเฉพาะที่ และกลุ่มวัฏจักรเฉพาะที่ทุกกลุ่มเป็นกลุ่มอาเบเลียน[ 1 ]
- ทุกกลุ่มวัฏจักรเฉพาะที่ที่สร้างขึ้นโดยจำนวนจำกัดล้วนเป็นกลุ่มวัฏจักร
- ทุกกลุ่มย่อยและกลุ่มผลหารของกลุ่มวัฏจักรเฉพาะที่ล้วนเป็นกลุ่มวัฏจักรเฉพาะที่เช่นกัน
- ภาพ โฮโมมอร์ฟิกทุกภาพของกลุ่มวัฏจักรเฉพาะที่ก็เป็นกลุ่มวัฏจักรเฉพาะที่เช่นกัน
- กลุ่มนั้นจะเรียกว่าเป็นกลุ่มวัฏจักรเฉพาะที่ ก็ต่อเมื่อสมาชิกทุกคู่ในกลุ่มนั้นสามารถสร้างกลุ่มวัฏจักรได้
- กลุ่มจะเป็นวัฏจักรเฉพาะที่ก็ต่อเมื่อแลตทิซของกลุ่มย่อยของกลุ่ม นั้น เป็นแบบกระจาย ( Ore 1938 )
- อันดับไร้แรงบิดของกลุ่มวัฏจักรเฉพาะที่คือ 0 หรือ 1
- วงแหวนเอนโดมอร์ฟิซึมของกลุ่มวัฏจักรเฉพาะที่นั้นเป็นแบบสลับที่ได้
ตัวอย่างของกลุ่มวัฏจักรเฉพาะที่ที่ไม่ใช่วัฏจักร
- กลุ่มบวกของจำนวนตรรกยะ ( Q , +) เป็นกลุ่มวัฏจักรเฉพาะที่ – จำนวนตรรกยะคู่ใดๆa / bและc / dจะอยู่ในกลุ่มย่อยวัฏจักรที่สร้างขึ้นโดย 1/( bd ) [ 2 ]
- กลุ่มการบวกของจำนวนตรรกยะคู่ซึ่งเป็นจำนวนตรรกยะในรูปแบบa /2b นั้นเป็นกลุ่มวัฏจักรเฉพาะที่ด้วย กล่าวคือ จำนวนตรรกยะคู่ใดๆa /2b และ c / 2d จะอยู่ในกลุ่มย่อยวัฏจักรที่สร้างขึ้นโดย 1/ 2max ( b , d )
- ให้pเป็นจำนวนเฉพาะใดๆ และให้μ แทนเซตของ ราก ที่p ของเอกภาพในCนั่นคือ
ตัวอย่างของกลุ่มอาเบเลียนที่ไม่เป็นวัฏจักรเฉพาะที่
- กลุ่มการบวกของจำนวนจริง ( R , +) ซึ่งเป็นกลุ่มย่อยที่สร้างขึ้นโดย 1 และπ (ประกอบด้วยจำนวนทั้งหมดในรูปแบบa + b π ) นั้นสมมาตรกับผลรวมโดยตรงZ + Zซึ่งไม่ใช่วัฏจักร