Related papers: Centralizers in pseudo-finite groups

We provide an example of a non-finitely generated group which admits a nonempty strongly aperiodic SFT. Furthermore, we completely characterize the groups with this property in terms of their finitely generated subgroups and the roots of…

In this paper we begin the systematic study of group equations with abelian predicates in the main classes of groups where solving equations is possible. We extend the line of work on word equations with length constraints, and more…

We say a group is finitely annihilated if it is the set-theoretic union of all its proper normal finite index subgroups. We investigate this new property, and observe that it is independent of several other well known group properties. For…

Let $A$ be a set and $f:A\rightarrow A$ a bijective function. Necessary and sufficient conditions on $f$ are determined which makes it possible to endow $A$ with a binary operation $*$ such that $(A,*)$ is a cyclic group and $f\in…

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,…

It is known that a group shift on a polycyclic group is necessarily of finite type. We show that, for trivial reasons, if a group does not satisfy the maximal condition on subgroups, then it admits non-SFT abelian group shifts. In…

We determine the automorphism group for some well known constructions of finite semifields. In particular, we compute the automorphism group of Sandler's semifields and in certain cases the automorphism groups of the Hughes-Kleinfeld and…

We study groups having the property that every non-abelian subgroup is equal to its normalizer. This class of groups is closely related to an open problem posed by Berkovich. We give a full classification of finite groups having the above…

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…

We introduce and investigate a class of profinite groups defined via extensions of centralizers analogous to the extensively studied class of finitely generated fully residually free groups, that is, limit groups (in the sense of Z. Sela).…

We introduce the inverse monoid of inner partial automorphisms of a semigroup -- a tool that associates to every semigroup an inverse semigroup. When the semigroup is a group, this inverse semigroup is isomorphic to the group of inner…

For the affine and hyperbolic root system the symmetric part of the centralizers of root subgroups in the corresponding Steinberg groups are calculated. In the affine case the corresponding root subsystems can be computed in term of the…

This article continues a prior investigation of the authors with the goal of extending characterization results of convolutional tight frames from the context of cyclic groups to general finite abelian groups. The collections studied are…

We use Sigma-invariants to study homotopical and homological finiteness properties of fixed subgroups of automorphisms of a group $G$ in terms of its center $Z(G)$ and the induced automorphisms on its associated quotient $G/Z(G)$.…

In this paper we study the longstanding conjecture of whether there exists a noninner automorphism of order $p$ for a finite non-abelian $p$-group. We prove that if $G$ is a finite non-abelian $p$-group such that $G/Z(G)$ is powerful then…

Using graph-theoretic techniques for f.g. subgroups of $F^{\mathbb{Z}[t]}$ we provide a criterion for a f.g. subgroup of a f.g. fully residually free group to be of finite index. Moreover, we show that this criterion can be checked…

A monomial algebra is the quotient of a polynomial algebra by an ideal generated by monomials. We prove that finite-dimensional monomial algebras are characterized by their automorphism group among finite-dimensional, local algebras with…

We show that if $M$ is a compact oriented surface of genus 0 and $G$ is a subgroup of $\Symp^\omega_\mu(M)$ which has an infinite normal solvable subgroup, then $G$ is virtually abelian. In particular the centralizer of an infinite order $f…

We study the group $IAut(A)$ generated by the inertial automorphisms of an abelian group $A$, that is, automorphisms $\gamma$ with the property that each subgroup $H$ of $A$ has finite index in the subgroup generated by $H$ and $H\gamma$.…

Over any partially ordered abelian group whose positive cone is closed in an appropriate sense and has finitely many faces, modules that satisfy a weak finiteness condition admit finite primary decompositions. This conclusion rests on the…