We establish a link between abelian regular subgroup of the affine group, and commutative, associative algebra structures on the underlying vector space that are (Jacobson) radical rings.
As an application, we show that if the underlying field has positive characteristic, then an abelian regular subgroup has finite exponent if the vector space is finite-dimensional, while it can be torsion free if the dimension is infinite.
We also give an example of an abelian, regular subgroup of the affine group over an infinite vector space, which intersects trivially the group of translations.
Let $G$ be an arbitrary group. We show that if the Fitting subgroup of $G$ is nilpotent then it is definable. We show also that the class of groups whose Fitting subgroup is nilpotent of class at most $n$ is elementary. We give an example of a group (arbitrary saturated) whose Fitting subgroup is definable but not nilpotent. Similar results for the soluble radical are given.
Every commutator preserving bijection of the unipotent radical $Up(2n, R)$ of the Borel subgroup of the classical symplectic group of rank at least 4 over a field $F$ such that $6F=F$ is shown to be the composition of a standard automorphism of $Up(2n,R)$ and a central map. The latter is a bijection which acts as the right multiplication by a matrix from the center of $Up(2n,F)$.
In the present paper we prove sandwich classification for the overgroups of the subsystem subgroup $E(Δ,R)$ of the Chevalley group $G(Φ,R)$ for the three types of pair $(Φ,Δ)$ (the root system and its subsystem) such that the group $G(Δ,R)$ is (up to torus) a Levi subgroup of the parabolic subgroup with abelian unipotent radical. Namely we show that for any such an overgroup $H$ there exists a unique pair of ideals $σ$ of the ring $R$ such that $E(Φ,Δ,R,σ)\le H\le N_{G(Φ,R)}(E(Φ,Δ,R,σ))$.
We observe a correspondence between collections of closed subgroups and normal subgroups in totally disconnected locally compact groups. This correspondence is applied to prove structure theorems for two classes of totally disconnected locally compact second countable groups: the class of such groups with an open solvable subgroup and the class of such groups with a pro-nilpotent compact open subgroup. As a second application, we give new proofs and generalizations of results of G. Willis and Y. Barnea, M. Ershov, and T. Weigel on totally disconnected locally compact groups which are topologic…
A gyrogroup is a nonassociative group-like structure modelled on the space of relativistically admissible velocities with a binary operation given by Einstein's velocity addition law. In this article, we present a few of groups sitting inside a gyrogroup $G$, including the commutator subgyrogroup, the left nucleus, and the radical of $G$. The normal closure of the commutator subgyrogroup, the left nucleus, and the radical of $G$ are in particular normal subgroups of $G$. We then give a criterion to determine when a subgyrogroup $H$ of a finite gyrogroup $G$, where the index $[G\colon H]$ is th…
Let $q$ be a power of a prime $p$. Let $P$ be a parabolic subgroup of the general linear group $\GL_n(q)$ that is the stabilizer of a flag in $\FF_q^n$ of length at most 5, and let $U = O_p(P)$. In this note we prove that, as a function of $q$, the number $k(U)$ of conjugacy classes of $U$ is a polynomial in $q$ with integer coefficients.
This paper is a new contribution to the study of regular subgroups of the affine group $AGL_n(F)$, for any field $F$. In particular we associate to any partition $λ\neq (1^{n+1})$ of $n+1$ abelian regular subgroups in such a way that different partitions define non-conjugate subgroups. Moreover, we classify the regular subgroups of certain natural types for $n\leq 4$. Our classification is equivalent to the classification of split local algebras of dimension $n+1$ over $F$. Our methods, based on classical results of linear algebra, are computer free.
Some properties of abnormal subgroups in generalized soluble groups will be considered. In particular, the transitivity of abnormality in metahypercentral groups is proven. Also it will be proven that a subgroup H of a radical group G is abnormal in G if and only if every intermediate subgroup for H coincides with its normalizer in G. This result will extend on radical groups the well-known criterion of abnormality for finite soluble groups obtained by D. Taunt. For some infinite groups (not only periodic) the existence of Carter subgroups and their conjugations will be also proven.
We prove that an element $g$ of prime order $>3$ belongs to the solvable radical $R(G)$ of a finite (or, more generally, a linear) group if and only if for every $x\in G$ the subgroup generated by $g, xgx^{-1}$ is solvable. This theorem implies that a finite (or a linear) group $G$ is solvable if and only if in each conjugacy class of $G$ every two elements generate a solvable subgroup.
We prove that there exists a constant $k$ with the property: if $\calC$ is a conjugacy class of a finite group $G$ such that every $k$ elements of $\calC$\ generate a solvable subgroup then $\calC$ generates a solvable subgroup. In particular, using the Classification of Finite Simple Groups, we show that we can take $k=4$. We also present proofs that do not use the Classification theorem. The most direct proof gives a value of $k=10$. By lengthening one of our arguments slightly, we obtain a value of $k=7$.
We obtain a necessary and sufficient condition for an algebraic set in a group to have a fully characteristic radical. As a result, we see that if the radical of a system of equation $S$ over a group $G$ is fully characteristic, then there exists a class $\mathfrak{X}$ of subgroups of $G$ such that elements of $S$ are identities of $\mathfrak{X}$.
We are looking for the smallest integer k>1 providing the following characterization of the solvable radical R(G) of any finite group G: R(G) coincides with the collection of all g such that for any k elements a_1,a_2,...,a_k the subgroup generated by the elements g, a_iga_i^{-1}, i=1,...,k, is solvable. We consider a similar problem of finding the smallest integer l>1 with the property that R(G) coincides with the collection of all g such that for any l elements b_1,b_2,...,b_l the subgroup generated by the commutators [g,b_i], i=1,...,l, is solvable. Conjecturally, k=l=3. We prove that both …
If G and X are groups and N is a normal subgroup of X, then the G-closure of N in X is the normal subgroup X^G= bigcap{kerphi|phi:X-> G, with N subseteq kerphi} of X . In particular, 1^G = R_G X is the G-radical of X. Plotkin calls two groups G and H geometrically equivalent, written G H, if for any free group F of finite rank and any normal subgroup N of F the G-closure and the H-closure of N in F are the same. Quasiidentities are formulas of the form (bigwedge_{i<=n}w_i=1 -> w =1) for any words w, w_i (i<=n) in a free group. Generally geometrically equivalent groups satisfy the same quasiide…
We study the Hirsch-Plotkin radical of stability groups of (general) subspace series of infinite dimensional vector spaces. We show that in countable dimension and some other cases, the HP-radical of the stability group coincides with the set of all space automorphisms that fix a finite sub-series; this implies that the HP radical is a Fitting group. Conversely, we prove that every countable Fitting group, which is either torsion-free or a p-group may be represented as a subgroup of the HP radical of a series stabilizer.
We discuss the classification of reflection subgroups of finite and affine Weyl groups from the point of view of their root systems. A short case free proof is given of the well known classification of the isomorphism classes of reflection subgroups using completed Dynkin diagrams, for which there seems to be no convenient source in the literature. This is used as a basis for treating the affine case, where finer classifications of reflection subgroups are given, and combinatorial aspects of root systems are shown to appear. Various parameter sets for certain types of subsets of roots are inte…
Let $k$ be an algebraically closed field of characteristic $p>0$ and let $C/k$ be a smooth connected affine curve. Denote by $π_1(C)$ its algebraic fundamental group. The goal of this paper is to characterize a certain subset of closed normal subgroups $N$ of $π_1(C)$. In "Normal subgroups of fundamental groups of affine curves in positive characteristic" we proved the same result under the additional hypothesis that $k$ had countable cardinality.
Beijing International Center for Mathematical Research Peking University, Beijing, China（北京大学北京国际数学研究中心）；School of Mathematics and Statistics University of Melbourne, VIC 3010, Australia（墨尔本大学数学与统计学院）；Department of Foundational Mathematics School of Mathematics and Physics Xi’an Jiaotong-Liverpool University, Suzhou, China（西交利物浦大学数学与物理学院基础数学系）
Let $π_1(C)$ be the algebraic fundamental group of a smooth connected affine curve, defined over an algebraically closed field of characteristic $p>0$ of countable cardinality. Let $N$ be a normal (resp. characteristic) subgroup of $π_1(C)$. Under the hypothesis that the quotient $π_1(C)/N$ admits an infinitely generated Sylow $p$-subgroup, we prove that $N$ is indeed isomorphic to a normal (resp. characteristic) subgroup of a free profinite group of countable cardinality. As a consequence, every proper open subgroup of $N$ is a free profinite group of countable cardinality.
This note aims to clarify what conditions on a connected Lie group G imply that its maximal connected normal solvable subgroup R intersects each lattice of G as a lattice in R.
For a Coxeter group $W$ we have an associating bi-linear form $B$ on a real vector space. We assume that $B$ has the signature $(n-1,1)$. In this case we have the Cannon-Thurston map for $W$, that is, a $W$-equivariant continuous surjection from the Gromov boundary of $W$ to the limit set of $W$. We focus on the case where Coxeter groups contain affine special subgroups.
In the current paper we study the groups, whose subnormal abelian subgroups are normal. We obtained a quite detailed description of such hyperabelian groups with a periodic Baer radical. The description of hyperabelian Lie algebras, whose abelian subideals are ideals, is also obtained.
The following results are proved: The center of any finite index subgroup of an irreducible, infinite, non-affine Coxeter group is trivial; Any finite index subgroup of an irreducible, infinite, non-affine Coxeter group cannot be expressed as a product of two nontrivial subgroups. These two theorems imply a unique decomposition theorem for a class of Coxeter groups. We also obtain that the orbit of each element other than the identity under the conjugation action in an irreducible, infinite, non-affine Coxeter group is an infinite set. This implies that an irreducible, infinite Coxeter group i…
Let $\mathrm G / F$ be a reductive split $p$-adic group and let $\mathrm U$ be the unipotent radical of a Borel subgroup. We study the cohomology with trivial $\mathbb Z_p$-coefficients of the profinite nilpotent group $N = \mathrm U(\mathcal O_F)$ and its Lie algebra $\mathfrak n$, by extending a classical result of Kostant to our integral $p$-adic setup. The techniques used are a combination of results from group theory, algebraic groups and homological algebra.
We prove that the solvable radical of a finite group G coincides with the set of elements y having the following property: for any x in G the subgroup of G generated by x and y is solvable. We present analogues of this result for finite dimensional Lie algebras and some classes of infinite groups. We also consider a similar problem for pairs of elements.
Let $R$ be a ring with unity and $U(R)$ its group of units. Let $ΔU=\{a\in U(R)\mid [U(R):C_{U(R)}(a)]<\infty\}$ be the $FC$-radical of $U(R)$ and let $\nabla(R)=\{a\in R\mid [U(R):C_{U(R)}(a)]<\infty\}$ be the $FC$-subring of $R$. An infinite subgroup $H$ of $U(R)$ is said to be an $ω$-subgroup if the left annihilator of each nonzero Lie commmutator $[x,y]$ in $R$ contains only finite number of elements of the form $1-h$, where $x,y \in R$ and $h\in H$. In the case when $R$ is an algebra over a field $F$, and $U(R)$ contains an $ω$-subgroup, we describe its $FC$-subalgebra and the $FC$-radica…
We study soluble groups G in which each subnormal subgroup H with infinite rank is commensurable with a normal subgroup, i.e. there exists a normal subgroup N such that the intersection of H and N has finite index in both H and N. We show that if such a G is periodic, then all subnormal subgroups are commensurable with a normal subgroup, provided either the Hirsch-Plotkin radical of G has infinite rank or G is nilpotent-by-abelian (and has infinite rank).
Let $G$ be a semisimple real algebraic Lie group of real rank at least two and $U$ be the unipotent radical of a non-trivial parabolic subgroup. We prove that a discrete Zariski dense subgroup of $G$ that contains an irreducible lattice of $U$ is an arithmetic lattice of $G$. This solves a conjecture of Margulis and extends previous work of Hee Oh.
The Pinsker subgroup of an abelian group with respect to an endomorphism was introduced in the context of algebraic entropy. Motivated by the nice properties and characterizations of the Pinsker subgroup, we generalize its construction in two directions. We introduce the concept of entropy function h of an abelian category and define the Pinsker radical with respect to h, so that the class of all objects with trivial Pinsker radical is the torsion class of a torsion theory.
Given a regular subgroup R of AGL_n(F), one can ask if R contains nontrivial translations. A negative answer to this question was given by Liebeck, Praeger and Saxl for AGL_2(p) (p a prime), AGL_3(p) (p odd) and for AGL_4(2). A positive answer was given by Hegedus for AGL_n(p) when n >= 4 if p is odd and for n=3 or n >= 5 if p=2. A first generalization to finite fields of Hegedus' construction was recently obtained by Catino, Colazzo and Stefanelli. In this paper we give examples of such subgroups in AGL_n(F) for any n >= 5 and any field F. For n < 5 we provide necessary and sufficient conditi…
Let $π$ be a proper subset of the set of all primes. Denote by $r$ the smallest prime which does not belong to $π$ and set $m = r$ if $r = 2$ or $3$ and $m = r-1$ if $r \geqslant 5$. We study the following conjecture: a conjugacy class $D$ of a finite group $G$ is contained in the $π$-radical $\mathrm{O}_π(G)$ of $G$ if and only if every $m$ elements of $D$ generate a $π$-subgroup. We confirm this conjecture for each group $G$ whose nonabelian composition factors are isomorphic to sporadic or alternating groups.
Exploring Bass' Triangulability Problem on unipotent algebraic subgroups of the affine Cremona groups, we prove a triangulability criterion, the existence of nontriangulable connected solvable affine algebraic subgroups of the Cremona groups, and stable triangulability of such subgroups; in particular, in the stable range we answer Bass' Triangulability Problem is the affirmative. To this end we prove a theorem on invariant subfields of $1$-extensions. We also obtain a general construction of all rationally triangulable subgroups of the Cremona groups and, as an application, classify rationall…
Let $G$ be an affine group over a field of characteristic not two. A $G$-torsor is called isotropic if it admits reduction of structure to a proper parabolic subgroup of $G$. This definition generalizes isotropy of affine groups and involutions of central simple algebras. When does $G$ admit anisotropic torsors? Building on work of J. Tits, we answer this question for simple groups. We also give an answer for connected and semisimple $G$ under certain restrictions on its root system.
Weizmann Institute of Science（魏茨曼科学研究所）；Paderborn University, Institute of Mathematics（帕德博恩大学）；University of California at San Diego（加州大学圣地亚哥分校）；Bielefeld University（比勒费尔德大学）
We study analogues of the notions from Lie theory of Levi subgroup and Levi decomposition, in the case of groups G definable in an o-minimal expansion of a real closed field. With suitable definitions, we prove that G has a unique maximal ind-definable semisimple subgroup S, up to conjugacy, and that G = RS where R is the solvable radical of G. We also prove that any semisimple subalgebra of the Lie algebra of G corresponds to a unique ind-definable semisimple subgroup of G.
We extend the notion of induced conjugacy classes in reductive groups, introduced by Lusztig and Spaltenstein for unipotent classes, to arbitrary classes. We study properties of equivariant fibrations of prehomogeneous affine spaces, especially the existence of relative invariants. We also detect prehomogeneous affine spaces as subquotients of canonical parabolic subgroups attached to elements of reductive groups in the sense of Jacobson-Morozov. These results are prerequisites for making the geometric expansion of the Arthur-Selberg trace formula more explicit.
Let $R$ be a commutative local uniserial ring of length $n$, $p$ a generator of the maximal ideal, and $k$ the radical factor field. The pairs $(B,A)$ where $B$ is a finitely generated $R$-module and $A\subset B$ a submodule of $B$ such that $p^mA=0$ form the objects in the category $S_m(R)$. We show that in case $m=2$ the categories $S_m(R)$ are in fact quite similar to each other: If also $R'$ is a commutative local uniserial ring of length $n$ and with radical factor field $k$, then the categories $S_2(R)/\mathcal N_R$ and $S_2(R')/\mathcal N_{R'}$ are equivalent for certain nilpotent categ…
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 centralizers in the spherical root systems, while in the hyperbolic case there emerges a "zoo" of examples, many of them non-hyperbolic. This also delivers many examples of naturally occuring root subsystems of infinite rank.
In this paper we consider the Fitting subgroup $F(G)$ of a finite group $G$ and its generalizations: the quasinilpotent radical $F^*(G)$ and the generalized Fitting subgroup $\tilde{F}(G)$ defined by $\tilde{F}(G)\supseteq Φ(G)$ and $\tilde{F}(G)/Φ(G)=Soc(G/Φ(G))$. We sum up known properties of $\tilde{F}(G)$ and suggest some new ones. Let $R$ be a subgroup of a group $G$. We shall call a subgroup $H$ of $G$ the $R$-subnormal subgroup if $H$ is subnormal in $ \langle H,R\rangle$. In this work the influence of $R$-subnormal subgroups (maximal, Sylow, cyclic primary) on the structure of finite g…
Let $π$ be a set of primes such that $|π|\geqslant 2$ and $π$ differs from the set of all primes. Denote by $r$ the smallest prime which does not belong to $π$ and set $m=r$ if $r=2,3$ and $m=r-1$ if $r\geqslant 5$. We study the following conjecture: a conjugacy class $D$ of a finite group $G$ is contained in $Oπ(G)$ if and only if every $m$ elements of $D$ generate a $π$-subgroup. We confirm this conjecture for each group $G$ whose nonabelian composition factors are isomorphic to alternating, linear and unitary simple groups.
Given a toric affine algebraic variety $X$ and a collection of one-parameter unipotent subgroups $U_1,\ldots,U_s$ of $\mathop{\rm Aut}(X)$ which are normalized by the torus acting on $X$, we show that the group $G$ generated by $U_1,\ldots,U_s$ verifies the following alternative of Tits' type: either $G$ is a unipotent algebraic group, or it contains a non-abelian free subgroup. We deduce that if $G$ is $2$-transitive on a $G$-orbit in $X$, then $G$ contains a non-abelian free subgroup, and so, is of exponential growth.
A subgroup of a group is contranormal if its normal closure coincides with the group. We call such groups without proper contranormal subgroups contranormal-free. In this paper we prove various results concerning contranormal-free groups proving, for example that locally generalized radical contranormal-free groups which have finite section rank are hypercentral.
We provide polynomial lower bounds for residual finiteness of residually finite, finitely generated solvable groups that admit infinite order elements in the Fitting subgroup of strict distortion at least exponential. For this class of solvable groups which include polycyclic groups with a nontrivial exponential radical and the metabelian Baumslag-Solitar groups, we improve the lower bounds found in the literature. Additionally, for the class of residually finite, finitely generated solvable groups of infinite Prüfer rank that satisfy the conditions of our theorem, we provide the first nontriv…
Let $G$ be a simple algebraic group over an algebraically closed field $k$, where $\mathrm{char}\, k$ is either 0 or a good prime for $G$. We consider the modality $\mathrm{mod}(B : \mathfrak u)$ of the action of a Borel subgroup $B$ of $G$ on the Lie algebra $\mathfrak u$ of the unipotent radical of $B$, and report on computer calculations used to show that $\mathrm{mod}(B:\mathfrak u) = 20$, when $G$ is of type $\mathrm E_8$. This completes the determination of the values for $\mathrm{mod}(B:\mathfrak u)$ for $G$ of exceptional type.
We classify measures on a homogeneous space which are invariant under a certain solvable subgroup and ergodic under its unipotent radical. Our treatment is independent of characteristic. As a result we get the first measure classification for the action of semisimple subgroups without any characteristic restriction.
We study properties and the structure of Cartan subgroups in a connected Lie group. We obtain a characterisation of Cartan subgroups which generalises Wüstner's structure theorem for the same. We show that Cartan subgroups are same as those of the centralizers of maximal compact subgroups of the radical. Moreover, we describe a recipe for constructing Cartan subgroups containing certain nilpotent subgroups in a connected solvable Lie group. We characterise the Cartan subgroups in the quotient group modulo a closed normal subgroup as the images of the Cartan subgroups in the ambient group. We a…
