Groups with elementary Abelian centralizers of involutions

An involution i of a group G is said to be almost perfect in G if any two involutions of i^G the order of a product of which is infinite are conjugated via a suitable involution in i^G. We generalize a known result by Brauer, Suzuki, and Wall concerning the structure of finite groups with elementary Abelian centralizers of involutions to groups with almost perfect involutions. __________ Translated from Algebra i Logika, Vol. 46, No. 1, pp. 75–82, January–February, 2007.     

Quasi-Purifiable Subgroups and Minimal Direct Summands

Let G be an arbitrary Abelian group. A subgroup A of G is said to be quasi-purifiable in G if there exists a pure subgroup H of G containing A such that A is almost-dense in H and H/A is torsion. Such a subgroup H is called a “quasi-pure hull” of A in G. We prove that if G is an Abelian group whose maximal torsion subgroup is torsion-complete, then all subgroups A are quasi-purifiable in G and all maximal quasi-pure hulls of A are isomorphic. Every subgroup A of a torsion-complete p-primary group G is contained in a minimal direct summand of G that is a minimal pure torsion-complete subgroup containing A. An Abelian group G is said to be an “ADE decomposable group” if there exist an ADE subgroup K of G and a subgroup T′ of T(G) such that G = K⊕ T′. An Abelian group whose maximal torsion subgroup is torsion-complete is ADE decomposable. Hence direct products of cyclic groups are ADE decomposable groups.     

Abelian torsion groups with a countably compact group topology

Comfort and Remus [W.W. Comfort, D. Remus, Abelian torsion groups with a pseudocompact group topology, Forum Math. 6 (3) (1994) 323–337] characterized algebraically the Abelian torsion groups that admit a pseudocompact group topology using the Ulm–Kaplansky invariants.We show, under a condition weaker than the Generalized Continuum Hypothesis, that an Abelian torsion group (of any cardinality) admits a pseudocompact group topology if and only if it admits a countably compact group topology. Dikranjan and Tkachenko [D. Dikranjan, M. Tkachenko, Algebraic structure of small countably compact Abelian groups, Forum Math. 15 (6) (2003) 811–837], and Dikranjan and Shakhmatov [D. Dikranjan, D. Shakhmatov, Forcing hereditarily separable compact-like group topologies on Abelian groups, Topology Appl. 151 (1–3) (2005) 2–54] showed this equivalence for groups of cardinality not greater than .We also show, from the existence of a selective ultrafilter, that there are countably compact groups without non-trivial convergent sequences of cardinality κ^ω, for any infinite cardinal κ. In particular, it is consistent that for every cardinal κ there are countably compact groups without non-trivial convergent sequences whose weight λ has countable cofinality and λ>κ.     

On pureness in Abelian groups

Torsion-free Abelian groups G and H are called quasi-equal (G ≈ H) if λG ⊂ H ⊂ G for a certain natural number ≈. It is known (see [3]) that the quasi-equality of torsion-free Abelian groups can be represented as the equality in an appropriate factor category. Thus while dealing with certain group properties it is usual to prove that the property under consideration is preserved under the transition to a quasi-equal group. This trick is especially frequently used when the author investigates module properties of Abelian groups; here a group is considered as a left module over its endomorphism ring. On the other hand, a topical problem in the Abelian group theory is the problem of investigation of pureness in the category of Abelian groups (see [4]). We consider the pureness introduced by P. Cohn [2] for Abelian groups as modules over their endomorphism rings. Particularity of the investigation of the properties of pureness for the Abelian group G as the module _E (G)G lies in the fact that this is a more general situation than the investigation of pureness for a unitary module over an arbitrary ring R with the identity element. Indeed, if _R M is an arbitrary unitary left module and M ⁺ is its Abelian group, then each element from R can be identified with an appropriate endomorphism from the ring E(M ⁺) under the canonical ring homomorphism R → E(M ⁺). Then it holds that if _E(M+) N is a pure submodule in _E(M+) M ⁺, then _R N is a pure submodule in _R M. In the present paper the interrelations between pureness, servantness, and quasi-decompositions for Abelian torsion-free groups of finite rank will be investigated. __________ Translated from Fundamentalnaya i Prikladnaya Matematika (Fundamental and Applied Mathematics), Vol. 10, No. 2, pp. 225–238, 2004.     

On Semi-Cover-Avoiding Maximal Subgroups and Solvability of Finite Groups

A subgroup H of a finite group G is said to be “semi-cover-avoiding in G” if there is a chief series of G such that H covers or avoids every chief factor of the chief series. In this article, some new characterizations for finite solvable groups are obtained based on the assumption that some subgroups have semi-cover-avoiding properties in the groups.     

Some Properties of Bell Groups

For any integer n ≠ 0,1, a group G is said to be “n-Bell” if it satisfies the identity [x ⁿ ,y] = [x,y ⁿ ]. It is known that if G is an n-Bell group, then the factor group G/Z ₂(G) has finite exponent dividing 12n ⁵(n ? 1)⁵. In this article we show that this bound can be improved. Moreover, we prove that every n-Bell group is n-nilpotent; consequently, using results of Baer on finite n-nilpotent groups, we give the structure of locally finite n-Bell groups. Finally, we are concerned with locally graded n-Bell groups for special values of n.     

Influence of certain permutable subgroups on finite smooth groups

A subgroup H of a finite group G is said to be permutable in G if it permutes with every subgroup of G. In this paper, we determine the finite groups which have a permutable subgroup of prime order and whose maximal subgroups are totally (generalized) smooth groups.     

Discriminating Completions of Hyperbolic Groups

A group G is called an A-group, where A is a given Abelian group, if it comes equipped with an action of A on G which mimics the way in which Z acts on any group. This action is codified in terms of certain axioms, all but one of which were introduced some years ago by R. C. Lyndon. For every such G and A there exists an A-exponential group G ^A which is the A-completion of G. We prove here that if G is a torsion-free hyperbolic group and if A is a torsion-free Abelian group, then the Lyndon's type completion G ^A of G is G-discriminated by G. This implies various model-theoretic and algorithmic results about G ^A .     

Pontryagin duality for topological Abelian groups

A topological Abelian group G is Pontryagin reflexive, or P-reflexive for short, if the natural homomorphism of G to its bidual group is a topological isomorphism. We look at the question, set by Kaplan in 1948, of characterizing the topological Abelian groups that are P-reflexive. Thus, we find some conditions on an arbitrary group G that are equivalent to the P-reflexivity of G and give an example that corrects a wrong statement appearing in previously existent characterizations of P-reflexive groups. Received: 10 February 2000 / Published online: 17 May 2001     

On SS-Quasinormal Subgroups of Finite Groups

A subgroup of a group G is said to be Sylow-quasinormal (S-quasinormal) in G if it permutes with every Sylow subgroup of G. A subgroup H of a group G is said to be Supplement-Sylow-quasinormal (SS-quasinormal) in G if there is a supplement B of H to G such that H is permutable with every Sylow subgroup of B. In this article, we investigate the influence of SS-quasinormal of maximal or minimal subgroups of Sylow subgroups of the generalized Fitting subgroup of a finite group.     

On s-Permutable Subgroups and p-Nilpotency of Finite Groups

A subgroup H of a finite group G is said to be s-permutable in G if H permutes with every Sylow subgroup of G. In this article, some sufficient conditions for a finite group G to be p-nilpotent are given whenever all subgroups with order p ^m of a Sylow p-subgroup of G are s-permutable for a given positive integer m.     

Isomorphic Commutative Group Algebras of p-Mixed Warfield Groups

Let G be a p-mixed Warfield Abelian group and F a field of char F = p ≠ 0. It is proved that if for any group H the group algebras FH and FG are F-isomorphic, then H is isomorphic to G. This presentation enlarges a result of W. May argued when G is p-local Warfield Abelian and published in Proc. Amer. Math. Soc. （1988）.     

On Quasi-Regular Torsion-Free Modules

A torsion-free module is called quasi-regular if each cyclic submodule is a quasi-summand. This article characterizes torsion-free Abelian groups that are quasi-regular as modules over a subring of their endomorphism ring. In particular, if G is a torsion-free Abelian group such that its ring Q E of quasi-endomorphisms is Artinian, then the left E-module G is quasi-regular if and only if the left C-module G is quasi-regular, where C is the center of its endomorphism ring E.     

Abelian groups with normal endomorphism rings

A ring is said to be normal if all of its idempotents are central. It is proved that a mixed group A with a normal endomorphism ring contains a pure fully invariant subgroup G ⊕ B, the endomorphism ring of a group G is commutative, and a subgroup B is not always distinguished by a direct summand in A. We describe separable, coperiodic, and other groups with normal endomorphism rings. Also we consider Abelian groups in which the square of the Lie bracket of any two endomorphisms is the zero endomorphism. It is proved that every central invariant subgroup of a group is fully invariant iff the endomorphism ring of the group is commutative.     

Existence and Number of Maximal Precompact Topologies on Abelian Groups

The lattice PC(G) of precompact group topologies on an Abelian group G is isomorphic with the lattice SG(G*) of subgroups of the algebraic character group (Remus, 1983). Remus used this result to determine the number of precompact [Hausdorff] topologies on Abelian groups. In this paper the same tool is applied to the problems of existence and number of maximal precompact [Hausdorff] topologies on an Abelian group G, i.e. antiatoms in the lattice PC(G). It is shown that PC(G) has antiatoms iff G is not torsion-free. Further the number of maximal precompact [Hausdorff] topologies is expressed in terms of the cardinalities of the p-components of the group G.     

Torsion Abelian RAI-Groups

A subgroup A of an Abelian group G is called its absolute ideal if A is an ideal of any ring on G. An Abelian group is called an RAI-group if there exists a ring on it in which every ideal is absolute. The problem of describing RAI-groups was formulated by L. Fuchs (Problem 93). In this paper, absolute ideals of torsion Abelian groups and torsion Abelian RAI-groups are described.     

On Chow Groups of G-Graded Rings

Abstract

Let A be a Noetherian ring graded by a finitely generated Abelian group G. It is shown that a Chow group A _?(A) of A is determined by cycles and a rational equivalence with respect to certain G-graded ideals of A. In particular, A _?(A) is isomorphic to the equivariant Chow group of A if G is torsion free.     

Maximal Orders of Abelian Subgroups in Finite Chevalley Groups

In the present paper, for any finite group G of Lie type (except for ² F ₄(q)), the order a(G) of its large Abelian subgroup is either found or estimated from above and from below (the latter is done for the groups F ₄ (q), E ₆ (q), E ₇ (q), E ₈ (q), and ² E ₆(q ²)). In the groups for which the number a(G) has been found exactly, any large Abelian subgroup coincides with a large unipotent or a large semisimple Abelian subgroup. For the groups F ₄ (q), E ₆ (q), E ₇ (q), E ₈ (q), and ² E ₆(q ²)), it is shown that if an Abelian subgroup contains a noncentral semisimple element, then its order is less than the order of an Abelian unipotent group. Hence in these groups the large Abelian subgroups are unipotent, and in order to find the value of a(G) for them, it is necessary to find the orders of the large unipotent Abelian subgroups. Thus it is proved that in a finite group of Lie type (except for ² F ₄(q))) any large Abelian subgroup is either a large unipotent or a large semisimple Abelian subgroup.     

Minimal Non-FO-Groups

A group G is said to be a “minimal non-FO-group” (an MNFO-group) if all its proper subgroups are FO-groups, but G itself is not. The aim of this article is to study the class of MNFO-groups. The structure of MNFO-groups is completely described, both in nonperfect case and perfect case.