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

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

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

 $
\begin{align*}
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{align*}
$

где је i_1<i_2<\dotsb<i_{q-1}<s\leqslant i_q<\dotsb<i_r.

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

 $
\[(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\]
$

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

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

 $
\begin{multline*}
(\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{multline*}
$

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

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

 $
\[K=\underbrace{\Z_{p^s}\times\Z_{p^s}\times\dotsb\times\Z_{p^s}}_{k
\text{ пута}}\]
$

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

Доказ. Укупно у групи K постоји p^{sk} елемената. У групи \Z_{p^s} је максимални ред елемента p^s, па је то максимални ред и у групи K. Елемената максималног реда има у цикличној групи \Z_{p^s} тачно \varphi(p^s)=p^s-p^{s-1}. Елемената који нису максималног реда има стога p^s-\varphi(p^s)=p^{s-1}. Елементи групе K који нису максималног реда су у ствари k-торке састављене од елемената групе \Z_{p^s} који нису максималног реда. Зато у групи K има

|K|-\bigl(p^s-\varphi(p^s)\bigr)^k=p^{sk}-p^{(s-1)k}=p^{(s-1)k}\cdot(p^k-1)

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

Према леми 1, број елемената реда p^s у групи H једнак је p^{(s-1)k}\cdot(p^k-1), где је k=\suml_{j=q}^rn_j. Зато је укупан број елемената реда p^s у групи G једнак:

 $
\[\fdomathbox{\begin{cases}
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{cases}\qquad\Bigl[\text{уз }\ell=\suml_{t=1}^{q-1}i_tn_t
\text{ и }k=\suml_{j=q}^rn_j\Bigr]\text{.}\ \Qed}\]
$

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

 $
\[G=\Z_{2^2}\times\Z_{2^3}\times\Z_3\times\Z_5\times\Z_5\]
$

ћемо имати: H=\Z_{2^2}\times\Z_{2^3}, K=\Z_3, L=\Z_5\times\Z_5, G\izom H\times K\times L.

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

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

 $
\[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{.}\]
$

Решење. Имамо i_1=1, i_2=2, i_3=4, i_4=5, i_5=6, n_1=3, n_2=1, n_3=2, n_4=1, n_5=2, s=4, q=3, \ell=1\cdot3+2\cdot1=5, k=2+1+2=5, па је према претходном задатку број елемената реда p^4 једнак: p^5\cdot p^{3\cdot 5}\cdot(p^5-1)=p^{20}\cdot(p^5-1)\text{.}\ \blacksquare

 $
\begin{figure}[!htp]
\setlength{\unitlength}{0.006mm}
\begin{center}
\small
\begin{picture}(17000,11000)(0,0)
\path(16500,0)(16500,11000)(-1500,11000)(-1500,0)(16500,0)
% natpisi na vertikalnoj osi
\put(-500,1000){$0$}
\put(-500,2400){$1$}
\put(-500,3800){$2$}
\put(-500,5200){$3$}
\put(-500,6600){$4$}
\put(-500,8000){$5$}
\put(-500,9400){$6$}
\put(-700,3800){\begin{rotate}{90}{(степени $p$-а)}\end{rotate}}
% ose
\thicklines
\path(0,1000)(0,10000)
\path(0,1000)(15200,1000)
% strelica gore
\path(0,10000)(100,9500)
\path(0,10000)(-100,9500)
% strelica desno
\path(15200,1000)(14700,1100)
\path(15200,1000)(14700,900)
% osencxena oblast
\texture{cccccccc        0        0 cccccccc        0        0 cccccccc        0
                0        0 cccccccc        0        0 cccccccc        0        0
                0 cccccccc        0        0 cccccccc        0        0 cccccccc
         cccccccc        0        0 cccccccc        0        0 cccccccc        0}
\shade\path(5600,1000)(5600,6600)(12600,6600)(12600,1000)(5600,1000)
% natpisi na horizontalnoj osi
\put(200,2600){$\Z_p\times\Z_p\times\Z_p$}
\put(4400,4000){$\Z_{p^2}$}
\put(5800,6800){$\Z_{p^4}\times\Z_{p^4}$}
\put(8600,8200){$\Z_{p^5}$}
\put(10000,9600){$\Z_{p^6}\times\Z_{p^6}$}
\put(3800,300){(подгрупе групе~$G$)}
\put(400,8000){$\begin{array}{c}\text{(овај део се користи}\\\text{у потпуности)}\\\overbrace{\qquad\qquad}\end{array}$}
\put(12700,8000){$\Biggr\}\begin{array}{l}\text{(овај део се}\\\text{одбацује)}\end{array}$}

% podaci
\thinlines
\path(0,2400)(4200,2400)
\path(4200,1000)(4200,3800)(5600,3800)
\path(5600,1000)(5600,6600)(8400,6600)
\path(8400,1000)(8400,8000)(9800,8000)
\path(9800,1000)(9800,9400)(12600,9400)(12600,1000)
% horizontalno odsecanye
\dashline[50]{700}(0,6600)(14200,6600)
% vertikalno odsecanye
\dashline[50]{700}(5600,1000)(5600,9500)
% natpis preko osencxenog dela
\filltype{white}
\put(9000,4000){\whiten\ellipse{6000}{4000}}
\put(6500,4000){$\begin{array}{l}\text{(овај део се}\\[.4ex]
\text{третира као }\Z_{p^{s}}^k\text{, тј.}\\[1ex]
\text{овде као }\Z_{p^4}^{2+1+2}\text{)}\end{array}$}
\end{picture}
\end{center}
\caption{Илустрација уз пример~1.}
\end{figure}
$

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

 $
\[G=\Z_2\times\Z_2\times\Z_4\times\Z_3\times\Z_9\times
\Z_9\izom\Z_6\times\Z_{18}\times\Z_{36}\text{.}\]
$

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

Нађимо број елемената реда 9, тамо где их има, дакле у K=\Z_3\times\Z_9\times \Z_9. Имамо: i_1=1, i_2=2, n_1=1, n_2=2, s=2, q=2, \ell=1\cdot1=1, k=2, и број елемената реда 9 је једнак: 3\cdot3^2\cdot(3^2-1)=3\cdot72=216.

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