Рачунање броја елемената одређеног реда у коначној Абеловој групи

Страхиња Радић

Задатак. Одредити број елемената реда psp^s у групи:

G=(Zpi1×Zpi1××Zpi1n1 пута)×(Zpi2×Zpi2××Zpi2n2 пута)××(Zpir×Zpir××Zpirnr пута),\begin{aligned} G&=(\underbrace{\Z_{p^{i_1}}\times\Z_{p^{i_1}}\times\dotsb\times\Z_{p^{i_1}}}_{n_1\text{ пута}})% \times(\underbrace{\Z_{p^{i_2}}\times\Z_{p^{i_2}}\times\dotsb\times\Z_{p^{i_2}}}_{n_2\text{ пута}})% \times\dotsb\\ &\dotsb\times(\underbrace{\Z_{p^{i_r}}\times\Z_{p^{i_r}}\times\dotsb\times\Z_{p^{i_r}}}_{n_r\text{ пута}})\text{,} \end{aligned}

где је i1<i2<<iq1<siq<<iri_1<i_2<\ldots<i_{q-1}<s\leqslant i_q<\ldots<i_r.

Решење. Група GG садржи укупно pi1n1pi2n2pirnrp^{i_1\cdot n_1}\cdot p^{i_2\cdot n_2}\dotsb p^{i_r\cdot n_r} елемената. Међутим, нас занимају само елементи реда psp^s. Дакле, елементе група Zpix\Z_{p^{i_x}} редова ps+1p^{s+1}, ps+2p^{s+2}, \dotsc, pirp^{i_r} ћемо занемарити, јер би присуство било ког од њих у елементу:

(ai11,ai12,,ai1n1,ai21,ai22,,ai2n2,,air1,air2,,airnr)G(a_{i_11}, a_{i_12}, \dotsc, a_{i_1n_1},\quad a_{i_21}, a_{i_22}, \dotsc, a_{i_2n_2},\quad\dotsc,\quad a_{i_r1}, a_{i_r2}, \dotsc, a_{i_rn_r})\in G

повећало ред тог елемента, који је увек једнак НЗС-у редова његових компонената. Аналогно, елементи чији су редови једнаки нижим степеновима pp-а, односно pi1p^{i_1}, pi2p^{i_2}, \dotsc, ps1p^{s-1}, не могу да повећају тај НЗС, па је зато дозвољено узимати све елементе из њихових група, и зато се тражени број елемената множи редовима њихових група.

Остају једино елементи реда psp^s и нижих у групама редова piqp^{i_q}, piq+1p^{i_{q+1}}, \dotsc, pirp^{i_r}. Пошто одбацујемо елементе реда већег од psp^s, следи да ћемо читав део групе GG:

(Zpiq×Zpiq××Zpiqnq пута)×(Zpiq+1×Zpiq+1××Zpiq+1nq+1 пута)××(Zpir×Zpir××Zpirnr пута),\begin{aligned} (\underbrace{\Z_{p^{i_q}}\times\Z_{p^{i_q}}\times\dotsb\times\Z_{p^{i_q}}}_{{n_q}\text{ пута}})% \times(\underbrace{\Z_{p^{i_{q+1}}}\times\Z_{p^{i_{q+1}}}\times\dotsb\times \Z_{p^{i_{q+1}}}}_{n_{q+1}\text{ пута}})% \times\dotsb\\ \dotsb\times(\underbrace{\Z_{p^{i_r}}\times\Z_{p^{i_r}}\times\dotsb\times\Z_{p^{i_r}}}_{n_r\text{ пута}})\text{,} \end{aligned}

третирати као H=(Zps)nq+nq+1++nrH=(\Z_{p^s})^{n_q+n_{q+1}+\dotsb+n_r}. Размотримо ово у посебној леми.

Лема 1. Број елемената максималног реда у групи:

K=Zps×Zps××Zpsk путаK=\underbrace{\Z_{p^s}\times\Z_{p^s}\times\dotsb\times\Z_{p^s}}_{k \text{ пута}}

једнак је p(s1)k(pk1)p^{(s-1)k}\cdot(p^k-1).

Доказ. Укупно у групи KK постоји pskp^{sk} елемената. У групи Zps\Z_{p^s} је максимални ред елемента psp^s, па је то максимални ред и у групи KK. Елемената максималног реда има у цикличној групи Zps\Z_{p^s} тачно φ(ps)=psps1\varphi(p^s)=p^s-p^{s-1}. Елемената који нису максималног реда има стога psφ(ps)=ps1p^s-\varphi(p^s)=p^{s-1}. Елементи групе KK који нису максималног реда су уствари kk-торке састављене од елемената групе Zps\Z_{p^s} који нису максималног реда. Зато у групи KK има

K(psφ(ps))k=pskp(s1)k=p(s1)k(pk1)|K|-\bigl(p^s-\varphi(p^s)\bigr)^k=p^{sk}-p^{(s-1)k}=p^{(s-1)k}\cdot(p^k-1)

елемената који су максималног реда. Овде смо од укупног броја елемената групе KK одузели број елемената који нису максималног реда, да бисмо добили само број оних елемената који јесу максималног реда. \Box

Према леми 1, број елемената реда psp^s у групи HH једнак је p(s1)k(pk1)p^{(s-1)k}\cdot(p^k-1), где је k=j=qrnjk=\sum\limits_{j=q}^rn_j. Зато је укупан број елемената реда psp^s у групи GG једнак:

pp(s1)k(pk1),за q>1,p(s1)k(pk1),за q=1,[уз =t=1q1itnt и k=j=qrnj]\boxed{\begin{aligned} p^{\ell}\cdot p^{(s-1)k}\cdot\bigl(p^k-1\bigr), &\text{за }q>1\text{,}\\ p^{(s-1)k}\cdot\bigl(p^k-1\bigr), &\text{за }q=1\text{,} \end{aligned}\qquad\Bigl[\text{уз }\ell=\sum\limits_{t=1}^{q-1}i_tn_t \text{ и }k=\sum\limits_{j=q}^rn_j\Bigr]\text{.}\ \Box}

Напомена. Уколико у реду групе GG фигуришу степени различитих простих бројева, група се дели на подгрупе чији редови садрже само степене истог простог броја. На пример, у групи:

G=Z22×Z23×Z3×Z5×Z5G=\Z_{2^2}\times\Z_{2^3}\times\Z_3\times\Z_5\times\Z_5

ћемо имати: H=Z22×Z23H=\Z_{2^2}\times\Z_{2^3}, K=Z3K=\Z_3, L=Z5×Z5L=\Z_5\times\Z_5, GH×K×LG\cong H\times K\times L.

Подгрупе чији је ред узајамно прост са редом тражених елемената се занемарују. Уколико су тражени елементи реда који није степен простог броја, онда се претходни задатак примени на одговарајуће делове групе GG и добијени бројеви елемената се множе.

Пример 1. Одредити број елемената реда p4p^4 у групи:

G=Zp×Zp×Zp×Zp2×Zp4×Zp4×Zp5×Zp6×Zp6.G=\Z_p\times\Z_p\times\Z_p\times\Z_{p^2}\times\Z_{p^4}\times\Z_{p^4}\times \Z_{p^5}\times\Z_{p^6}\times\Z_{p^6}\text{.}

Решење. Имамо i1=1i_1=1, i2=2i_2=2, i3=4i_3=4, i4=5i_4=5, i5=6i_5=6, n1=3n_1=3, n2=1n_2=1, n3=2n_3=2, n4=1n_4=1, n5=2n_5=2, s=4s=4, q=3q=3, =13+21=5\ell=1\cdot3+2\cdot1=5, k=2+1+2=5k=2+1+2=5, па је према претходном задатку број елемената реда p4p^4 једнак: p5p35(p51)=p20(p51)p^5\cdot p^{3\cdot 5}\cdot(p^5-1)=p^{20}\cdot(p^5-1)\text{.}\ \blacksquare

Слика 1: Илустрација уз пример 1.

Пример 2. Одредити број елемената реда 1818 у групи:

G=Z2×Z2×Z4×Z3×Z9×Z9Z6×Z18×Z36.G=\Z_2\times\Z_2\times\Z_4\times\Z_3\times\Z_9\times \Z_9\cong\Z_6\times\Z_{18}\times\Z_{36}\text{.}

Решење. Нађимо број елемената реда 22, тамо где их има, дакле у H=Z2×Z2×Z4H=\Z_2\times\Z_2\times\Z_4. Имамо: i1=1i_1=1, i2=2i_2=2, n1=2n_1=2, n2=1n_2=1, s=1s=1, q=1q=1, k=2+1=3k=2+1=3, и број елемената реда 22 је једнак: 231=72^3-1=7.

Нађимо број елемената реда 99, тамо где их има, дакле у K=Z3×Z9×Z9K=\Z_3\times\Z_9\times \Z_9. Имамо: i1=1i_1=1, i2=2i_2=2, n1=1n_1=1, n2=2n_2=2, s=2s=2, q=2q=2, =11=1\ell=1\cdot1=1, k=2k=2, и број елемената реда 99 је једнак: 332(321)=372=2163\cdot3^2\cdot(3^2-1)=3\cdot72=216.

Према томе, број елемената реда 1818 у групи GG је једнак 7216=1512. 7\cdot216=1512.\ \blacksquare

Creative Commons License
Copyright © 1999-
Страхиња Радић (Strahinya Radich)