Products of powers in finite simple groups

LetG be a group. For a natural numberd≥1 letG ^d denote the subgroup ofG generated by all powersa ^d ,a∈G. A. Shalev raised the question if there exists a functionN=N(m, d) such that for anm-generated finite groupG an arbitrary element fromG ^d can be represented asa ₁ ^d ...a _N ^d ,a _i ∈G. The positive answer to this question would imply that in a finitely generated profinite groupG all power subgroupsG ^d are closed and that an arbitrary subgroup of finite index inG is closed. In [5,6] the first author proved the existence of such a function for nilpotent groups and for finite solvable groups of bounded Fitting height. Another interpretation of the existence ofN(m, d) is definability of power subgroupsG ^d (see [10]). In this paper we address the question for finite simple groups. All finite simple groups are known to be 2-generated. Thus, we prove the following: THEOREM:There exists a function N=N(d) such that for an arbitrary finite simple group G either G ^d =1 orG={a ₁ ^d ...a _N ^d |a _i ∈G}. The proof is based on the Classification of finite simple groups and sometimes resorts to a case-by-case analysis.     

The Rao–Reiter Criterion for the Amenability of Homogeneous Spaces

We prove that a homogeneous space G/H, with G a locally compact group and H a closed subgroup of G, is amenable in the sense of Eymard–Greenleaf if and only if the quasiregular action π_Φ of G on the unit sphere of the Orlicz space L^Φ(G/H) for some N-function Φ ∈ Δ₂ satisfies the Rao–Reiter condition (P_Φ).     

The formation of finite groups with a supersolvable π-hall subgroup

Let G be a finite group having a π-subgroup H such that |G: H| is not divisible by the numbers in π. In this case, the subgroup H is referred to as a π-Hall subgroup, and the group G by itself is referred to as a E _π -group. If, moreover, the group H is supersolvable, then G is referred to as an E _π ^u -group. It is proved in the paper that the class of all E _π ^u -groups is a solvably saturated formation, and the proof is carried out without using the classification of finite groups.     

Ergodic theorems for coset spaces

We study in this paper the validity of the Mean Ergodic Theorem along left Følner sequences in a countable amenable group G. Although the Weak Ergodic Theorem always holds along any left Følner sequence in G, we provide examples where the Mean Ergodic Theorem fails in quite dramatic ways. On the other hand, if G does not admit any ICC quotients, e.g., if G is virtually nilpotent, then the Mean Ergodic Theorem holds along any left Følner sequence. In the case when a unitary representation of a countable amenable group is induced from a unitary representation of a “sufficiently thin” subgroup, we show that the Mean Ergodic Theorem holds for the induced representation along any left Følner sequence. Furthermore, we show that every countable (infinite) amenable group L embeds into a countable (not necessarily amenable) group G which admits a unitary representation with the property that for any left Følner sequence (F_n) in L, there exists a sequence (s_n) in G such that the Mean (but not the Weak) Ergodic Theorem fails in a rather strong sense along the (right-translated) sequence (F_ns_n) in G. Finally, we provide examples of countable (not necessarily amenable) groups G with proper, infinite-index subgroups H, so that the Pointwise Ergodic Theorem holds for averages along any strictly increasing and nested sequence of finite subsets of the coset G/H.     

The Hopfian property of n-periodic products of groups

LetH be a subgroup of a groupG. A normal subgroupN _H ofH is said to be inheritably normal if there is a normal subgroup N _G of G such that N _H = N _G ∩ H. It is proved in the paper that a subgroup $N_{G_i }$ of a factor G _i of the n-periodic product Π _i∈I ⁿ G _i with nontrivial factors G _i is an inheritably normal subgroup if and only if $N_{G_i }$ contains the subgroup G _i ⁿ . It is also proved that for odd n ≥ 665 every nontrivial normal subgroup in a given n-periodic product G = Π _i∈I ⁿ G _i contains the subgroup G ⁿ . It follows that almost all n-periodic products G = G _{1 *} ⁿ G ₂ are Hopfian, i.e., they are not isomorphic to any of their proper quotient groups. This allows one to construct nonsimple and not residually finite Hopfian groups of bounded exponents.     

Φ-Harmonic functions on discrete groups and the first ℓΦ-cohomology

We study the first cohomology groups of a countable discrete group G with coefficients in a G-module ?^Φ(G), where Φ is an N-function of class Δ₂(0) ∩ ?₂(0). Developing the ideas of Puls and Martin-Valette for a finitely generated group G, we introduce the discrete Φ-Laplacian and prove a theorem on the decomposition of the space of Φ-Dirichlet finite functions into the direct sum of the spaces of Φ-harmonic functions and ?^Φ(G) (with an appropriate factorization). We prove also that if a finitely generated group G has a finitely generated infinite amenable subgroup with infinite centralizer then \(\bar H^1\) (G, ?^Φ(G)) = 0. In conclusion, we show the triviality of the first cohomology group for the wreath product of two groups one of which is nonamenable.     

Some Character Degree Conditions Implying Solvability of Finite Groups

Let cd(G) be the set of all irreducible complex character degrees of a finite group G. In this paper, we show that if a, b, and c are pairwise relatively prime integers and ${\rm{cd}} \left(G\right) \subseteq \{1, a, b, c, ab, ac\}$ , then either G is solvable or {a, b, c}?=?{2 ^f ???1, 2 ^f , 2 ^f ?+?1} for some $f \geqslant 2$ and cd (G)?=?{1, a, b, c}.     

On conjugate characteristic polynomial of a graph

Let $c=a+b\sqrt{m}$ and $\overline{c}=a-b\sqrt{m}$ , where a and b are two nonzero integers and m is a positive integer such that m is not a perfect square. We say that A ^c =[c _ij ] is the conjugate adjacency matrix of a graph G if c _ij =c for any two adjacent vertices i and j, $c_{ij}=\overline{c}$ for any two nonadjacent vertices i and j, and c _ij =0 if i=j. Let P _G ^c (λ)=|λ I?A ^c | denote the conjugate characteristic polynomial of G. Further, let e=e(G) and Δ=Δ(G) be the number of edges and number of triangles of G, respectively. Let G and H be two graphs of order n and let e(G)=e(H). In this work we prove that c ₃(G)=c ₃(H) if and only if Δ(G)=Δ(H) and $\Delta(\overline{G})=\Delta(\overline{H})$ , where $\overline{G}$ denotes the complement of G and c _k is the coefficient which corresponds to λ ^n?k with respect to P _G ^c (λ). Besides, we here give the conjugate spectrum and conjugate characteristic polynomial of all connected graphs of order n=2,3,4,5, with respect to the constant $c=1+\sqrt{2}$ .     

Uncountable products of determined groups need not be determined

If H is a dense subgroup of G, we say that H determines G if their groups of characters are topologically isomorphic when equipped with the compact open topology. If every dense subgroup of G determines G, then we say that G is determined. The importance of this property is justified by the recent generalizations of Pontryagin-van Kampen duality to wider classes of topological Abelian groups. Among other results, we show (a) _⊕i∈IR determines the product _∏i∈IR if and only if I is countable, (b) a compact group is determined if and only if its weight is countable. These answer questions of Comfort, Raczkowski and the third listed author. Generalizations of the above results are also given.     

On weakly τ-quasinormal subgroups of finite groups

Let G be a finite group and H a subgroup of G. We say that: (1) H is τ-quasinormal in G if H permutes with all Sylow subgroups Q of G such that (|Q|, |H|) = 1 and (|H|, |Q ^G |) ≠ 1; (2) H is weakly τ-quasinormal in G if G has a subnormal subgroup T such that HT = G and T ∩ H ≦ H _τG , where H _τG is the subgroup generated by all those subgroups of H which are τ-quasinormal in G. Our main result here is the following. Let ℱ be a saturated formation containing all supersoluble groups and let X ≦ E be normal subgroups of a group G such that G/E ∈ ℱ. Suppose that every non-cyclic Sylow subgroup P of X has a subgroup D such that 1 < |D| < |P| and every subgroup H of P with order |H| = |D| and every cyclic subgroup of P with order 4 (if |D| = 2 and P is non-Abelian) not having a supersoluble supplement in G is weakly τ-quasinormal in G. If X is either E or F* (E), then G ∈ ℱ.     

On finite x-decomposable groups for X = {1, 2, 4}

A normal subgroup N of a finite group G is called an n-decomposable subgroup if N is a union of n distinct conjugacy classes of G. Each finite nonabelian nonperfect group is proved to be isomorphic to Q ₁₂, or Z ₂ × A ₄, or G = ??a, b, c | a ¹¹ = b ⁵ = c ² = 1, b ^?1 ab = a ⁴, c ^?1 ac = a ^?1, c ^?1 bc = b ^?1?? if every nontrivial normal subgroup is 2- or 4-decomposable.     

On the algebraic independence in the selberg class

We prove that a functionF of the Selberg class ℐ is ab-th power in ℐ, i.e.,F=H ^b for someHσ ℐ, if and only ifb divides the order of every zero ofF and of everyp-componentF _p. This implies that the equationF ^a=G^b with (a, b)=1 has the unique solutionF=H ^b andG=H ^a in ℐ. As a consequence, we prove that ifF andG are distinct primitive elements of ℐ, then the transcendence degree of ℂ[F,G] over ℂ is two.     

On the geometry of flat pseudo-Riemannian homogeneous spaces

Let M = ? _s ⁿ /Γ be a complete flat pseudo-Riemannian homogeneous manifold, Γ ? Iso(? _s ⁿ ) its fundamental group and G the Zariski closure of Γ in Iso(? _s ⁿ ). We show that the G-orbits in ? _s ⁿ are affine subspaces and affinely diffeomorphic to G endowed with the (0)-connection. If the restriction of the pseudo-scalar product on ? _s ⁿ to the G-orbits is nondegenerate, then M has abelian linear holonomy. If additionally G is not abelian, then G contains a certain subgroup of dimension 6. In particular, for non-abelian G, orbits with non-degenerate metric can appear only if dim G ≥ 6. Moreover, we show that ? _s ⁿ is a trivial algebraic principal bundle G → M → ? ^n?k . As a consquence, M is a trivial smooth bundle G/Γ → M → ? ^n?k with compact fiber G/Γ.     

Derived space of L p (G, H)

Let G denote a locally compact abelian group and H a separable Hilbert space. Let L _p (G, H), 1 ≤ p < ∞, be the space of H-valued measurable functions which are in the usual L _p space. Motivated by the work of Helgason [1], Figa-Talamanca [11] and Bachelis [2, 3], we have defined the derived space of the Banach space L _p (G, H) and have studied its properties. Similar to the scalar case, we prove that if G is a noncompact, locally compact abelian group, then L _p ⁰ (G, H) = {0} holds for 1 ≤ p < 2. Let G be a compact abelian group and Γ be its dual group. Let S _p (G, H) be the L ₁(G) Banach module of functions in L _p (G, H) having unconditionally convergent Fourier series in L _p -norm. We show that S _p (G, H) coincides with the derived space L _p ⁰ (G, H), as in the scalar valued case. We also show that if G is compact and abelian, then L _p ⁰ (G, H) = L ₂(G, H) holds for 1 ≤ p ≤ 2. Thus, if F ∈ L _p (G, H), 1 ≤ p < 2 and F has an unconditionally convergent Fourier series in L _p -norm, then F ∈ L ₂(G, H). Let Ω be the set of all functions on Γ taking only the values 1, ?1 and Ω* be the set of all complex-valued functions on Γ having absolute value 1. As an application of the derived space L _p ⁰ (G, H), we prove the following main result of this paper. Let G be a compact abelian group and F be an H-valued function on the dual group Γ such that $$ \sum \omega (\gamma )F(\gamma )\gamma $$ is a Fourier-Stieltjes series of some measure µ ∈ M(G, H) for every scalar function ω such that |ω(γ)| = 1. Then F ∈ l ²(Γ, H).     

On weakly S-embedded and weakly τ-embedded subgroups

Let G be a finite group. A subgroup H of G is said to be weakly S-embedded in G if there exists a normal subgroup K of G such that HK is S-quasinormal in G and H ∩ K ≤ H _seG , where H _seG is the subgroup generated by all those subgroups of H which are S-quasinormally embedded in G. We say that a subgroup H of G is weakly τ-embedded in G if there exists a normal subgroup K of G such that HK is S-quasinormal in G and H ∩ K ≤ H _seG , where H _seG is the subgroup generated by all those subgroups of H which are τ-quasinormal in G. In this paper, we study the properties of weakly S-embedded and weakly τ-embedded subgroups, and use them to determine the structure of finite groups.     

Finiteness of graded generalized local cohomology modules

We consider two finitely generated graded modules over a homogeneous Noetherian ring $R = \oplus _{n \in \mathbb{N}_0 } R_n$ with a local base ring (R ₀, m₀) and irrelevant ideal R ₊ of R. We study the generalized local cohomology modules H _b ⁱ (M,N) with respect to the ideal b = b₀ + R ₊, where b₀ is an ideal of R ₀. We prove that if dimR ₀/b₀ ≤ 1, then the following cases hold: for all i ≥ 0, the R-module H _b ⁱ (M,N)/a₀ H _b ⁱ (M,N) is Artinian, where $\sqrt {\mathfrak{a}_0 + \mathfrak{b}_0 } = \mathfrak{m}_0$ ; for all i ≥ 0, the set $Ass_{R_0 } \left( {H_\mathfrak{b}^i \left( {M,N} \right)_n } \right)$ is asymptotically stable as n→?∞. Moreover, if H _b ⁱ (M,N) _n is a finitely generated R ₀-module for all n ≤ n ₀ and all j < i, where n ₀ ∈ ? and i ∈ ?₀, then for all n ≤ n ₀, the set $Ass_{R_0 } \left( {H_\mathfrak{b}^i \left( {M,N} \right)_n } \right)$ is finite.     

Some results on the local cohomology of minimax modules

Let R be a commutative Noetherian ring with identity and I an ideal of R. It is shown that, if M is a non-zero minimax R-module such that dim Supp H _I ⁱ (M) ? 1 for all i, then the R-module H _I ⁱ (M) is I-cominimax for all i. In fact, H _I ⁱ (M) is I-cofinite for all i ? 1. Also, we prove that for a weakly Laskerian R-module M, if R is local and t is a non-negative integer such that dim Supp H _I ⁱ (M) ? 2 for all i < t, then Ext _R ^j (R/I,H _I ⁱ (M)) and Hom _R (R/I,H _I ^t (M)) are weakly Laskerian for all i < t and all j ? 0. As a consequence, the set of associated primes of H _I ⁱ (M) is finite for all i ? 0, whenever dim R/I ? 2 and M is weakly Laskerian.     

Medial groupoid varieties defined by infinite cyclic groups

Let G be the abelian group generated by α and β. We write Σ(G; α, β) for the set of groupoid identities that are satisfied in the group ring ${\mathbb{Z}[G]}$ when the binary operation is α x + β y. When the constant e, representing the zero of ${\mathbb{Z}}$ , is added to the type, we write Σ ^e (G; α, β) for the corresponding set of identities. In this paper, we assume that G is an infinite cyclic group with generator δ. We write Σ _a,b for Σ(G; δ ^a , δ ^b ) and ${\Sigma^{e}_{a,b}}$ for Σ ^e (G; δ ^a , δ ^b ). For each pair of relatively prime integers a and b, we determine whether Σ _a,b is finitely based and whether ${\Sigma^{e}_ {a,b}}$ is finitely based. One of our results implies that Σ ^e (G; α, β) is finitely based whenever G is finite.     

A weight space invariant with respect to a singular linear operator

For the singular operator $$Su = \int_a^b {\frac{{K(x, s) u (s)}}{{s - x}}} ds$$ invariant weight spacesλ _α ^β , _p (u(x)∈λ _α ^β , _p if 1⁰,u (x) ρ (x)∈ H _β ⁰ , 2⁰.‖u‖L _p(ρ₀)<∞, ρ (x) = (x?a) (b ?x)^1+β, ρ₀(x)=(b?x)^α(p?1), 0<α, β<1,p>1H ₀ ^β is a Hölder space. Multiplicative inequalities of the type of Kh. Sh. Mukhtarov are also obtained.     

Computer difference scheme for a singularly perturbed convection-diffusion equation

The Dirichlet problem for a singularly perturbed ordinary differential convection-diffusion equation with a perturbation parameter ? (that takes arbitrary values from the half-open interval (0, 1]) is considered. For this problem, an approach to the construction of a numerical method based on a standard difference scheme on uniform meshes is developed in the case when the data of the grid problem include perturbations and additional perturbations are introduced in the course of the computations on a computer. In the absence of perturbations, the standard difference scheme converges at an \(\mathcal{O}\) (δ _st ) rate, where δ _st = (? + N ^?1)^?1 N ^?1 and N + 1 is the number of grid nodes; the scheme is not ?-uniformly well conditioned or stable to perturbations of the data. Even if the convergence of the standard scheme is theoretically proved, the actual accuracy of the computed solution in the presence of perturbations degrades with decreasing ? down to its complete loss for small ? (namely, for ? = \(\mathcal{O}\) (δ^?2max _i,j |δa _i ^j | + δ^?1 max _{i, j} |δb _i ^j |), where δ = δ _st and δa _i ^j , δb _i ^j are the perturbations in the coefficients multiplying the second and first derivatives). For the boundary value problem, we construct a computer difference scheme, i.e., a computing system that consists of a standard scheme on a uniform mesh in the presence of controlled perturbations in the grid problem data and a hypothetical computer with controlled computer perturbations. The conditions on admissible perturbations in the grid problem data and on admissible computer perturbations are obtained under which the computer difference scheme converges in the maximum norm for ? ∈ (0, 1] at the same rate as the standard scheme in the absence of perturbations.