Related papers: Finite groups in which elements of the same order …

For every finitely generated abelian group G, we construct an irreducible open 3-manifold $M_{G}$ whose end set is homeomorphic to a Cantor set and with end homogeneity group of $M_{G}$ isomorphic to G. The end homogeneity group is the…

Let $G$ be a finitely generated group and let $C^*$ denote the group of all central automorphisms of $G$ fixing the center of $G$ elementwise. Azhdari and Malayeri [J. Algebra Appl., {\bf 6}(2011), 1283-1290] gave necessary and sufficient…

We identify a universal group $U$ and show that $\Bbb H^3/G$ is $S^3$ when $G$ is a finite index subgroup of $U$ generated by elements of finite order.

An automorphism of a group is called outer if it is not an inner automorphism. Let $G$ be a finite $p$-group. Then for every outer $p$-automorphism $\phi$ of $G$ the subgroup $C_G(\phi)=\{x\in G \;|\; x^\phi=x\}$ has order $p$ if and only…

We describe the groups that have the same holomorph as a finite perfect group. Our results are complete for centerless groups. When the center is non-trivial, some questions remain open. The peculiarities of the general case are illustrated…

We prove that the fundamental group of any Seifert 3-manifold is conjugacy separable. That is, conjugates may be distinguished in finite quotients or, equivalently, conjugacy classes are closed in the pro-finite topology.

It is a theorem of Artin, Tits et al. that a finite simple group is determined by its order, with the exception of the groups (A_3(2), A_2(4)) and (B_n(q), C_n(q)) for n > 2, q odd. We investigate the situation for finite semisimple groups…

Let $G$ be a finite group and $A$, $B$ and $D$ be conjugacy classes of $ G$ with $D\subseteq AB=\{xy\mid x\in A, y\in B\}$. Denote by $\eta(AB)$ the number of distinct conjugacy classes such that $AB$ is the union of those. Set ${\bf…

By an $\ell$-group $G$ we mean a lattice-ordered abelian group. This paper is concerned with the category $\FP$ of finitely presented {\it unital} $\ell$-groups, those $\ell$-groups having a distinguished order-unit $u$. Using the duality…

In 1954 B. H. Neumann discovered that if G is a group in which all conjugacy classes are finite with bounded size, then the derived group G' is finite. Later (in 1957) Wiegold found an explicit bound for the order of G'. We study groups in…

This paper extends the study of group algebras of finite groups in which the socle of the center is an ideal. We provide a detailed analysis of the structure of these groups. In a particular case, we reach a complete characterization of the…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

Let $G$ be a finite group, and assume that $G$ has an automorphism of order at least $\rho|G|$, with $\rho\in\left(0,1\right)$. Generalizing recent analogous results of the author on finite groups with a large automorphism cycle length, we…

A group $G$ is integrable if it is isomorphic to the derived subgroup of a group $H$; that is, if $H'\simeq G$, and in this case $H$ is an integral of $G$. If $G$ is a subgroup of $U$, we say that $G$ is integrable within $U$ if $G=H'$ for…

In this paper, we prove a geometrization conjecture, every orientable smooth closed 3-manifold with finite fundamental group is homeomorphic to $S^3/G$ for some finite cyclic subgroup $G\subset {Isom}^+(S^3)$.

Let $p$ be a prime and $\mathbb{F}_p$ be a finite field of $p$ elements. Let $\mathbb{F}_pG$ denote the group algebra of the finite $p$-group $G$ over the field $\mathbb{F}_p$ and $V(\mathbb{F}_pG)$ denote the group of normalized units in…

Let $o(G)$ be the average order of the elements of $G$, where $G$ is a finite group. We show that there is no polynomial lower bound for $o(G)$ in terms of $o(N)$, where $N\trianglelefteq G$, even when $G$ is a prime-power order group and…

A finite group $G$ is called a Schur group if any $S$-ring over $G$ is associated in a natural way with a subgroup of $Sym(G)$ that contains all right translations. We prove that the groups $\mathbb{Z}_3\times \mathbb{Z}_{3^n}$, where…

Let $R$ be a finite unital commutative ring. We introduce a new class of finite groups, which we call hereditary groups over $R$. Our main result states that if $G$ is a hereditary group over $R$ then a unital algebra isomorphism between…

In this paper, we characterize the finite groups $G$ of even order with the property that for any involution $x$ and element $y$ of $G$, $\langle x, y \rangle$ is isomorphic to one of the following groups: $\mathbb{Z}_2,$ $\mathbb{Z}_2^2$,…