Derived length and conjugacy class sizes

Let G be a finite solvable group, and let F(G) be its Fitting subgroup. We prove that there is a universal bound for the derived length of G/F(G) in terms of the number of distinct conjugacy class sizes of G. This result is asymptotically best possible. It is based on the following result on orbit sizes in finite linear group actions: If G is a finite solvable group and V a finite faithful irreducible G-module of characteristic r, then there is a universal logarithmic bound for the derived length of G in terms of the number of distinct r^′-parts of the orbit sizes of G on V. This is a refinement of the author's previous work on orbit sizes.     

Correspondences Between 2-Brauer Characters of Solvable Groups

Let G be a finite solvable group and let p be a prime. Let P ∈ Syl _p (G) and N = N _G (P). We prove that there exists a natural bijection between the 2-Brauer irreducible characters of p′-degree of G and those of N _G (P).     

The Second Cohomology of Simple SL 3-Modules

Let G be the simple, simply connected algebraic group SL ₃ defined over an algebraically closed field K of characteristic p > 0. In this article, we find H ²(G, V) for any irreducible G-module V. When p > 7, we also find H ²(G(q), V) for any irreducible G(q)-module V for the finite Chevalley groups G(q) = SL(3, q) where q is a power of p.     

On Solvable R* Groups of Finite Rank

Abstract

For an element a of a group G,let S(a) denote the semigroup generated by all conjugates of a in G. We prove that if G is solvable of finite rank and 1 ? S(a) for all 1 ≠ a ∈ G,then ?a ^G ?/?b ^G ? is a periodic group for every b ∈ S(a). Conversely if every two generator subgroup of a finitely generated torsion-free solvable group G has this property then G has finite rank,and if every finitely generated subgroup has this property then every partial order on G can be extended to a total order.     

A Family of Complex Irreducible Characters Possessed by Unitary and Special Unitary Groups Defined over Local Rings

Abstract

Let 𝒪 be a discrete valuation ring whose residue field 𝒪/𝔭 is finite and has odd characteristic. Let l be a positive integer. Set R = 𝒪/𝔭 ^l and let R = R[θ] be the ring obtained by adjoining to R a square root of a non-square unit. Consider the involution σ of R that fixes R elementwise and sends θ to ? θ. Let V be a free R-module of rank n > 0 endowed with a non-degenerate hermitian form ( , ) relative to σ. Let U _n (R) be the subgroup of GL(V) that preserves ( , ). Let SU _n (R) be the subgroup of all g ∈ U _n (R) whose determinant is equal to one. Let Ψ be the Weil character of U _n (R).

All irreducible constituents of Ψ are determined. An explicit character formula is given for each of them. In particular, all character degrees are computed. For n > 2 the corresponding results are also obtained for the restriction of Ψ to SU _n (R).     

Nilpotent Length of a Finite Solvable Group with a Frobenius Group of Automorphisms

We prove that a finite solvable group G admitting a Frobenius group FH of automorphisms of coprime order with kernel F and complement H such that [G, F] = G and C _{C G (F)}(h) = 1 for all nonidentity elements h ∈ H, is of nilpotent length equal to the nilpotent length of the subgroup of fixed points of H.     

Large orbits of elements centralized by a Sylow subgroup

If G has a nilpotent normal p-complement and V is a finite, faithful and completely reducible G-module of characteristic p, we prove that there exist ${v_1, v_2 \in V}If G has a nilpotent normal p-complement and V is a finite, faithful and completely reducible G-module of characteristic p, we prove that there exist v₁, v₂ ? V{v_1, v_2 \in V} such that C_G(v₁)?C_G(v₂) = P{{\bf C}_{G}{(v_1)}\cap {\bf C}_{G}{(v_2)} = P} , where P ? Syl_p(G){P \in {\rm Syl}_p(G)} . We hence deduce that, if the normal p-complement K is nontrivial, there exists v ? C_V(P){v \in {\bf C}_{V}(P)} such that |K : C _K (v)|² > |K|.     

Automorphisms of Free Left Nilpotent Leibniz Algebras and Fixed Points

ABSTRACT

Let F _m (N) be the free left nilpotent (of class two) Leibniz algebra of finite rank m, with m ≥ 2. We show that F _m (N) has non-tame automorphisms and, for m ≥ 3, the automorphism group of F _m (N) is generated by the tame automorphisms and one more non-tame IA-automorphism. Let F(N) be the free left nilpotent Leibniz algebra of rank greater than 1 and let G be an arbitrary non-trivial finite subgroup of the automorphism group of F(N). We prove that the fixed point subalgebra F(N) ^G is not finitely generated.     

First Cohomology Group from the Virasoro-Like Algebra to its Larsson Functor Module

Let 𝒲 be the Virasoro-like algebra, and d ₁, d ₂ be the degree derivations of 𝒲. Set ? = W⊕C d ₁⊕C d ₂. Let F ^α(V) be the ?-module defined by Larsson's functor applied to a finite dimensional sl ₂-module V. In this article, the derivations from ? to ?-modules F ^α(V) and the first cohomology group H ¹(?, F ^α(V)) are given.     

List Colorings of K5‐Minor‐Free Graphs With Special List Assignments

The following question was raised by Bruce Richter. Let G be a planar, 3‐connected graph that is not a complete graph. Denoting by d(v) the degree of vertex v, is G L‐list colorable for every list assignment L with |L(v)| = min{d(v), 6} for all v∈V(G)? More generally, we ask for which pairs (r, k) the following question has an affirmative answer. Let r and k be the integers and let G be a K₅‐minor‐free r‐connected graph that is not a Gallai tree (i.e. at least one block of G is neither a complete graph nor an odd cycle). Is G L‐list colorable for every list assignment L with |L(v)| = min{d(v), k} for all v∈V(G)? We investigate this question by considering the components of G[S_k], where S_k: = {v∈V(G)|d(v)8k} is the set of vertices with small degree in G. We are especially interested in the minimum distance d(S_k) in G between the components of G[S_k]. © 2011 Wiley Periodicals, Inc. J Graph Theory 71:18–30, 2012     

A New Characterization of A 10 by its Noncommuting Graph

Let G be a nonabelian group and associate a noncommuting graph ?(G) with G as follows: The vertex set of ?(G) is G\Z(G) with two vertices x and y joined by an edge whenever the commutator of x and y is not the identity. In 1987, Professor J. G. Thompson gave the following conjecture.

Thompson's Conjecture. If G is a finite group with Z(G) = 1 and M is a nonabelian simple group satisfying N(G) = N(M), then G ? M, where N(G):={n ∈ ? | G has a conjugacy class of size n}.

In 2006, A. Abdollahi, S. Akbari, and H. R. Maimani put forward a conjecture (AAM's conjecture) in Abdollahi et al. (2006) as follows.

AAM's Conjecture. Let M be a finite nonabelian simple group and G a group such that ?(G) ? ? (M). Then G ? M.

In this short article we prove that if G is a finite group with ?(G) ? ? (A ₁₀), then G ? A ₁₀, where A ₁₀ is the alternating group of degree 10.     

On Solvability of Finite Groups with Few Non-Normal Subgroups

For a finite group G, let v(G) denote the number of conjugacy classes of non-normal subgroups of G and vc(G) denote the number of conjugacy classes of non-normal noncyclic subgroups of G. In this paper, we show that every finite group G satisfying v(G) ≤2|π(G)| or vc(G) ≤ |π(G)| is solvable, and for a finite nonsolvable group G, v(G) = 2|π(G)| +1 if and only if G ? A ₅.     

Varieties of Algebras without the Amalgamation Property

Let α be an ordinal and κ be a cardinal, both infinite, such that κ ≤ |α|. For τ ∈^αα, let sup(τ) = {i ∈ α: τ(i) ≠ i}. Let G _κ = {τ ∈^αα: |sup(τ)| < κ}. We consider variants of polyadic equality algebras by taking cylindrifications on Γ ? α, |Γ| < κ and substitutions restricted to G _κ. Such algebras are also enriched with generalized diagonal elements. We show that for any variety V containing the class of representable algebas and satisfying a finite schema of equations, V fails to have the amalgamation property. In particular, many varieties of Halmos’ quasi-polyadic equality algebras and Lucas’ extended cylindric algebras (including that of the representable algebras) fail to have the amalgamation property.     

Modules with Involution for Algebraic Groups

Abstract

Let k be an algebraically closed field of characteristic ≠2 and let G be a connected, reductive algebraic group with involution θ ∈ Aut(G). A (G, θ)-module is a rational G-module with a compatible action of θ. The purpose of this note is to classify the irreducible (G, θ)-modules.     

Orbits of the actions of finite solvable groups

Suppose V is a completely reducible faithful G-module for a solvable group G, we show G has a “large” orbit on V. Specifically, there is $v\in V$ such that ${\mathbf{C}}_G(v)$ is contained in a normal subgroup of derived length 9 contained in the seventh ascending Fitting subgroup of G. This is in some ways best possible. This is applied to generate many theorems showing that a solvable group must have characters of large degree.     

On locally finite groups with a small centralizer of a four-subgroup

The main result of the paper is the following theorem. Let G be a locally finite group having a four-subgroup V such that C _G (V) is finite. Suppose that V contains two involutions v ₁ and v ₂ such that the centralizers C _G (v ₁) and C _G (v ₂) have finite exponent. Then G is almost locally soluble and [G, V]′ has finite exponent. Since [G, V] has finite index in G, the result gives a fairly detailed information about the structure of G.     

0-Minimal Quasi-ideals of Generalized Linear Transformation Semigroups

Abstract

For vector spaces V and W over a field F, L _F (V, W) denotes the set of all linear transformations α : V → W, and for a cardinal number k > 0, let L _F (V, W, k) be the set of all α ∈ L _F (V, W) of rank less than k. For θ ∈ L _F (W, V), let (L _F (V, W, k), θ) denote the semigroup L _F (V, W, k) under the operation ? defined by α ? β = αθβ for all α, β ∈ L _F (V, W, k). In this paper, all 0-minimal quasi-ideals of the semigroup (L _F (V, W, k), θ) are completely characterized. It is also shown from this characterization that every nonzero semigroup (L _F (V, W, k), θ) always has a 0-minimal quasi-ideal.     

On the Support Problem for Drinfeld Modules

Let Φ be a Drinfeld A-module over an A-field K of generic characteristic. We will prove the following two results which are analogous to ones in number fields. Case 1. Φ is of rank one. Suppose that P and Q are two nontorsion points in Φ(K). If for any element a ? A and almost all prime ideals 𝒫 in  one has that Φ _a (P) ≡ 0 (mod 𝒫) ? Φ _a (Q) ≡ 0 (mod 𝒫), then Q = Φ _m (P) for some m ? A. Case 2. Φ is of general rank ≥ 1. Let x, y ? Φ(K) be two K-rational points. Denote  = End _K (Φ) which is commutative and Λ =  · y which is a cyclic -module. Let red _v :Φ(K) → Φ(k _v ) be the reduction map at a place v of K with residue field k _v . If red _v (x) ? red _v (Λ) for almost all places v of K. Then f(x) = g(y), for some nonzero elements f and g in .     

On Behavior of Solvable Ideals of Lie Algebras Under Outer Derivations

Let L be a finite dimensional Lie algebra over a field F. It is well known that the solvable radical S(L) of the algebra L is a characteristic ideal of L if char F = 0, and there are counterexamples to this statement in case char F = p > 0. We prove that the sum S(L) of all solvable ideals of a Lie algebra L (not necessarily finite dimensional) is a characteristic ideal of L in the following cases: 1) char F = 0; 2) S(L) is solvable and its derived length is less than log₂ p.     

Topological rings,homogeneous functions,and primeness

For any group G such that G is a right R-module for some ring R, the elements of R act on G as endomorphisms and we obtain the near-ring of R-homogeneous maps on G: M_R(G) = {f: G → G|f(ga) = f(g)a for all a ∈ R, g ∈ G}. In the special case that R is a topological ring and G is a topological R-module, we study N_R(G): = {f ∈ M_R(G)|f is continuous}. In particular, we investigate primeness of the near-ring N_R(G) of continuous homogeneous maps on G.