Shephard–Todd–Chevalley Theorem for Skew Polynomial Rings

We prove the following generalization of the classical Shephard–Todd–Chevalley Theorem. Let G be a finite group of graded algebra automorphisms of a skew polynomial ring \(A:=k_{p_{ij}}[x_1,\cdots,x_n]\). Then the fixed subring A ^G has finite global dimension if and only if G is generated by quasi-reflections. In this case the fixed subring A ^G is isomorphic to a skew polynomial ring with possibly different p _ij ’s. A version of the theorem is proved also for abelian groups acting on general quantum polynomial rings.     

Classification of 2-step nilpotent Lie algebras of dimension 9 with 2-dimensional center

A Lie algebra L is called 2-step nilpotent if L is not abelian and [L,L] lies in the center of L. 2-step nilpotent Lie algebras are useful in the study of some geometric problems, and their classification has been an important problem in Lie theory. In this paper, we give a classification of 2-step nilpotent Lie algebras of dimension 9 with 2-dimensional center.     

Centralizers in Lie Algebras

We determine the number of centralizers of different non-abelian finite dimensional Lie algebras over a specific field. Also, the concept of Lie algebras with abelian centralizers are studied and using a result of Bokut and Kukin [5], for a given residually free Lie algebra L, it is shown that L is fully residually free if and only if every centralizer of non-zero elements of L is abelian.     

Characterization of the alternating groups by their order and one conjugacy class length

Let G be a finite group, and let N(G) be the set of conjugacy class sizes of G. By Thompson’s conjecture, if L is a finite non-abelian simple group, G is a finite group with a trivial center, and N(G) = N(L), then L and G are isomorphic. Recently, Chen et al. contributed interestingly to Thompson’s conjecture under a weak condition. They only used the group order and one or two special conjugacy class sizes of simple groups and characterized successfully sporadic simple groups (see Li’s PhD dissertation). In this article, we investigate validity of Thompson’s conjecture under a weak condition for the alternating groups of degrees p+1 and p+2, where p is a prime number. This work implies that Thompson’s conjecture holds for the alternating groups of degree p + 1 and p + 2.     

A Characterization of Stem Algebras in Terms of Central Derivations

Let L be a Lie algebra, and Der _z (L) denote the set of all central derivations of L, that is, the set of all derivations of L mapping L into the center. In this paper, by using the notion of isoclinism, we study the center of Der _z (L) for nilpotent Lie algebras with nilindex 2. We also give a characterization of stem Lie algebras by their central derivations. In fact we show that for non-abelian nilpotent Lie algebras of finite dimension and any nilpotent Lie algebra with nilindex 2 (not finite dimensional in general), Der _z (L) is abelian if and only if L is a stem Lie algebra.     

RESTRICTED LIE ALGEBRAS WITH MAXIMAL 0-PIM

In this paper it is shown that the projective cover of the trivial irreducible module of a finite-dimensional solvable restricted Lie algebra is induced from the one dimensional trivial module of a maximal torus. As a consequence, the number of the isomorphism classes of irreducible modules with a fixed p-character for a finite-dimensional solvable restricted Lie algebra L is bounded above by p ^MT(L), where MT(L) denotes the maximal dimension of a torus in L. Finally, it is proved that in characteristic p > 3 the projective cover of the trivial irreducible L-module is induced from the one-dimensional trivial module of a torus of maximal dimension, only if L is solvable.     

On coset-spaces of compact Lie groups by subgroups of corank 2

Let G be a simple compact connected simply connected Lie group, H its connected Lie subgroup of corank 2 which coincides with the commutator group of the centralizer of a torus, and let Sam(G/H) = 0. We prove that if a compact connected simply connected Lie group G' acts transitively and locally effectively on the manifold G/H, then G' is isomorphic to G. if the root system of G consists of roots of the same length, then the action of G' on G/H is similar to the action of G.     

On a class of finite capable <Emphasis Type="Italic">p</Emphasis>-groups

A group G is called capable if there is a group H such that \({G \cong H/Z(H)}\) is isomorphic to the group of inner automorphisms of H. We consider the situation that G is a finite capable p-group for some prime p. Suppose G has rank \({d(G) \ge 2}\) and Frattini class \({c \ge 1}\), which by definition is the length of a shortest central series of G with all factors being elementary abelian. There is up to isomorphism a unique largest p-group \({G_d^c}\) with rank d and Frattini class c, and G is an epimorphic image of \({G_d^c}\). We prove that this \({G_d^c}\) is capable; more precisely, we have \({G_d^c \cong G_d^{c+1}/Z(G_d^{c+1})}\).     

On the rank of compact <Emphasis Type="Italic">p</Emphasis>-adic Lie groups

The rank of a profinite group G is the basic invariant \({{\rm rk}(G):={\rm sup}\{d(H) \mid H \leq G\}}\), where H ranges over all closed subgroups of G and d(H) denotes the minimal cardinality of a topological generating set for H. A compact topological group G admits the structure of a p-adic Lie group if and only if it contains an open pro-p subgroup of finite rank. For every compact p-adic Lie group G one has rk(G) ≥ dim(G), where dim(G) denotes the dimension of G as a p-adic manifold. In this paper we consider the converse problem, bounding rk(G) in terms of dim(G). Every profinite group G of finite rank admits a maximal finite normal subgroup, its periodic radical π(G). One of our main results is the following. Let G be a compact p-adic Lie group such that π(G) = 1, and suppose that p is odd. If \(\{g \in G \mid g^{p-1}=1 \}\) is equal to {1}, then rk(G) = dim(G).     

ON DE RHAM AND DOLBEAULT COHOMOLOGY OF SOLVMANIFOLDS

For a simply connected (non-nilpotent) solvable Lie group G with a lattice Γ the de Rham and Dolbeault cohomologies of the solvmanifold G/Γ are not in general isomorphic to the cohomologies of the Lie algebra g of G. In this paper we construct, up to a finite group, a new Lie algebra eg whose cohomology is isomorphic to the de Rham cohomology of G/Γ by using a modification of G associated with an algebraic sub-torus of the Zariski-closure of the image of the adjoint representation. This technique includes the construction due to Guan and developed by the first two authors. In this paper, we also give a Dolbeault version of such technique for complex solvmanifolds, i.e., for solvmanifolds endowed with an invariant complex structure. We construct a finite-dimensional cochain complex which computes the Dolbeault cohomology of a complex solvmanifold G/Γ with holomorphic Mostow bundle and we give a construction of a new Lie algebra \( \overset{\smile }{\mathfrak{g}} \) with a complex structure whose cohomology is isomorphic to the Dolbeault cohomology of G/Γ.     

Thompson’s conjecture for the alternating group of degree 2<Emphasis Type="Italic">p</Emphasis> and 2<Emphasis Type="Italic">p</Emphasis>+1

For a finite group G denote by N(G) the set of conjugacy class sizes of G. In 1980s, J.G.Thompson posed the following conjecture: If L is a finite nonabelian simple group, G is a finite group with trivial center and N(G) = N(L), then G ? L. We prove this conjecture for an infinite class of simple groups. Let p be an odd prime. We show that every finite group G with the property Z(G) = 1 and N(G) = N(A _i ) is necessarily isomorphic to A _i , where i ∈ {2p, 2p + 1}.     

On the derived length of units in group algebra

Let G be a finite group G, K a field of characteristic p ≥ 17 and let U be the group of units in KG. We show that if the derived length of U does not exceed 4, then G must be abelian.     

The algebra of Calderón-Zygmund kernels on a homogeneous group is inverse-closed

We show that the subalgebra of convolution operators with Calderón-Zygmund kernels on a homogeneous group G is inverse-closed in the algebra of all bounded linear operators on the Hilbert space L ²(G). The main tool used is a symbolic calculus, where the convolution of distributions on the group is translated via the abelian Fourier transform into a “twisted product” of symbols on the dual to the Lie algebra g of G.     

On locally finite Cpp-groups

A group G is called a Cpp-group for a prime number p, if G has elements of order p and the centralizer of every non-trivial p-element of G is a pgroup. In this paper we prove that the only infinite locally finite simple groups that are Cpp-groups are isomorphic either to PSL(2,K) or, if p = 2, to Sz(K), with K a suitable algebraic field over GF(p). Using this fact, we also give some structure theorems for infinite locally finite Cpp-groups.     

On finite groups for which the lattice of <Emphasis Type="Italic">S</Emphasis>-permutable subgroups is distributive

Let p be a prime and let P be a Sylow p-subgroup of a finite nonabelian group G. Let bcl(G) be the size of the largest conjugacy classes of the group G. We show that if p is an odd prime but not a Mersenne prime or if P does not involve a section isomorphic to the wreath product \({Z_p \wr Z_p}\), then \({|P/O_p(G)| \leq bcl(G)}\).     

Finite <Emphasis Type="Italic">p</Emphasis>-groups all of whose maximal abelian subgroups are soft

A subgroup A of a p-group G is said to be soft in G if C _G (A) = A and |N _G (A/A| = p. In this paper we determined finite p-groups all of whose maximal abelian subgroups are soft; see Theorem A and Proposition 2.4.     

Homomorphisms and principal congruences of bounded lattices. III. The Independence Theorem

A new result of G. Czédli states that for an ordered set P with at least two elements and a group G, there exists a bounded lattice L such that the ordered set of principal congruences of L is isomorphic to P and the automorphism group of L is isomorphic to G.I provide an alternative proof utilizing a result of mine with J. Sichler from the late 1990s.     

Maximum number of sum-free colorings in finite abelian groups

An r-coloring of a subset A of a finite abelian group G is called sum-free if it does not induce a monochromatic Schur triple, i.e., a triple of elements a, b, c ∈ A with a + b = c. We investigate κ_r,G, the maximum number of sum-free r-colorings admitted by subsets of G, and our results show a close relationship between κ_r,G and largest sum-free sets of G.Given a sufficiently large abelian group G of type I, i.e., |G| has a prime divisor q with q ≡ 2 (mod 3). For r = 2, 3 we show that a subset A ? G achieves κ_r,G if and only if A is a largest sum-free set of G. For even order G the result extends to r = 4, 5, where the phenomenon persists only if G has a unique largest sum-free set. On the contrary, if the largest sum-free set in G is not unique, then A attains κ_r,G if and only if it is the union of two largest sum-free sets (in case r = 4) and the union of three (“independent”) largest sum-free sets (in case r = 5).Our approach relies on the so called container method and can be extended to larger r in case G is of even order and contains sufficiently many largest sum-free sets.     

Nilpotency of finite groups with Frobenius groups of automorphisms

Suppose that a finite group G admits a Frobenius group of automorphisms BC of coprime order with kernel B and complement C such that C _G (C) is abelian. It is proved that if B is abelian of rank at least two and \({[C_G(u), C_G(v),\dots,C_G(v)]=1}\) for any \({u,v\in B{\setminus}\{1\}}\), where C _G (v) is repeated k times, then G is nilpotent of class bounded in terms of k and |C| only. It is also proved that if B is abelian of rank at least three and C _G (b) is nilpotent of class at most c for every \({b \in B{\setminus}\{1\}}\), then G is nilpotent of class bounded in terms of c and |C|. The proofs are based on results on graded Lie rings with many commuting components.     

A note on infinite aS-groups

Let G be a group. If every nontrivial subgroup of G has a proper supplement, then G is called an aS-group. We study some properties of aS-groups. For instance, it is shown that a nilpotent group G is an aS-group if and only if G is a subdirect product of cyclic groups of prime orders. We prove that if G is an aS-group which satisfies the descending chain condition on subgroups, then G is finite. Among other results, we characterize all abelian groups for which every nontrivial quotient group is an aS-group. Finally, it is shown that if G is an aS-group and |G| ≠ pq, p, where p and q are primes, then G has a triple factorization.