Related papers: Subgroup theorem for valuated groups and the CSA p…
Normal elements (or multipliers) of the C* algebra of a certain class of locally compact groupoids admit a natural faithful representation as normal operators on the $L^2$-space of a dense orbit of the groupoid. We prove norm estimates on…
For a finite group $G$, let $\sigma(G)$ be the number of subgroups of $G$ and $\sigma_\iota(G)$ the number of isomorphism types of subgroups of $G$. Let $L=L_r(p^e)$ denote a simple group of Lie type, rank $r$, over a field of order $p^e$…
We obtain a lower bound for the normalised height of a non-torsion subvariety $V$ of a C.M. abelian variety. This lower bound is optimal in terms of the geometric degree of $V$, up to a power of a ``log''. We thus extend the results of F.…
Lee and Kwon [12] defined an ordered semigroup S to be completely regular if a 2 (a2Sa2] for every a 2 S. We characterize every completely regular ordered semigroup as a union of t-simple subsemigroups, and every Clifford ordered semigroup…
We describe standard forms for elements of the higher-dimensional Thompson groups $nV$ arising from gridding subdivision processes. These processes lead to standard normal form descriptions for elements in these groups, and sizes of these…
For $\Gamma$ a group of order $mp$ for $p$ prime where $gcd(p,m)=1$, we consider those regular subgroups $N\leq Perm(\Gamma)$ normalized by $\lambda(\Gamma)$, the left regular representation of $\Gamma$. These subgroups are in one-to-one…
In this paper, we determine the finite groups with a Sylow $r$-subgroup contained in a unique maximal subgroup. The proof involves a reduction to almost simple groups, and our main theorem extends earlier work of Aschbacher in the special…
We develop a theory of Ennola duality for subgroups of finite groups of Lie type, relating subgroups of twisted and untwisted groups of the same type. Roughly speaking, one finds that subgroups $H$ of $\mathrm{GU}_d(q)$ correspond to…
A Cayley graph is said to be an NNN-graph if it is both normal and non-normal for isomorphic regular groups, and a group has the NNN-property if there exists an NNN-graph for it. In this paper we investigate the NNN-property of cyclic…
In this paper, we pose the concepts of pre-topological groups and some generalizations of pre-topological groups. First, we systematically investigate some basic properties of pre-topological groups; in particular, we prove that each…
We combine the fundamental results of Breuillard, Green, and Tao on the structure of approximate groups, together with "tame" arithmetic regularity methods based on work of the authors and Terry, to give a structure theorem for finite…
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…
We define a relative property A for a countable group with respect to a finite family of subgroups. Many characterizations for relative property A are given. In particular a relative bounded cohomological characterization shows that if a…
Chevalley's theorem states that every smooth connected algebraic group over a perfect field is an extension of an abelian variety by a smooth connected affine group. That fails when the base field is not perfect. We define a pseudo-abelian…
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…
We discuss a certain class of absolutely irreducible group representations that behave nicely under the restriction to normal subgroups and subalgebras. These representations proved to be useful for the construction of abelian varieties…
In Carnot-Caratheodory or sub-Riemannian geometry, one of the major open problems is whether the conclusions of Sard's theorem holds for the endpoint map, a canonical map from an infinite-dimensional path space to the underlying…
Clifford theory relates the representation theory of finite groups to those of a fixed normal subgroup by means of induction and restriction, which is an adjoint pair of functors. We generalize this result to the situation of a…
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…
A new criterion is given for a semigroup to be the semigroup of a valuation dominating an equicharacteristic local domain. The criterion is used to construct examples of well ordered subsemigroups of the positive rational numbers which are…