Меню Главная Случайная статья Настройки Делимая группа Материал из https://ru.wikipedia.org Делимая группа — это группа ${\displaystyle G}$, такая что для любых ${\displaystyle n\in \mathbb {N} }$ и ${\displaystyle g\in G}$ уравнение ${\displaystyle x^{n}=g}$ разрешимо. Часто группа предполагается абелевой, а условие записывается в аддитивной нотации как ${\displaystyle nx=g}$. Группа ${\displaystyle A}$ называется ${\displaystyle p}$-делимой (${\displaystyle p}$ — простое число), если для любого ${\displaystyle a\in A}$ разрешимо в ${\displaystyle A}$ уравнение ${\displaystyle px=a}$. Некоммутативные делимые группы иногда называются полными (не путать с полными группами, которые изоморфны своей группе автоморфизмов). Содержание 1 Примеры 2 Свойства делимых групп 3 Строение делимых групп 4 Связанные определения 5 Литература Примеры Группа ${\displaystyle (\mathbb {Q} ,+)}$ всех рациональных чисел; ${\displaystyle p}$-примарная квазициклическая группа ${\displaystyle (\mathbb {Z} _{p^{\infty }},+)}$, то есть группа, порожденная счетным набором элементов ${\displaystyle a_{0},\,a_{1},\,\ldots ,\,a_{n},\,\ldots }$, удовлетворяющих условию ${\displaystyle pa_{0}=0,\,pa_{1}=a_{0},\,\ldots ,\,pa_{n}=a_{n-1},\,\ldots }$ Свойства делимых групп Гомоморфный образ делимой абелевой группы является делимой группой. Абелева группа является делимой тогда и только тогда, когда она ${\displaystyle p}$-делима при каждом простом ${\displaystyle p}$. Каждая делимая подгруппа выделяется прямым слагаемым. Следовательно, делимые абелевы группы являются инъективными объектами в категории абелевых групп (${\displaystyle \mathbb {Z} }$-модулей). Это же утверждение верно и в категории модулей над любой областью главных идеалов. Любая абелева группа ${\displaystyle A}$ разлагается в прямую сумму ${\displaystyle A=D\oplus R}$, где ${\displaystyle D}$ — делимая группа (она называется делимой частью группы ${\displaystyle A}$), а ${\displaystyle R}$ — редуцированная группа, то есть группа, не содержащая ненулевых делимых подгрупп. Строение делимых групп Если ${\displaystyle A}$ — произвольная делимая абелева группа, то ${\displaystyle A\cong \bigoplus \limits _{r_{0}(A)}\mathbb {Q} \oplus \bigoplus \limits _{p\in P}\bigoplus \limits _{r_{p}(A)}\mathbb {Z} _{p^{\infty }}}$. Связанные определения Если в полной группе указанные в определении уравнения разрешимы однозначно, она называется D-группой. Таковы, в частности, локально нильпотентные полные группы без кручения. Литература Л. Фукс Бесконечные абелевы группы. Т. 1, 2. — М.: Мир, 1974, 1977. А. Г. Курош Теория групп. — М.: Физматлит, 2011. — ISBN 978-5-9221-1349-6.