Strongly indecomposable finite groups

Ivan Marin

DOI: https://doi.org/10.1016/j.exmath.2007.11.003

IF: 1.339

2008-08-01

Expositiones Mathematicae

Abstract:Motivated by examples in infinite group theory, we classify the finite groups whose subgroups can never be decomposed as direct products.

mathematics

What problem does this paper attempt to address?

Is there an infinite field whose multiplicative group is indecomposable?

Sunil K. Chebolu,Keir Lockridge

DOI: https://doi.org/10.48550/arXiv.2204.10146

2022-04-21

Abstract:In an earlier paper, we determined the finite fields with indecomposable multiplicative groups and conjectured that there is no infinite field whose multiplicative group is indecomposable. In this paper, we prove this conjecture for several popular classes of fields, including finitely generated fields, discrete valued fields, fields of Hahn series, local fields, global fields, and function fields.

Number Theory
Decomposable Groups with Few Nonlinear Irreducible Character Kernels

Li, Yali,Wang, Xue,Meng, Qingyun

DOI: https://doi.org/10.1007/s41980-024-00902-y

2024-08-20

Bulletin of the Iranian Mathematical Society

Abstract:Let denote the set of nonlinear irreducible character kernels of a finite group G . In this paper, we classify decomposable groups G with . In particular, nilpotent groups G with are determined.

mathematics
Groups with infinite linearly ordered products

Vincent Bagayoko

2024-03-12

Abstract:We introduce a formalism for considering infinite, linearly ordered products in groups. Using this, we define infinite compositions in certain groups of formal power series and show that such series can sometimes be represented as infinite, linearly ordered, semidirect products of ordered Abelian groups.

Group Theory,Logic
Invariant Properties of Modules under Smash Products from Finite Dimensional Algebras

Wanwan Jia,Fang Li

DOI: https://doi.org/10.3934/math.2023342

2023-01-01

AIMS Mathematics

Abstract:We give the relationship between indecomposable modules over the finite dimensional $ k $-algebra $ A $ and the smash product $ A\sharp G $ respectively, where $ G $ is a finite abelian group satisfying $ G\subseteq Aut(A) $, and $ k $ is an algebraically closed field with the characteristic not dividing the order of $ G $. More precisely, we construct all indecomposable $ A\sharp G $-modules from indecomposable $ A $-modules and prove that an $ A\sharp G $-module is indecomposable if and only if it is an indecomposable $ G $-stable module over $ A $. Besides, we give the relationship between simple, projective and injective modules in $ modA $ and those in $ modA\sharp G $.
Finite subgroups of the profinite completion of good groups

Marco Boggi,Pavel Zalesskii

2024-10-28

Abstract:Let $G$ be a residually finite, good group of finite virtual cohomological dimension. We prove that the natural monomorphism $G\hookrightarrow\hat{G}$ induces a bijective correspondence between conjugacy classes of finite $p$-subgroups of $G$ and those of its profinite completion $\hat{G}$. Moreover, we prove that the centralizers and normalizers in $\hat{G}$ of finite $p$-subgroups of $G$ are the closures of the respective centralizers and normalizers in $G$. With somewhat more restrictive hypotheses, we prove the same results for finite solvable subgroups of $G$. In the last section, we give a few applications of this theorem to hyperelliptic mapping class groups and virtually compact special toral relatively hyperbolic groups (these include fundamental groups of $3$-orbifolds and of uniform standard arithmetic hyperbolic orbifolds).

Group Theory,Geometric Topology
The CI problem for infinite groups

Joy Morris

DOI: https://doi.org/10.48550/arXiv.1502.06114

2015-02-22

Abstract:A finite group $G$ is a DCI-group if, whenever $S$ and $S'$ are subsets of $G$ with the Cayley graphs Cay$(G,S)$ and Cay$(G,S')$ isomorphic, there exists an automorphism $\varphi$ of $G$ with $\varphi(S)=S'$. It is a CI-group if this condition holds under the restricted assumption that $S=S^{-1}$. We extend these definitions to infinite groups, and make two closely-related definitions: an infinite group is a strongly (D)CI$_f$-group if the same condition holds under the restricted assumption that $S$ is finite; and an infinite group is a (D)CI$_f$-group if the same condition holds whenever $S$ is both finite and generates $G$. We prove that an infinite (D)CI-group must be a torsion group that is not locally-finite. We find infinite families of groups that are (D)CI$_f$-groups but not strongly (D)CI$_f$-groups, and that are strongly (D)CI$_f$-groups but not (D)CI-groups. We discuss which of these properties are inherited by subgroups. Finally, we completely characterise the locally-finite DCI-graphs on $\mathbb Z^n$. We suggest several open problems related to these ideas, including the question of whether or not any infinite (D)CI-group exists.

Combinatorics,Group Theory
On Finite Groups Factorised by Submodular Subgroups

Victor S. Monakhov,Irina L. Sokhor

DOI: https://doi.org/10.1007/s00025-024-02173-9

2024-04-27

Results in Mathematics

Abstract:A subgroup H of a finite group G is submodular in G if there is a subgroup chain such that is a modular subgroup of for every i . We investigate finite factorised groups with submodular primary (cyclic primary) subgroups in factors. We indicate a general approach to the description of finite groups factorised by supersolvable submodular subgroups.

mathematics, applied
Decompositions de groupes par produit direct et groupes de Coxeter

Yves de Cornulier,Pierre de la Harpe

DOI: https://doi.org/10.48550/arXiv.math/0507366

2005-07-18

Abstract:We provide examples of groups which are indecomposable by direct product, and more generally which are uniquely decomposable in direct products of indecomposable groups. Examples include Coxeter groups, for which we give an alternative approach to recent results of L. Paris. For a finitely generated linear group Gamma, we establish an upper bound on the number of factors of which Gamma can be the direct product. If Gamma is moreover torsion-free, it follows that Gamma is uniquely decomposable in direct product of indecomposable groups.

Group Theory
Finitely generated subgroups of branch groups and subdirect products of just infinite groups

Rostistlav Grigorchuk,Paul-Henry Leemann,Tatiana Nagnibeda

DOI: https://doi.org/10.1070/IM9101

2022-01-17

Abstract:The aim of this paper is to describe the structure of the finitely generated subgroups of a family of branch groups, which includes the first Grigorchuk group and the Gupta-Sidki 3-group. This description is made via the notion of block subgroup. We then use this to show that all groups in the above family are subgroup separable (LERF). These results are obtained as a corollary of a more general structural statement on subdirect products of just infinite groups.

Group Theory
Krull-Schmidt Theorem for small profinite groups

Tamar Bar-On,Nikolay Nikolov

2024-12-11

Abstract:We prove that every small profinite group can be decomposed into a direct product of indecomposable profinite groups, and that such a decomposition is unique up to order and isomorphisms of the components. We also investigate the cancellation property of some free pro-$\mathcal{C}$ groups, and give a new criterion for a profinite group to be small.

Group Theory
Decomposition complexity growth of finitely generated groups

Trevor Davila

DOI: https://doi.org/10.1007/s10711-024-00924-0

2024-05-01

Geometriae Dedicata

Abstract:Finite decomposition complexity and asymptotic dimension growth are two generalizations of M. Gromov's asymptotic dimension which can be used to prove property A for large classes of finitely generated groups of infinite asymptotic dimension. In this paper, we introduce the notion of decomposition complexity growth, which is a quasi-isometry invariant generalizing both finite decomposition complexity and dimension growth. We show that subexponential decomposition complexity growth implies property A, and is preserved by certain group and metric constructions.

mathematics
Radicable Nilpotent Groups of Finite Rank with Indecomposable Abelian Commutator Subgroups

Heguo LIU,Jiping ZHANG,Jun LIAO

DOI: https://doi.org/10.16205/j.cnki.cama.2018.0025

2018-01-01

Abstract:The structure of the radicable nilpotent groups of finite rank with indecomposable abelian commutator subgroups is completely determined. More exactly, the following theorem is proved. Let G be a radicable nilpotent group of finite rank. Then the commutator subgroup of G is indecomposable and abelian if and only if G' = Q or Qp/Z and G has a decomposition G = S × D, where() if G' = Q and S = Si * S2 * · · · * Sr, Si()Sp if G' = Qp/Z. Write S formally as() Here D is a divisible abelian group such that (), where s and t are nonnegative integers, and Q is the additive group of the rational number field, where πk (k = 1,2, ···,t) are the sets of some prime numbers such that π1() π2 ()··· () Πt, and Qπk = {m/n (m,n) = 1, m ∈ Z, n is a positive πk-number}. Moreover,(p, r;s;π1,π2,…,πt) is an isomorphic invariant of G, that is to say, if H is also a radicable nilpotent group of finite rank with indecomposable abelian commutator subgroup, then G is isomorphic to H if and only if they have the same invariants.
Decomposable ordered groups

Eliana Barriga,Alf Onshuus,Charles Steinhorn

DOI: https://doi.org/10.48550/arXiv.1402.6520

2014-02-26

Abstract:Decomposable ordered structures were introduced in \cite{OnSt} to develop a general framework to study `finite-dimensional' totally ordered structures. This paper continues this work to include decomposable structures on which a ordered group operation is defined on the structure. The main result at this level of generality asserts that any such group is supersolvable, and that topologically it is homeomorphic to the product of o-minimal groups. Then, working in an o-minimal ordered field $\mathcal R$ satisfying some additional assumptions, in Sections 3-7 definable ordered groups of dimension 2 and 3 are completely analyzed modulo definable group isomorphism. Lastly, this analysis is refined to provide a full description of these groups with respect to definable ordered group isomorphism.

Logic
Strong almost finiteness

Gábor Elek,Ádám Timár

2024-08-27

Abstract:A countable, bounded degree graph is almost finite if it has a tiling with isomorphic copies of finitely many Følner sets, and we call it strongly almost finite, if the tiling can be randomized so that the probability that a vertex is on the boundary of a tile is uniformly small. We give various equivalents for strong almost finiteness. In particular, we prove that Property A together with the Følner property is equivalent to strong almost finiteness. Using these characterizations, we show that graphs of subexponential growth and Schreier graphs of amenable groups are always strongly almost finite, generalizing the celebrated result of Downarowicz, Huczek and Zhang about amenable Cayley graphs, based on graph theoretic rather than group theoretic principles. We give various equivalents to Property A for graphs, and show that if a sequence of graphs of Property A (in a uniform sense) converges to a graph $G$ in the neighborhood distance (a purely combinatorial analogue of the classical Benjamini-Schramm distance), then their Laplacian spectra converge to the Laplacian spectrum of $G$ in the Hausdorff distance. We apply the previous theory to construct a new and rich class of classifiable $C^{\star}$-algebras. Namely, we show that for any minimal strong almost finite graph $G$ there are naturally associated simple, nuclear, stably finite $C^{\star}$-algebras that are classifiable by their Elliott invariants.

Group Theory,Dynamical Systems,Metric Geometry,Operator Algebras
Generalized Residual Finiteness of Groups

Nic Brody,Kasia Jankiewicz

DOI: https://doi.org/10.48550/arXiv.2312.15120

2024-01-10

Abstract:A countable group is residually finite if every nontrivial element can act nontrivially on a finite set. When a group fails to be residually finite, we might want to measure how drastically it fails - it could be that only finitely many conjugacy classes of elements fail to act nontrivially on a finite set, or it could be that the group has no nontrivial actions on finite sets whatsoever. We define a hierarchy of properties, and construct groups which become arbitrarily complicated in this sense.

Group Theory
Finitely Generated Nilpotent Groups of Infinite Cyclic Commutator Subgroups

Liao Jun,Liu He Guo,Xu Xing Zhong,Zhang Ji Ping

DOI: https://doi.org/10.1007/s10114-020-9132-8

2020-01-01

Acta Mathematica Sinica English Series

Abstract:The aim of this paper is to determine the structure and to establish the isomorphic invariant of the finitely generated nilpotent group G of infinite cyclic commutator subgroup. Using the structure and invariant of the group which is the central extension of a cyclic group by a free abelian group of finite rank of infinite cyclic center, we provide a decomposition of G as the product of a generalized extraspecial ℤ-group and its center. By using techniques of lifting isomorphisms of abelian groups and equivalent normal form of the generalized extraspecial ℤ-groups, we finally obtain the structure and invariants of the group G.
On isomorphisms to a free group and beyond

Vladimir Shpilrain

2024-05-18

Abstract:The isomorphism problem for infinite finitely presented groups is probably the hardest among standard algorithmic problems in group theory. Classes of groups where it has been completely solved are nilpotent groups, hyperbolic groups, and limit groups. In this short paper, we address the problem of isomorphism to particular groups, including free groups. We also address the algorithmic problem of embedding a finitely presented group in a given limit group.

Group Theory
Finitely presented residually free groups

Martin R. Bridson,James Howie,Charles F.Miller III,Hamish Short

DOI: https://doi.org/10.48550/arXiv.0809.3704

2008-09-22

Abstract:We establish a general criterion for the finite presentability of subdirect products of groups and use this to characterize finitely presented residually free groups. We prove that, for all $n\in\mathbb{N}$, a residually free group is of type ${\rm{FP}}_n$ if and only if it is of type ${\rm{F}}_n$. New families of subdirect products of free groups are constructed, including the first examples of finitely presented subgroups that are neither ${\rm{FP}}_\infty$ nor of Stallings-Bieri type. The template for these examples leads to a more constructive characterization of finitely presented residually free groups up to commensurability. We show that the class of finitely presented residually free groups is recursively enumerable and present a reduction of the isomorphism problem. A new algorithm is described which, given a finite presentation of a residually free group, constructs a canonical embedding into a direct product of finitely many limit groups. The (multiple) conjugacy and membership problems for finitely presented subgroups of residually free groups are solved.

Group Theory
Canonical Decompositions of Abelian Groups

Phill Schultz

DOI: https://doi.org/10.48550/arXiv.2007.07508

2020-07-15

Abstract:Every torsion--free abelian group of finite rank has two essentially unique complete direct decompositions whose summands come from specific classes of groups.

Group Theory

Strongly indecomposable finite groups

Is there an infinite field whose multiplicative group is indecomposable?

Decomposable Groups with Few Nonlinear Irreducible Character Kernels

Groups with infinite linearly ordered products

Invariant Properties of Modules under Smash Products from Finite Dimensional Algebras

Finite subgroups of the profinite completion of good groups

The CI problem for infinite groups

On Finite Groups Factorised by Submodular Subgroups

Decompositions de groupes par produit direct et groupes de Coxeter

Finitely generated subgroups of branch groups and subdirect products of just infinite groups

Krull-Schmidt Theorem for small profinite groups

Decomposition complexity growth of finitely generated groups

Radicable Nilpotent Groups of Finite Rank with Indecomposable Abelian Commutator Subgroups

Decomposable ordered groups

Strong almost finiteness

Generalized Residual Finiteness of Groups

Finitely Generated Nilpotent Groups of Infinite Cyclic Commutator Subgroups

On isomorphisms to a free group and beyond

Finitely presented residually free groups

Canonical Decompositions of Abelian Groups