Related papers: Frobenius groups of automorphisms and their fixed …

We use algebraic techniques to study homological filling functions of groups and their subgroups. If $G$ is a group admitting a finite $(n+1)$--dimensional $K(G,1)$ and $H \leq G$ is of type $F_{n+1}$, then the $n^{th}$--homological filling…

The following refinement of the Higman embedding theorem is proved: A finitely generated group $R$ is recursively presented if and only if there exists a quasi-isometric malnormal embedding of $R$ into a finitely presented group $H$ such…

Let $S$ be either a free group or the fundamental group of a closed hyperbolic surface. We show that if $G$ is a finitely generated residually-$p$ group with the same pro-$p$ completion as $S$, then two-generated subgroups of $G$ are free.…

Some nilpotent Lie groups possess a transformation group analogous to the similarity group acting on the Euclidean space. We call such a pair a nilpotent similarity structure. It is notably the case for all Carnot groups and their…

Let G be a Lie group, $g = Lie(G)$ - its Lie algebra, $g*$ - the dual vector space and $\widehat G$ - the set of equivalence classes of unitary irreducible representations of $G$. The orbit method [1] establishes a correspondence between…

We introduce the basic notions and present examples and results on Lie categories -- categories internal to the category of smooth manifolds. Demonstrating how the units of a Lie category $\mathcal C$ dictate the behavior of its invertible…

A subgroup $H$ of a group $G$ is said to be an $IC\Phi$-subgroup of $G$ if $H \cap [H,G] \le \Phi(H)$. We analyze the structure of a finite group $G$ under the assumption that some given subgroups of $G$ are $IC\Phi$-subgroups of $G$. A new…

We describe the structure of Sylow {\ell}-subgroups of a finite reduc-tive group G(Fq) when q $\not\equiv$ 0 (mod {\ell}) that we find governed by a complex reflection group attached to G and {\ell}, which depends on {\ell} only through the…

Let $G$ be a group. The orbits of the natural action of Aut$(G)$ on $G$ are called ``automorphism orbits'' of $G$, and the number of automorphism orbits of $G$ is denoted by $\omega(G)$. We prove that if $G$ is a soluble group with finite…

Let $G$ be a finite group, $N$ a nilpotent normal subgroup of $G$ and let $\mathrm{V}(\mathbb{\Z} G, N)$ denote the group formed by the units of the integral group ring $\mathbb{\Z} G$ of $G$ which map to the identity under the natural…

Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…

Just infinite groups play a significant role in profinite group theory. For each $c \geq 0$, we consider more generally JNN$_c$F profinite (or, in places, discrete) groups that are Fitting-free; these are the groups $G$ such that every…

The study of Frobenius actions on local cohomology modules over a local ring of prime characteristic has interesting connections with the theory of tight closure. This paper establishes new connections by developing the notion of relative…

An algebra $L$ over a field $\Bbb F$, in which product is denoted by $[\,,\,]$, is said to be \textit{ Lie type algebra} if for all elements $a,b,c\in L$ there exist $\alpha, \beta\in \Bbb F$ such that $\alpha\neq 0$ and $[[a,b],c]=\alpha…

The purpose of the present paper is to discuss the following conjecture of Fel'shtyn and Hill, which is a generalization of the classical Burnside theorem: Let G be a countable discrete group, f its automorphism, R(f) the number of…

An $F$-nilpotent local ring is a local ring $(R, \mathfrak{m})$ of prime characteristic defined by the nilpotence of the Frobenius action on its local cohomology modules $H^i_{\mathfrak{m}}(R)$. A singularity in characteristic zero is said…

In this work, we introduce the subgroups $D_m(G)$ and $D_{m,n}(G)$, defined in terms of the orders of products of coprime elements in a finite group $G$. We show that both subgroups are characteristic, that $D_{m,n}(G)$ is always nilpotent,…

We consider the oriented graph whose vertices are isomorphism classes of finitely generated groups, with an edge from G to H if, for some generating set T in H and some sequence of generating sets S_i in G, the marked balls of radius i in…

A homogeneous nilpotent Lie group has a scaling automorphism determined by a grading of its Lie algebra. Many proofs of upper bounds for the Dehn function of such a group depend on being able to fill curves with discs compatible with this…

This paper serves as a source of examples of Rokhlin actions or locally representable actions of finite groups on C*-algebras satisfying a certain UHF-absorption condition. We show that given any finite group $G$ and a separable, unital…