Graev metric groups and Polishable subgroups

We prove a conjecture of Hjorth: There is an uncountable Polish group all of whose abelian subgroups are discrete. We first construct directly a witness to Hjorth's conjecture. Then we consider an existing example in the literature. The example is the metric completion of a free topological group constructed by Graev. We give a definition slightly more general than Graev's and prove some properties of the Graev metrics which seem to be unknown previously. We also consider the problem of finding Polishable subgroups of the Graev metric groups with arbitrarily high Borel rank. In doing this we prove some general theorems on extensions of Polish groups with this property.     

S-semiembedded subgroups of finite groups

A subgroup H of a finite group G is said to be s-semipermutable in G if it is permutable with every Sylow p-subgroup of G with (p, |H|) = 1. We say that a subgroup H of a finite group G is S-semiembedded in G if there exists an s-permutable subgroup T of G such that TH is s-permutable in G and T∩H≤Hs¯G, where Hs¯G is an s-semipermutable subgroup of G contained in H. In this paper, we investigate the influence of S-semiembedded subgroups on the structure of finite groups.     

On separable Banach subspaces

We show that any infinite-dimensional Banach (or more generally, Fréchet) space contains linear subspaces of arbitrarily high Borel complexity which admit separable complete norms giving rise to the inherited Borel structure.     

X-quasinormal subgroups

Considering two subgroups A and B of a group G and ? ≠ X ? G, we say that A is X-permutable with B if AB ^x = B ^x A for some element x ∈ X. We use this concept to give new characterizations of the classes of solvable, supersolvable, and nilpotent finite groups.     

Representations of Parabolic and Borel Subgroups

We demonstrate a relationships between the representation theory of Borel subgroups and parabolic subgroups of general linear groups. In particular, we show that the representations of Borel subgroups could be computed from representations of certain maximal parabolic subgroups.     

Finite groups with seminormal Schmidt subgroups

A non-nilpotent finite group whose proper subgroups are all nilpotent is called a Schmidt group. A subgroup A is said to be seminormal in a group G if there exists a subgroup B such that G = AB and AB₁ is a proper subgroup of G, for every proper subgroup B₁ of B. Groups that contain seminormal Schmidt subgroups of even order are considered. In particular, we prove that a finite group is solvable if all Schmidt {2, 3}-subgroups and all 5-closed {2, 5}-Schmidt subgroups of the group are seminormal; the classification of finite groups is not used in so doing. Examples of groups are furnished which show that no one of the requirements imposed on the groups is unnecessary. Supported by BelFBR grant Nos. F05-341 and F06MS-017. __________ Translated from Algebra i Logika, Vol. 46, No. 4, pp. 448–458, July–August, 2007.     

On g-s-supplemented subgroups of finite groups

A subgroup H of a group G is said to be g-s-supplemented in G if there exists a subgroup K of G such that HK⊴G and H ∩ K ⩽ H _sG , where H_sG is the largest s-permutable subgroup of G contained in H. By using this new concept, we establish some new criteria for a group G to be soluble.     

Finite groups with S-permutable n-minimal subgroups

We study the supersolvability of finite groups and the nilpotent length of finite solvable groups under the assumption that all their exactly n-minimal subgroups are S-permutable, where n is an arbitrary integer.     

Congruence subgroups of Hecke groups

Hecke groups are an important tool in subgroups of Hecke groups play an important rule investigating functional equations, and congruence in research of the solutions of the Dirichlet series. When q, m are two primes, congruence subgroups and the principal congruence subgroups of level m of the Hecke group H（√q） have been investigated in many papers. In this paper, we generalize these results to the case where q is a positive integer with q ≥ 5, √q ￠ Z and m is a power of an odd prime.     

Solitary subgroups of Abelian groups

Since solitary subgroups of (infinite) Abelian groups are precisely the strictly invariant subgroups which are co-Hopfian (as groups), and strictly invariant subgroups turn out to be strongly invariant for large classes of Abelian groups we determine the solitary subgroups for these classes of groups.     

On the n-minimal subgroups

Let G be a finite group and n be a positive integer. An n-minimal subgroup H of G is called to be exactly n-minimal if no proper subgroup of H is n-minimal. In this paper, we study the solvability of G under the assumption that all exactly n-minimal subgroups of G are S-permutable.     

Relative minimality and co-minimality of subgroups in topological groups

We study two properties of subgroups of a topological group (relative minimality and co-minimality), that generalize minimality. Many applications, mostly related to semidirect products and generalized Heisenberg groups are given.     

New metrics on free groups

We define some new metrics on free groups and obtain a class of Polish groups by taking appropriate metric completions so that every Polish group is the quotient group of some one in the class. Moreover, we show that the resulting groups can be taken to be Polishable subgroups of the infinite permutation group S_∞.     

Finite groups with hall subnormally embedded Schmidt subgroups

Abstract

A subgroup H of a finite group G is said to be Hall subnormally embedded in G if there is a subnormal subgroup N of G such that H is a Hall subgroup of N. A Schmidt group is a finite non-nilpotent group whose all proper subgroups are nilpotent. We prove the nilpotency of the second derived subgroup of a finite group in which each Schmidt subgroup is Hall subnormally embedded.     

On finite groups with some subgroups of prime indices

We establish the solvability of each finite group whose every proper nonmaximal subgroup lies in some subgroup of prime index.     

A criterion for subnormality of subgroups in finite groups

Based on Wielandt’s criterion for subnormality of subgroups in finite groups, we study 2-maximal subgroups of finite groups and present another subnormality criterion in finite solvable groups.