|
Эта публикация цитируется в 1 научной статье (всего в 1 статье)
О числе эпи-, моно- и гомоморфизмов групп
Е. К. Брусянскаяab, А. А. Клячкоab a Московский государственный университет имени М. В. Ломоносова, механико-математический факультет
b Московский центр фундаментальной и прикладной математики
Аннотация:
Число гомоморфизмов из группы $F$ в группу $G$ делится, как известно, на наибольший общий делитель порядка группы $G$ и экспоненты группы $F/[F,F]$. Мы исследуем вопрос о том, что можно сказать про число гомоморфизмов, удовлетворяющих некоторым естественным условиям вроде инъективности или сюръективности. Простейшим нетривиальным следствием наших результатов является тот факт, что в любой конечной группе число порождающих пар $(x,y)$ таких, что $x^3=1=y^5$, делится на наибольший общий делитель пятнадцати и порядка группы $[G,G]\cdot\{g^{15}\mid g\in G\}$.
Библиография: 22 наименования.
Ключевые слова:
число гомоморфизмов, уравнения в группах, теорема Фробениуса, теорема Соломона.
Поступило в редакцию: 03.01.2021
Введение В основу работы легли три классических результата про делимость в группах: теоремы Фробениуса (1895), Соломона (1969) и Ивасаки (1985). Теорема Фробениуса ([1], см. также [2]). Число решений уравнения $x^n{=}\,1$ в конечной группе $G$ делится на $\operatorname{\textrm{НОД}}(|G|,n)$ для любого натурального $n$. Теорема Соломона (см. [3]). В любой группе число решений конечной системы уравнений без коэффициентов делится на порядок этой группы, если уравнений меньше, чем неизвестных. Другими словами, число гомоморфизмов $\langle x_1,\dots,x_m\mid w_1=\dots=w_n=1\rangle\to G$ делится на $|G|$, если $m>n$. Теорема Ивасаки (см. [4]). Для любого целого $n$ число элементов конечной группы $G$, $n$-е степени которых лежат в данной подгруппе $A\subseteq G$, делится на $|A|$. Эти теоремы много раз обобщались в разных направлениях (см. [5]–[21] и литературу там цитируемую). Например, в [16] доказано следующее обобщение теоремы Соломона. Теорема Гордона–Родригеса–Виллегаса (см. [16]). Число гомоморфизмов $F\to G$ делится на порядок группы $G$, если $F$ – конечно порожденная группа, коммутант которой имеет бесконечный индекс. Позже выяснилось, что между тремя классическими результатами есть связь: – в [19] доказан некоторый общий факт, который мы здесь называем теоремой КМ, включающий в себя в качестве частных случаев теоремы Соломона и Ивасаки (и их обобщения); – в [20] показано, что все три классических теоремы (и их обобщения, включая теорему КМ) являются частными случаями одной очень общей теоремы, которую мы здесь называем теоремой BKV (см. § 1). Авторы [19] выводят из теоремы КМ следующий факт о делимости числа гомоморфизмов, удовлетворяющих условиям типа инъективности или сюръективности. Пусть $F\supseteq W$ и $G\supseteq A$ – группы и
$$
\begin{equation*}
\begin{aligned} \, \operatorname{Hom}(F,W;G,A)&\,{=}\,\{\phi\colon F\to G\mid \phi(W)\subseteq A\}, \\ \operatorname{Epi}(F,W;G,A)&{=}\,\{\phi\colon F\to G\mid \phi(W)=A\}, \\ \operatorname{Mono}(F,W;G,A)&{=}\,\{\phi\colon F\to G\mid \phi(W)\,{\subseteq}\, A \text{ и ограничение $\phi$ на $W$ инъективно}\}. \end{aligned}
\end{equation*}
\notag
$$
Теорема (об эпи-, моно- и гомоморфизмах; см. [19]). Пусть $W$ – подгруппа конечно порожденной группы $F$, коммутант $F'$ которой имеет бесконечный индекс, а $A$ – подгруппа группы $G$. Тогда a) и $|{\operatorname{Hom}(F,W;G,A)}|$, и $|{\operatorname{Epi}(F,W;G,A)}|$, и $|{\operatorname{Mono}(F,W;G,A)}|$ делятся на порядок нормализатора $N(A)$ подгруппы $A$, если индекс $|F:F'W|$ бесконечен; b) $|{\operatorname{Hom}(F,W;G,A)}|$ делится на $|A|$; c) $|{\operatorname{Epi}(F,W;G,A)}|$ делится на $|A'|$. Целью настоящей работы является добавление “фробениусовости” в эту теорему, т. е. избавление от условий $|F:F'|=\infty$ и $|F:F'W|=\infty$. Результат оказался ожидаемым для утверждений a) и b), гораздо менее очевидным в случае c), кроме того, возникает новое утверждение d). “Фробениусова” теорема (об эпи-, моно- и гомоморфизмах). Пусть $A$ – подгруппа группы $G$, а $W$ – подгруппа конечно порожденной группы $F$. Тогда a) и $|{\operatorname{Hom}(F,W;G,A)}|$, и $|{\operatorname{Epi}(F,W;G,A)}|$, и $|{\operatorname{Mono}(F,W;G,A)}|$ делятся на $\operatorname{\textrm{НОД}}\bigl(N(A),\exp(F/(F'W))\bigr)$; b) $|{\operatorname{Hom}(F,W;G,A)}|$ делится на $\operatorname{\textrm{НОД}}(A,\exp(F/F'))$; c) $|{\operatorname{Epi}(F,W;G,A)}|$ делится на $\operatorname{\textrm{НОД}}\bigl(A'A^{\exp(F/F')},\exp(F/F')\bigr)$; d) $|{\operatorname{Mono}(F,W;G,A)}|$ делится на $\operatorname{\textrm{НОД}}\bigl(A,\exp\bigl(F/(F'Z(W))\bigr)\bigr)$. Это сильно упрощенная формулировка приведенной ниже теоремы 1, точнее ее следствия (см. § 3). Все, что здесь утверждается по поводу числа $|{\operatorname{Hom}(F,W;G,A)}|$, не является новым – эти факты, установленные в [20], мы включили просто для полноты картины. Отметим, что в этой теореме не предполагается, что группа $G$ конечна. Мы придерживаемся обозначений из [20]: наибольшим общим делителем $\operatorname{\textrm{НОД}}(G,n)$ группы $G$ и целого числа $n$ мы называем наименьшее общее кратное порядков подгрупп группы $G$, делящих $n$; делимость всегда понимается в смысле кардинальной арифметики: каждый бесконечный кардинал делится на все меньшие ненулевые кардиналы (и, разумеется, нуль делится на все кардиналы, а на нуль делится только нуль). Это означает, что $\operatorname{\textrm{НОД}}(G,0)=|G|$ для любой группы $G$; а, например, $\operatorname{\textrm{НОД}}(\mathbf{SL}_2(\mathbb{Z}),2020)=2$. Без потери общности будем считать все группы в настоящей работе конечными, а в этом случае $\operatorname{\textrm{НОД}}(G,n)=\operatorname{\textrm{НОД}}(|G|,n)$ по теореме Силова (и поскольку конечная $p$-группа содержит подгруппы всех возможных порядков). Пункт b) этой теоремы, разумеется, содержит классические теоремы – Фробениуса (достаточно взять в качестве $F=W$ циклическую группу и положить $A=G$); – Соломона и даже Гордона–Родригеса-Виллегаса (достаточно взять в качестве $F=W$ конечно порожденную группу, коммутант которой имеет бесконечный индекс и положить $A=G$); – Ивасаки (достаточно положить $F=\mathbb{Z}\supseteq n\mathbb{Z}=W$). А если, например, взять в пункте c) теоремы в качестве $F=W$ свободное произведение циклических групп и положить $A=G$, то мы получим следующий факт. Следствие (о системах порождающих). Для любой группы $G$ и любых $k_i\,{\in}\,\mathbb{Z}$ число наборов $(g_1,\dots,g_n)$ элементов группы $G$ таких, что $\langle g_1,\dots,g_n\rangle\,{=}\,G$ и $g_i^{k_i}=1$, делится на $\operatorname{\textrm{НОД}}\bigl(G'\cdot G^{\operatorname{\textrm{НОК}}(k_1,\dots,\,k_n)}, \operatorname{\textrm{НОК}}(k_1,\dots,\,k_n)\bigr)$. (Здесь и далее $G^m:=\langle\{g^m\mid g\in G\}\rangle$.) Отметим, что ключом к нашему обобщению теоремы об эпи- моно- и гомоморфизмах является использование вместо теоремы КМ ее “фробениусова аналога”, т. е. теоремы BKV. Однако на самом деле мы обобщаем и саму теорему BKV (см. основную теорему в § 1 и ее доказательство в § 2). Обозначения и соглашения, которые мы используем, в целом стандартны. Отметим только, что если $k\,{\in}\,\mathbb{Z}$, а $x$ и $y$ – элементы некоторой группы, то $x^y$, $x^{ky}$ и $x^{-y}$ обозначают $y^{-1}xy$, $y^{-1}x^ky$ и $y^{-1}x^{-1}y$ соответственно. Коммутант группы $G$ мы обозначаем символом $G'$ или $[G,G]$, а центр группы $G$ – символом $Z(G)$; подгруппу группы $G$, порожденную $n$-ми степенями всех элементов – символом $G^n$. Мощность множества $X$ обозначаем $|X|$; если $X$ – подмножество некоторой группы, то $\langle X\rangle$, $C(X)$ и $N(X)$ означают соответственно подгруппу, порожденную множеством $X$, централизатор множества $X$ и нормализатор множества $X$. Индекс подгруппы $H$ группы $G$ обозначается $|G\,{:}\,H|$. Буква $\mathbb{Z}$ обозначает множество целых чисел. $\operatorname{\textrm{НОД}}$ и $\operatorname{\textrm{НОК}}$ – это наибольший общий делитель и наименьшее общее кратное. Символом $\exp(G)$ – период (экспоненту) группы $G$, если этот период конечен; и считаем $\exp(G)=0$, если период бесконечен. Кроме того, отметим еще раз, что конечность групп нигде не предполагается по умолчанию, делимость всегда понимается в смысле кардинальной арифметики (бесконечный кардинал делится на все ненулевые кардиналы, не превосходящие его), а $\operatorname{\textrm{НОД}}(G,n):=\operatorname{\textrm{НОК}}(\{|H|\bigm| H \text{ - подгруппа в } G \text{ и } |H| \text{ делит } n\})$.
§ 1. Основная теорема Группу $F$ с фиксированным эпиморфизмом $F\to\mathbb{Z}_n:=\mathbb{Z}/n\mathbb{Z}$ (где $n\in\mathbb{Z}$) мы называем $n$-индексированной группой [20]. Этот эпиморфизм $F\to\mathbb{Z}_n$ мы называем степенью и обозначаем $\deg$. Таким образом, для любого элемента $f$ индексированной группы $F$ определен элемент $\deg f\in\mathbb{Z}_n$, причем группа $F$ содержит элементы всех степеней и ${\deg(fg)=\deg f+\deg g}$ для любых $f,g\in F$. Пусть имеется гомоморфизм $\phi\colon F\to G$ из $n$-индексированной группы $F$ в какую-то группу $G$ и подгруппа $H$ группы $G$. Подгруппу
$$
\begin{equation*}
H_\phi=\bigcap_{f\in F}H^{\phi(f)}\cap C\bigl(\phi(\ker\deg)\bigr)
\end{equation*}
\notag
$$
называют $\phi$-сердцевиной подгруппы $H$ [19]. Другими словами, $\phi$-сердцевина $H_\phi$ подгруппы $H$ состоит из таких ее элементов $h$, что $h^{\phi(f)}\in H$ для всех $f$, причем $h^{\phi(f)}=h$, если $\deg f=0$. Теорема BKV (см. [20]). Пусть целое число $n$ делится на порядок подгруппы $H$ некоторой группы $G$, и некоторое множество $\Phi$ гомоморфизмов из $n$-индексированной группы $F$ в $G$ удовлетворяет следующим условиям. I. $\Phi$ инвариантно относительно сопряжения элементами из $H$: если $h\in H$ и $\phi\in\Phi$, то гомоморфизм $\psi\colon f\mapsto\phi(f)^h$ тоже лежит в $\Phi$. II. Для любого $\phi\in\Phi$ и любого элемента $h$ из $\phi$-сердцевины $H_\phi$ подгруппы $H$ гомоморфизм $\psi$, определенный правилом
$$
\begin{equation*}
\psi(f)= \begin{cases} \phi(f) &\text{для всех элементов $f\in F$ степени нуль}; \\ \phi(f)h &\text{для некоторого элемента $f\in F$ степени один} \\ &\quad\text{(а, значит, и для всех элементов степени один)}, \end{cases}
\end{equation*}
\notag
$$
также содержится в $\Phi$. Тогда $|\Phi|$ делится на $|H|$. Отметим, что – отображение $\psi$ из условия I является гомоморфизмом при любом $h\in G$; а формула для $\psi$ из условия II определяет гомоморфизм при любых $h\in H_\phi$ (как объясняется в [20]); смысл условий I и II состоит в том, что эти гомоморфизмы лежат в $\Phi$; – согласно лемме 3 из [20] в условии II теоремы BKV $\psi(f)\in\phi(f)H_\phi$ для всех $f\in F$; – условие “$n$ делится на порядок подгруппы $H$” можно опустить, но тогда в заключении теоремы следует написать: “$|\Phi|$ делится на $\operatorname{\textrm{НОД}}(H,n)$” (вместо “$|\Phi|$ делится на $|H|$”); это вытекает сразу из определения наибольшего общего делителя группы и числа (см. Введение) и из того, что если условия I и II выполнены для $H$, то они выполнены и для любой подгруппы группы $H$; – теорема КМ – это в точности теорема BKV при $n=0$. Основная теорема. Пусть $F$ – $n$-индексированная группа, $H$ – подгруппа группы $G$, $k$ – натуральное число, $\Phi$ – некоторое множество гомоморфизмов из $F$ в $G$, удовлетворяющее следующим условиям: (i) для всех $\phi\in\Phi$ и $h\in H$ гомоморфизм $\psi\colon f\mapsto\phi(f)^h$ лежит в $\Phi$; (ii) для каждого $\phi\in\Phi$ $\phi$-сердцевина $H_\phi$ подгруппы $H$ содержит подгруппу $H_{\phi,k}$ такую, что Тогда $|\Phi|$ делится на $\operatorname{\textrm{НОД}}(H,n)$. Этот факт обобщает теорему BKV и по сути (т. е. с учетом замечаний после теоремы BKV) превращается в нее, если положить $k=1$ и $H_{\phi,k}=H_\phi$.
§ 2. Доказательство основной теоремы Можно предполагать, что $|H|$ делит $n$ (по определению наибольшего общего делителя группы и числа и поскольку условия (i) и (ii) сохраняются при замене $H$ на ее подгруппу). Далее достаточно показать, что условия I и II теоремы BKV выполнены для этих $F$, $G$, $H$ и $\Phi$. Условие I очевидно выполнено в силу условия (i). Проверим условие II. Пусть $\phi\in\Phi$, элемент $f_1\in F$ имеет степень один, $\phi(f_1)=g$ и $h\in H_\phi$. Надо показать, что гомоморфизм $\psi\colon F\to G$, совпадающий с $\phi$ на элементах степени нуль и переводящий $f_1$ в $gh$, лежит в $\Phi$. Каждый элемент $w\in F$, степень которого делится на $k$, можно записать в виде $w=f_0f_1^{ki}$ для некоторых $i\in\mathbb{Z}$ и $f_0\in\ker\deg$. Тогда
$$
\begin{equation*}
\psi(w)=\psi(f_0f_1^{ki})=\psi(f_0)(gh)^{ki}=\phi(f_0)(gh)^{ki}
\end{equation*}
\notag
$$
(поскольку $\phi$ и $\psi$ совпадают на $\ker\deg$). Подгруппа $H_\phi$ нормальна в $\langle H_\phi,g\rangle$ по определению $\phi$-сердцевины $H_\phi$. Лемма Брауэра (см. [22], также [20]). Если $U$ – конечная нормальная подгруппа группы $V$, то для всех $v\in V$ и $u\in U$ элементы $v^{|U|}$ и $(vu)^{|U|}$ сопряжены с помощью элемента из $U$. Применив лемму Брауэра к нормальной подгруппе $H_\phi/H_{\phi,k}$ группы $\langle g, H_\phi\rangle/H_{\phi,k}$, мы получим включение $(gh)^{ki}\in g^{kih'}H_{\phi,k}$ для некоторого $h'\in H_\phi$, который не зависит ни от $i$, ни от $w$, а определяется только гомоморфизмами $\phi$ и $\psi$. Поэтому
$$
\begin{equation*}
\begin{aligned} \, \psi(w)&= \phi(f_0)(gh)^{ki}\in \phi(f_0)g^{kih'}H_{\phi,k} \stackrel{(1)}{=} \bigl(\phi(f_0)g^{ki}\bigr)^{h'}H_{\phi,k}\stackrel{(2)}{=} \bigl(\phi(f_0f_1^{ki})\bigr)^{h'}H_{\phi,k} \\ &\!\stackrel{(3)}{=} \bigl(\phi(w)\bigr)^{h'}H_{\phi,k}, \end{aligned}
\end{equation*}
\notag
$$
где равенство $\stackrel{(1)}{=}$ вытекает из того, что элемент $h'\in H_\phi$ коммутирует с образом $\phi(f_0)$ элемента $f_0$ степени нуль по определению $\phi$-сердцевины $H_\phi$; равенство $\stackrel{(2)}{=}$ вытекает из определения элемента $g$; равенство $\stackrel{(3)}{=}$ вытекает из определения элемента $w$. Гомоморфизм $f\mapsto \bigl(\phi(f)\bigr)^{h'}$ лежит в $\Phi$ по условию (i), и, следовательно, $\psi\in\Phi$ по условию (ii). Доказательство основной теоремы завершено.
§ 3. На что делится число эпи-, моно- и гомоморфизмов Пусть $\Phi$ – некоторое множество гомоморфизмов из $n$-индексированной группы $F$ в группу $G$, а $B$ и $H$ – подгруппы в $G$. Подгруппу $H$ назовем $(B,k,\Phi)$-гладкой, если при всех $\phi\in\Phi$ группа $H_\phi\cap B$ содержит нормальную в $\langle H_\phi,\phi(F)\rangle$ подгруппу $\widehat B$ (зависящую от $\phi$) такую, что $|H_\phi/\widehat B|$ делит $k$. Следующая лемма содержит вполне очевидные примеры гладких подгрупп. Лемма (о гладких подгруппах). Следующие подгруппы группы $G$ являются $(B,k,\Phi)$-гладкими: 1) любая подгруппа, содержащаяся в $B$; 2) любая подгруппа, порядок которой делит $k$; 3) любая подгруппа $H$ такая, что $|H:H\cap B|$ делит $k$, если $B\triangleleft G$. Доказательство. Достаточно взять в качестве $\widehat B$ следующие подгруппы: 1) $H_\phi$, 2) $\{1\}$, 3) $H\cap B$. Теорема 1. Пусть $A$ – подгруппа группы $G$, а $W$ – подгруппа $n$-индексированной группы $F$, причем $\deg(W)=k\mathbb{Z}_n$. Пусть
$$
\begin{equation*}
\begin{aligned} \, \operatorname{Hom}(F,W;G,A)&{=}\,\{\phi\colon F\to G\mid \phi(W)\subseteq A\}, \\ \operatorname{Epi}(F,W;G,A)&{=}\,\{\phi\colon F\to G\mid \phi(W)=A\}, \\ \operatorname{Mono}(F,W;G,A)&{=}\,\{\phi\colon F\to G\mid \phi(W)\,{\subseteq}\, A \textit{ и ограничение $\phi$ на $W$ инъективно}\}. \end{aligned}
\end{equation*}
\notag
$$
Тогда $\operatorname{\textrm{НОД}}(H,n)$ делит a) $|{\operatorname{Hom}(F,W;G,A)}|$ для любой $(A,k,\operatorname{Hom}(F,W;G,A))$-гладкой подгруппы $H\subseteq N(A)$ группы $G$; b) $|{\operatorname{Epi}(F,W;G,A)}|$ для любой $(A'A^n,k,\operatorname{Epi}(F,W;G,A))$-гладкой подгруппы $H\subseteq N(A)$ группы $G$, где $A^n:=\langle\{a^n\mid a\in A\}\rangle$; c) $|{\operatorname{Mono}(F,W;G,A)}|$ для любой $(A,k,\operatorname{Mono}(F,W;G,A))$-гладкой подгруппы $H\subseteq N(A)$ группы $G$, если индексация группы $F$ выбрана так, что $\deg(w)=0$ для каждого центрального (в $W$) элемента $w\in W$ такого, что $w^n=1$. Заметим, что подгруппа $A'A^n$, о которой идет речь в п. b), и подгруппа $\{w\,{\in}\, Z(W)\mid w^n\,{=}\,1\}$, о которой говорится в п. c), суть ни что иное, как вербальная подгруппа группы $A$ и маргинальная подгруппа группы $W$, соответствующие многообразию абелевых групп экспоненты $n$. Доказательство теоремы 1. Достаточно проверить, что условия (i) и (ii) основной теоремы выполнены для данных $F$, $G$, $H$, $k$, $\Phi$ и $H_{\phi,k}=\widehat B$ (где $\widehat B$ из определения гладкой подгруппы $B$, в качестве которой мы берем $A$ в п. a) и c) и $A'A^n$ в п. b)). Первые два пункта условия (ii) заведомо выполнены по определению гладкости, нуждается в проверке только последний пункт условия (ii). a) $B=A$ и $\Phi=\operatorname{Hom}(F,W;G,A)$. Условие (i) очевидно выполнено, поскольку $H\subseteq N(A)$. Условие (ii) тоже выполнено, поскольку для всех $w\in W$ мы имеем $\psi(w)\in\phi(w)\widehat B\subseteq\phi(w)A=A$, т. е. $\psi\in\Phi$, что и требовалось. b) $B=A'A^n$ и $\Phi=\operatorname{Epi}(F,W;G,A)$. Условие (i) очевидно выполнено по той же причине: $H\subseteq N(A)$. Условие (ii) тоже выполнено:
$$
\begin{equation*}
A\stackrel{(1)}{=}\phi(W)\stackrel{(2)}{\subseteq}\psi(W)A'A^n\stackrel{(3)}{=}\psi(W)\phi(W'W^n) \stackrel{(4)}{=}\psi(W)\psi(W'W^n)=\psi(W),
\end{equation*}
\notag
$$
где $\stackrel{(1)}{=}$ выполнено по определению $\Phi\ni\phi$; $\stackrel{(2)}{\subseteq}$ выполнено по определению $\psi$ из условия (ii) при $B=A'A^n\supseteq\widehat B=H_{\phi,k}$; $\stackrel{(3)}{=}$ следует из $\stackrel{(1)}{=}$; $\stackrel{(4)}{=}$ следует из того, что $\deg(W'W^n)=\{0\}$, а $\psi$ и $\phi$ из условия (ii) совпадают на элементах степени нуль. В итоге мы получили, что $A=\psi(W)$, т. е. $\psi\in\Phi$, что и требовалось. c) $B=A$ и $\Phi=\operatorname{Mono}(F,W;G,A)$. Условие (i) очевидно выполнено по той же причине: $H\subseteq N(A)$. Покажем, что (ii) тоже выполнено. Во-первых, $\psi(W)\subseteq\phi(W)A=A$. Осталось показать, что $\ker\psi\cap W=\{1\}$. Пусть $w\in\ker\psi\cap W$. Тогда – для каждого $w'\in W$ имеем $1=\psi([w,w'])=\phi([w,w'])$ (так как коммутаторы имеют степень нуль, а на элементах степени нуль $\phi$ и $\psi$ совпадают), следовательно, $[w,w']=1$ (так как гомоморфизм $\phi$ инъективен на $W$), т. е. $w\in Z(W)$; – аналогично получаем $1=\psi(w^n)=\phi(w^n)$ (так как $\deg(w^n)=n\deg(w)=0$, а на элементах степени нуль $\phi$ и $\psi$ совпадают), следовательно, $w^n=1$ (так как гомоморфизм $\phi$ инъективен на $W$). Мы получили, что $w$ – центральный элемент группы $W$ и $w^n=1$, а такие элементы имеют степень нуль по условию. Значит, $\phi(w)=\psi(w)=1$, т. е. $w=1$ в силу того, что $\phi\in\operatorname{Mono}(F,W:G,A)$. Стало быть, $\ker\psi\cap W=\{1\}$, что и требовалось. Теорема 1 доказана. Следствие. В условиях теоремы 1 и $|{\operatorname{Hom}(F,W;G,A)}|$, и $|{\operatorname{Epi}(F,W;G,A)}|$, и $|{\operatorname{Mono}(F,W;G,A)}|$ делятся на $\operatorname{\textrm{НОД}}(k,N(A))$. Кроме того, a) $|{\operatorname{Hom}(F,W;G,A)}|$ делится b) $|{\operatorname{Epi}(F,W;G,A)}|$ делится - – на $\operatorname{\textrm{НОД}}(n,A'A^n)$ и даже на $\operatorname{\textrm{НОД}}(n,H)$, где $H$ – любая подгруппа в $N(A)$ такая, что $|(C(A'A^n)\cap H:Z(A'A^n)\cap H|$ делит $k$,
- – а также на
$$
\begin{equation*}
\operatorname{\textrm{НОД}}\bigl(n, |A'A^n|\cdot\operatorname{\textrm{НОД}}(k,|G/(A'A^n)|)\bigr) = \operatorname{\textrm{НОД}}(n,|G|,k\cdot|A'A^n|),
\end{equation*}
\notag
$$
если $A\triangleleft G$ и $G$ конечна; c) если $\deg\bigl(\{w\in Z(W)\mid w^n=1\}\bigr)=\{0\}$, то $|{\operatorname{Mono}(F,W;G,A)}|$ делится Доказательство. Первое утверждение (о делимости на $\operatorname{\textrm{НОД}}(k,N(A))$) вытекает непосредственно из теоремы 1 и утверждения 2) леммы о гладких подгруппах. Остальные утверждения этого следствия также вытекают из теоремы 1 и подходящего утверждения о гладких подгруппах. a) Делимость на $\operatorname{\textrm{НОД}}(n,A)$ сразу вытекает из утверждения 1) леммы о гладких подгруппах. Делимость на $\operatorname{\textrm{НОД}}(n,|G|,k\cdot|A|)$ следует из утверждения 3) леммы о гладких подгруппах. Действительно, достаточно в теореме 1 взять в качестве $H$ $p$-подгруппу группы $G$, порядок которой есть максимальная степень $p^i$ числа $p$, делящая $\operatorname{\textrm{НОД}}(n,k|A|,|G|)$, причем выбрать $H$ Эта подгруппа будет $(A,k,\operatorname{Hom}(F,W;G,A))$-гладкой по лемме о гладких подгруппах. Значит, $|H|$ делит $\operatorname{Hom}(F,W;G,A)$ в силу теоремы 1. Проделав это для всех простых $p$, мы получим нужную делимость. b) Второе утверждение п. b) доказывается точно так же, как второе утверждение п. a). Чтобы доказать первое утверждение п. b), по теореме 1 достаточно убедиться, что подгруппа $H$ является $(A'A^n,k,\operatorname{Epi}(F,W;G,A))$-гладкой, т. е. при всех $\phi\in\operatorname{Epi}(F,W;G,A)$ группа $H_\phi\cap(A'A^n)$ содержит нормальную в $\langle H_\phi,\phi(F)\rangle$ подгруппу $\widehat B$ такую, что $|H_\phi/\widehat B|$ делит $k$. В качестве такой подгруппы $\widehat B$ достаточно взять $Z(A'A^n)\cap H_\phi$. Действительно,
$$
\begin{equation*}
H_\phi \stackrel{(1)}{\subseteq} C\bigl(\phi(\ker\deg)\bigr) \stackrel{(2)}{\subseteq} C\bigl(\phi(W'W^n)\bigr) \stackrel{(3)}{=} C(A'A^n),
\end{equation*}
\notag
$$
где $\stackrel{(1)}{\subseteq}$ вытекает из определения $\phi$-сердцевины $H_\phi$, $\stackrel{(2)}{\subseteq}$ вытекает из того, что $\deg(W'W^n)=\{0\}$, а $\stackrel{(3)}{=}$ вытекает из равенства $\phi(W)=A$. Значит, по теореме Лагранжа $|H_\phi/(Z(A'A^n)\cap H_\phi)|$ делит
$$
\begin{equation*}
\bigl|\bigl(C(A'A^n)\cap H\bigr)/\bigl(Z(A'A^n)\cap H\bigr)\bigr|,
\end{equation*}
\notag
$$
что делит $k$ по условию. c) Доказательство аналогично п. a). Следствие доказано.
|
|
|
Список литературы
|
|
|
1. |
G. Frobenius, “Verallgemeinerung des Sylow'schen Satzes”, Sitzungsber. Preuß. Akad. Wiss. Berlin, 1895 (1895), 981–993 |
2. |
R. Andreev, A translation of “Verallgemeinerung des Sylow'schen Satzes” by F. G. Frobenius, arXiv: 1608.08813 |
3. |
L. Solomon, “The solution of equations in groups”, Arch. Math. (Basel), 20:3 (1969), 241–247 |
4. |
S. Iwasaki, “A note on the $n$th roots ratio of a subgroup of a finite group”, J. Algebra, 78:2 (1982), 460–474 |
5. |
G. Frobenius, “Über einen Fundamentalsatz der Gruppentheorie”, Sitzungsber. Preuß. Akad. Wiss. Berlin, 1903 (1903), 987–991 |
6. |
P. Hall, “On a theorem of Frobenius”, Proc. London Math. Soc., 40 (1936), 468–501 |
7. |
A. Kulakoff, “Einige Bemerkungen zur Arbeit: “On a theorem of Frobenius” von P. Hall”, Матем. сб., 3(45):2 (1938), 403–405 |
8. |
S. K. Sehgal, “On P. Hall's generalisation of a theorem of Frobenius”, Proc. Glasgow Math. Assoc., 5:3 (1962), 97–100 |
9. |
I. M. Isaacs, “Systems of equations and generalized characters in groups”, Canadian J. Math., 22:5 (1970), 1040–1046 |
10. |
K. S. Brown, J. Thévenaz, “A generalization of Sylow's third theorem”, J. Algebra, 115:2 (1988), 414–430 |
11. |
T. Yoshida, “$|{\operatorname{Hom}(A, G)}|$”, J. Algebra, 156:1 (1993), 125–156 |
12. |
С. П. Струнков, “К теории уравнений на конечных группах”, Изв. РАН. Сер. матем., 59:6 (1995), 171–180 ; англ. пер.: S. P. Strunkov, “On the theory of equations in finite groups”, Izv. Math., 59:6 (1995), 1273–1282 |
13. |
T. Asai, Yu. Takegahara, “$|{\operatorname{Hom}(A,G)}|$. IV”, J. Algebra, 246:2 (2001), 543–563 |
14. |
J. Sato, T. Asai, “On the $n$-th roots of a double coset of a finite group”, J. Sch. Sci. Eng. Kinki Univ., 43 (2007), 1–4 |
15. |
A. Amit, U. Vishne, “Characters and solutions to equations in finite groups”, J. Algebra Appl., 10:4 (2011), 675–686 |
16. |
C. Gordon, F. Rodriguez-Villegas, “On the divisibility of $\#\operatorname{Hom}(\Gamma, G)$ by $|G|$”, J. Algebra, 350:1 (2012), 300–307 ; arXiv: 1105.6066 |
17. |
T. Asai, N. Chigira, T. Niwasaki, Yu. Takegahara, “On a theorem of P. Hall”, J. Group Theory, 16:1 (2013), 69–80 |
18. |
A. A. Klyachko, A. A. Mkrtchyan, “How many tuples of group elements have a given property?”, With an appendix by Dmitrii V. Trushin, Internat. J. Algebra Comput., 24:4 (2014), 413–428 ; arXiv: 1205.2824 |
19. |
A. A. Klyachko, A. A. Mkrtchyan, “Strange divisibility in groups and rings”, Arch. Math., 108:5 (2017), 441–451 ; arXiv: 1506.08967 |
20. |
E. K. Brusyanskaya, A. A. Klyachko, A. V. Vasil'ev, “What do Frobenius's, Solomon's, and Iwasaki's theorems on divisibility in groups have in common?”, Pacific J. Math., 302:2 (2019), 437–452 ; arXiv: 1806.08870 |
21. |
A. A. Klyachko, M. A. Ryabtseva, “The dimension of solution sets to systems of equations in algebraic groups”, Israel J. Math., 237:1 (2020), 141–154 ; arXiv: 1903.05236 |
22. |
R. Brauer, “On a theorem of Frobenius”, Amer. Math. Monthly, 76:1 (1969), 12–15 |
Образец цитирования:
Е. К. Брусянская, А. А. Клячко, “О числе эпи-, моно- и гомоморфизмов групп”, Изв. РАН. Сер. матем., 86:2 (2022), 25–33; Izv. Math., 86:2 (2022), 243–251
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/im9139https://doi.org/10.4213/im9139 https://www.mathnet.ru/rus/im/v86/i2/p25
|
Статистика просмотров: |
Страница аннотации: | 501 | PDF русской версии: | 62 | PDF английской версии: | 30 | HTML русской версии: | 181 | Список литературы: | 51 | Первая страница: | 15 |
|