Xem mã nguồn của Định lý cơ bản của các nhóm cyclic

{{chú thích trong bài}} 
Trong [[đại số trừu tượng]],  '''định lý cơ bản về nhóm cyclic''' khẳng định rằng nếu ''G'' là một [[nhóm cyclic]] cấp ''n'' thì mọi [[nhóm con]] của ''G'' cũng là cyclic. Hơn nữa, cấp của các nhóm con của ''G'' là một ước của ''n'' và với mỗi ước dương ''k'' của ''n'' nhóm ''G'' có đúng một nhóm con cấp ''k''.

== Chứng minh ==
Giả sử <math>G = \left \langle a \right \rangle</math> là một nhóm cyclic sinh bởi phần tử <math>a \in G</math>.  Giả sử <math>H\,</math> là nhóm con của <math>G\,</math>.
Ta sẽ chứng tỏ rằng <math>H\,</math> là cyclic. Nếu <math>H = \{ e \}\,</math> thì <math> H = \left \langle e \right \rangle\,</math>. Nếu <math>H \neq \{ e \}\,</math> thì vì <math>G\,</math> là cyclic nên mọi phần tử trong <math>H\,</math> có dạng lũy thừa <math>a^t\,</math>, trong đó <math>t\,</math> là số nguyên dương. Đặt <math>m\,</math> là số nguyên dương nhỏ nhất mà <math>a^m \in H</math>.

Chúng ta sẽ chứng tỏ rằng <math>H = \left \langle a^m \right \rangle\,</math>. Từ tính chất đống của nhóm con rút ra rằng <math> \left \langle a^m \right \rangle \subseteq H</math>.

Để chứng tỏ <math>H \subseteq \left \langle a^m \right \rangle</math> chúng ta giả sử <math>b \in H</math>. Vì <math>b \in G</math> ta có <math>b = a^k\,</math> với một số nguyên dương nào đó <math>k\,</math>. Theo thuật toán chia, <math>k = mq + r\,</math> với <math>0 \le r < m\,</math>, và do đó <math>a^k = a^{mq + r} = a^{mq}a^r\,</math>, từ đó <math>a^r = a^{-mq}a^k\,</math>. Bây giờ vì <math>a^k \in H</math> và <math>a^{-mq} = (a^{m})^{-q} \in H</math>, nên <math>a^r \in H</math>. Nhưng <math>m\,</math> là số nguyên dương nhỏ nhất sao cho <math>a^m \in H</math> và <math>0 \le r < m\,</math>, nên <math>r = 0\,</math> và do đó <math>b = a^k = a^{mq} = (a^m)^q \in \left \langle a^m \right \rangle</math>. Như vậy <math>H \subseteq \left \langle a^m \right \rangle</math>.

Vì <math>H \subseteq \left \langle a^m \right \rangle</math> và <math> \left \langle a^m \right \rangle \subseteq H</math> nên <math>H = \left \langle a^m \right \rangle</math> và như vậy <math>H\,</math> là cyclic.

Bây giờ, chúng ta chứng tỏ rằng cấp của nhóm con bất kỳ của <math>G\,</math> là một ước của <math>n\,</math>. Giả sử <math>H\,</math> là một nhóm con bất kỳ của <math>G\,</math>. Ta luôn có thể viết <math>H = \left \langle a^m \right \rangle</math>, trong đó m là số nguyên dương nhỏ nhất sao cho <math>a^m \in H</math>. Vì <math>e = a^n = a^m\,</math> nên <math>n = mq\,</math> với số nguyên <math>q\,</math> nào đó. Như vậy <math>m | n\,</math>.

Chúng ta sẽ chứng minh phần cuối của định lý. Giả sử <math>k\,</math> là một ước nguyên dương của <math>n\,</math>. Ta sẽ chứng tỏ rằng <math>\left \langle a^{n/k} \right \rangle</math> và chỉ nó là nhóm con <math>\left \langle a \right \rangle</math> cấp <math>k\,</math>. Chú ý rằng <math>\left \langle a^{n/k} \right \rangle</math> có cấp <math>{n\over{gcd(n, {n \over {k}})}} = {n \over {n \over k}} = k\,</math>. Đặt <math>H\,</math> là nhóm con bất kỳ của <math>\left \langle a \right \rangle </math> có cấp <math>k\,</math>. Ta biết rằng <math>H = \left \langle a \right \rangle</math>, trong đó <math>m\,</math> là ước của <math>n\,</math>. Như vây <math>m = gcd(n, m)\,</math> and <math>k = | < a ^m > | = | a ^m | = |a^{gcd(n, m)}| = {n \over {gcd(n, m)}} = {n \over m}\,</math>. Từ đó <math>m = {n \over k}\,</math> và như vậy <math>H = \left \langle a^{n \over k} \right \rangle</math>. Định lý đã được chứng minh.

==Bổ sung==
Giả sử <math>G = < a ></math> là một nhóm cyclic, và <math>H</math> là một nhóm con của <math>G</math>. Ta xác định một ánh xạ <math>\phi: \mathbb{Z} \rightarrow G</math> nhờ <math>\phi(n) = a^n</math>. Vì <math>G</math> là cyclic sinh bởi <math>a</math>, nên <math>\phi</math> là [[toàn ánh]]. Đặt <math>K = \phi^{-1}(H) \subseteq \mathbb{Z}</math>. <math>K</math> là nhóm con của <math>\mathbb{Z}</math>. Vì <math>\phi</math> là toán ánh, nên thu hẹp của <math>\phi</math> trên <math>K</math> xác định một toàn cấu từ <math>K</math> lên <math>H</math>, và do đó <math>H</math> là đẳng cấu với một nhóm thương của <math>K</math>. Vì <math>K</math> là một nhóm con của <math>\mathbb{Z}</math>, <math>K</math> là <math>n\mathbb{Z}</math> với số nguyên <math>n</math> nào đó. Nếu <math>n = 0</math>, thì <math>K = {0}</math>, từ đó <math>H = {0}</math>, là nhóm cyclic. Nếu khác đi, <math>K</math> đẳng cấu với <math>\mathbb{Z}</math>. Do đó <math>H</math> là đẳng cấu với một thương của  <math>\mathbb{Z}</math>, và chắc chắn là cyclic.

==Xem thêm==
*[[Nhóm cyclic]]

==Tham khảo==
{{tham khảo}}

[[Thể loại:Đại số]]
[[Thể loại:Lý thuyết nhóm]]