Máy Tính Bậc Lý Thuyết Nhóm

Giới thiệu về Máy Tính Bậc Lý Thuyết Nhóm

Máy tính Bậc Lý thuyết Nhóm là một công cụ tương tác để nghiên cứu các nhóm hữu hạn: nó tính bậc của mọi phần tử, phát hiện xem nhóm là abelian hay cyclic, hiển thị bảng nhân Cayley dưới dạng bản đồ nhiệt được mã hóa màu theo bậc phần tử và vẽ lưới nhóm con đầy đủ dưới dạng biểu đồ Hasse. Nó hỗ trợ bốn họ nhóm phổ biến nhất trong khóa học đại số đại cương: nhóm cyclic Z_n, tích trực tiếp Z_m × Z_n, nhóm nhị diện D_n và nhóm đối xứng S_n.

Bậc của một phần tử là gì?

Cho một nhóm hữu hạn G với phần tử đơn vị e, bậc của một phần tử g ∈ G, ký hiệu là |g| hoặc ord(g), là số nguyên dương nhỏ nhất k sao cho

Tương đương, bậc của g là kích thước của nhóm con cyclic mà nó sinh ra: |⟨g⟩| = ord(g). Định lý Lagrange đảm bảo rằng ord(g) luôn chia hết cho |G|, vì vậy đối với một nhóm bậc 12, các bậc phần tử có thể có là 1, 2, 3, 4, 6 và 12.

Công thức đóng cho các nhóm phổ biến

Nhóm cyclic Z_n

Dưới phép cộng modulo n, bậc của phần tử k là

Nhóm này luôn luôn là cyclic (được sinh ra bởi 1), và số lượng phần tử sinh bằng giá trị hàm phi Euler φ(n).

Tích trực tiếp Z_m × Z_n

Tích trực tiếp là cyclic — và do đó đẳng cấu với Z_mn — khi và chỉ khi gcd(m, n) = 1. Đây là nội dung của Định lý Thặng dư Trung Hoa phát biểu cho các nhóm. Ví dụ, Z₃ × Z₅ ≅ Z₁₅, nhưng Z₂ × Z₄ ≇ Z₈.

Nhóm nhị diện D_n

D_n có 2n phần tử: n phép quay r^k và n phép phản chiếu s·r^k. Bậc của các phần tử tuân theo một quy luật đơn giản:

Mọi phép phản chiếu đều là một phép đối hợp (bậc 2). D_n là nhóm không abelian với n ≥ 3.

Nhóm đối xứng S_n

Bậc của một hoán vị bằng bội chung nhỏ nhất của độ dài các chu trình trong ký hiệu chu trình rời nhau:

S_n có bậc n! và không phải là nhóm abelian với n ≥ 3.

Bảng Cayley mã hóa mọi thứ như thế nào

Bảng Cayley là bảng nhân của nhóm: ô ở hàng a, cột b là tích a · b. Ba tính chất thanh lịch rút ra từ các tiên đề nhóm:

• Hình vuông Latin — mọi hàng và mọi cột đều là một hoán vị của các phần tử trong nhóm (mỗi phần tử xuất hiện đúng một lần).
• Tính đối xứng qua đường chéo tương đương với việc nhóm đó là abelian.
• Đường chéo của phần tử đơn vị — ô trên đường chéo A[i][i] bằng phần tử đơn vị khi và chỉ khi phần tử ở hàng i có bậc 1 hoặc 2.

Trong máy tính này, các ô được tô màu theo bậc của phần tử kết quả, giúp bạn thấy các cấu trúc đặc trưng ngay lập tức. Ví dụ, trong một nhóm cyclic, các hàng là các hoán vị vòng quanh của nhau — tạo nên một dải cầu vồng đẹp mắt.

Lưới nhóm con

Tập hợp tất cả các nhóm con của G, được sắp xếp theo quan hệ bao hàm, tạo thành một lưới (theo nghĩa lý thuyết thứ tự). Chúng tôi vẽ nó dưới dạng biểu đồ Hasse: nhóm con tầm thường {e} ở dưới cùng, toàn bộ nhóm G ở trên cùng, với một cạnh H → K bất cứ khi nào K ⊂ H là một quan hệ phủ (không có nhóm con nào nằm giữa chúng). Các sự kiện chính được tiết lộ bởi lưới:

Ví dụ minh họa — D₄, hình vuông

Nhóm nhị diện bậc 8 tác động lên một hình vuông có tám phần tử: e, r, r², r³ (phép quay) và s, sr, sr², sr³ (phép phản chiếu). Công cụ sẽ suy ra:

• Dãy bậc: 1, 4, 2, 4, 2, 2, 2, 2 — tâm quay r² là phần tử trung tâm phi tầm thường duy nhất.
• Không abelian: s · r ≠ r · s.
• Không cyclic: không có phần tử nào có bậc 8.
• 10 nhóm con được sắp xếp trong một "lưới D₄" đặc trưng: một nhóm bậc 1, năm nhóm bậc 2, ba nhóm bậc 4 (một nhóm cyclic ⟨r⟩, hai nhóm bốn Klein), một nhóm bậc 8.
• Ba nhóm con chuẩn tắc: {e, r²}, ⟨r⟩, và mỗi nhóm con bốn Klein. Ba nhóm con phản chiếu bậc 2 không chuẩn tắc.

Cách sử dụng máy tính này

1. Chọn một họ nhóm bằng các tab: Cyclic, Tích trực tiếp, Nhị diện, hoặc Đối xứng.
2. Nhập các tham số. Một số nguyên n cho Z_n, D_n, và S_n; cả m và n cho tích trực tiếp.
3. Tùy chọn truy vấn một phần tử bằng cách nhập phần tử đó vào trường Làm nổi bật — v.d. 8 cho Z₁₂, (1,2) cho một tích trực tiếp, r^2 hoặc s·r^3 cho D_n, hoặc (1 2 3) cho S_n. Công cụ sẽ in ra bậc của nó và nhóm con cyclic mà nó sinh ra.
4. Nhấp vào Phân tích nhóm. Bạn sẽ nhận được bảng Cayley (tô màu theo bậc), biểu đồ thanh phân phối bậc, danh sách có thể cuộn của mọi phần tử kèm theo bậc của chúng và lưới nhóm con dưới dạng biểu đồ Hasse với các chi tiết khi di chuột qua.
5. Di chuột qua một nút lưới để xem các phần tử, phần tử sinh của nó và xem nó có phải chuẩn tắc hay không. Di chuột qua một ô Cayley để xem hàng và cột nào tạo ra nó.

Giới hạn trong phiên bản này

• Cyclic Z_n: n ≤ 120.
• Tích trực tiếp Z_m × Z_n: m · n ≤ 144.
• Nhị diện D_n: n ≤ 20 (|D_n| ≤ 40).
• Đối xứng S_n: n ≤ 5 (|S₅| = 120).
• Bảng Cayley được hiển thị cho các nhóm bậc ≤ 24.
• Lưới nhóm con đầy đủ được tính toán cho các nhóm bậc ≤ 60.

Các ứng dụng phổ biến

• Bài tập đại số trừu tượng — kiểm tra bài tập về nhà về bậc phần tử, định lý Lagrange và liệt kê nhóm con.
• Mật mã học — nhóm nhân modulo một số nguyên tố là nhóm cyclic; ord(g) quyết định tính bảo mật của hệ Diffie–Hellman.
• Tinh thể học và hóa học — các nhóm nhị diện mô tả các đối xứng quay của phân tử và các mặt tinh thể.
• Tổ hợp — các nhóm đối xứng đếm các hoán vị, được sử dụng trong bổ đề Burnside và đếm Pólya.
• Vật lý — các nhóm điểm, nhóm Lie và các lý luận về đối xứng trong cơ học lượng tử đều bắt đầu từ trực giác nhóm hữu hạn mà máy tính này giúp hiển thị trực quan.

Câu hỏi thường gặp

Bậc của một phần tử trong một nhóm là gì?

Bậc của một phần tử g trong một nhóm hữu hạn G là số nguyên dương nhỏ nhất k sao cho g^k bằng phần tử đơn vị. Theo định lý Lagrange, bậc của mọi phần tử đều chia hết cho bậc của nhóm.

Làm thế nào để tính bậc của một phần tử trong Z_n?

Đối với nhóm cyclic Z_n dưới phép cộng modulo n, bậc của phần tử k là n / gcd(n, k). Ví dụ, trong Z₁₂ phần tử 8 có bậc 12 / gcd(12, 8) = 12 / 4 = 3.

Khi nào một nhóm là cyclic?

Một nhóm hữu hạn là cyclic khi và chỉ khi nó chứa một phần tử có bậc bằng với bậc của nhóm. Mọi nhóm cyclic bậc n đều đẳng cấu với Z_n. Tích trực tiếp Z_m × Z_n là cyclic khi và chỉ khi gcd(m, n) = 1.

Bảng Cayley là gì?

Bảng Cayley là một bảng nhân hình vuông liệt kê tích của mọi cặp phần tử trong nhóm. Ô ở hàng a và cột b là tích a · b. Các hàng và cột của bảng Cayley đều là các hoán vị của các phần tử trong nhóm — một tính chất được gọi là tính chất hình vuông Latin.

Lưới nhóm con là gì?

Lưới nhóm con của một nhóm hữu hạn G là tập sắp thứ tự bộ phận của tất cả các nhóm con của G được sắp xếp theo quan hệ bao hàm. Được vẽ dưới dạng biểu đồ Hasse, nó giúp dễ dàng thấy nhóm con nào nằm trong nhóm con nào, và xác định các nhóm con chuẩn tắc hoặc dãy chính.

Tại sao S₃ đẳng cấu với D₃?

Cả hai nhóm đều có bậc 6 và cùng một tập hợp các bậc phần tử (một phần tử bậc 1, hai phần tử bậc 3 và ba phần tử bậc 2). Sáu đối xứng của một tam giác đều — ba phép quay cộng với ba phép phản chiếu — tương ứng chính xác với sáu hoán vị của ba đỉnh của nó, vì vậy hai nhóm về mặt trừu tượng là cùng một nhóm. Hãy tạo cả hai nhóm trong máy tính này và bạn sẽ thấy lưới nhóm con của chúng khớp nhau hoàn toàn.

Đọc thêm

• Bậc (lý thuyết nhóm) — Wikipedia
• Bảng Cayley — Wikipedia
• Lưới các nhóm con — Wikipedia
• Nhóm nhị diện — Wikipedia
• Nhóm đối xứng — Wikipedia

Phép toán toán học nâng cao:

• Máy Tính Ma Trận Kề Mới
• Máy Tính Antilog
• Máy tính hàm Beta
• Máy tính hệ số nhị thức
• Máy tính phân phối xác suất nhị thức
• Máy tính Bitwise Phổ biến
• Công Cụ Rút Gọn Đại Số Boolean Mới
• Máy tính Định lý Giới hạn Trung tâm
• Máy tính Định lý Số dư Trung Quốc
• Máy tính kết hợp
• Máy tính hàm lỗi bổ sung
• Máy tính số phức Phổ biến
• Máy tính Phân số liên tục
• Máy tính Hoán vị lệch (Giai thừa phụ)
• Máy tính Đường đi Ngắn nhất Dijkstra
• Máy tính Entropy
• Máy tính chức năng lỗi
• Máy tính Hàm Phi Euler
• Máy tính giảm dần theo cấp số nhân
• Máy tính tăng trưởng theo cấp số nhân
• Máy tính Tích phân Lũy thừa
• Máy Tính Số Mũ (Độ Chính Xác Cao) Phổ biến
• Máy tính Thuật toán Euclid Mở rộng
• Máy tính giai thừa Phổ biến
• Máy tính Hàm Gamma
• Máy tính tỷ lệ vàng
• Máy Tính Tô Màu Đồ Thị Mới
• Trình xác thực dãy bậc đồ thị
• Máy Tính Bậc Lý Thuyết Nhóm Mới
• Máy tính Nửa đời
• Công cụ Kiểm tra Đường đi Hamilton Mới
• Máy tính Bao hàm - Loại trừ Mới
• Công cụ Giải Bản đồ Karnaugh (K-Map) Phổ biến
• Công cụ Giải Quy hoạch Tuyến tính Mới
• Máy tính Phân phối Dừng Chuỗi Markov
• Máy tính Cây khung nhỏ nhất
• Máy Tính Lũy Thừa Modular Mới
• Máy tính Nghịch đảo Nhân theo Mô-đun
• Máy Tính Phân Phối Nhị Thức Âm Mới
• Máy Tính Luồng Mạng (Luồng Cực Đại) Mới
• Máy tính phần trăm tăng trưởng
• Máy tính hoán vị
• Máy tính Hoán vị Có lặp Mới
• Máy tính Nguyên lý Chuồng bồ câu
• Trình Kiểm Tra Đồ Thị Phẳng Mới
• Máy tính Phân phối Poisson
• Máy tính căn bậc của đa thức với các bước chi tiết
• Máy Tính Căn Nguyên Thủy
• Máy tính xác suất
• Máy tính phân bố xác suất
• Máy tính Tỷ lệ thức
• Máy tính công thức bậc hai
• Máy tính Vành và Trường Mới
• Máy Tính Làm Tròn Mới
• Máy Tính Khoa Học
• Máy tính ký hiệu khoa học
• Máy tính lý thuyết tập hợp
• Máy Tính Chữ Số Có Nghĩa Mới
• Trình giải Bài toán Hôn nhân Ổn định Mới
• Máy tính số Stirling
• Máy tính tổng khối
• Máy tính tổng các số liên tiếp
• Máy tính Tổng Bình phương
• Máy Tính Sắp Xếp Topo Mới
• Trình Giải Bài Toán Người Du Hành (TSP) Mới
• Công cụ tạo bảng chân trị
• Công cụ tạo Biểu đồ Venn (3 Tập hợp)