On quasiresolvent periodic abelian groups

This is a continuation of [1]. We introduce the concept of a primarily quasiresolvent periodic abelian group and describe primarily quasiresolvent and 1-quasiresolvent periodic abelian groups. We construct an example of a quasiresolvent but not primarily quasiresolvent periodic abelian group. For a direct sum of primary cyclic groups we obtain criteria for a group to be quasiresolvent, 1-quasiresolvent, and resolvent, and establish relations among them. We construct a set S of primes such that the direct sum of some cyclic groups of orders p ∈ S is not a quasiresolvent group.     

Visibility of Shafarevich-Tate Groups of Abelian Varieties

We investigate Mazur's notion of visibility of elements of Shafarevich-Tate groups of abelian varieties. We give a proof that every cohomology class is visible in a suitable abelian variety, discuss the visibility dimension, and describe a construction of visible elements of certain Shafarevich-Tate groups. This construction can be used to give some of the first evidence for the Birch and Swinnerton-Dyer conjecture for abelian varieties of large dimension. We then give examples of visible and invisible Shafarevich-Tate groups.     

Algebraic games—playing with groups and rings

Two players alternate moves in the following impartial combinatorial game: Given a finitely generated abelian group A, a move consists of picking some \(0 \ne a \in A\). The game then continues with the quotient group \(A/\langle a \rangle \). We prove that under the normal play rule, the second player has a winning strategy if and only if A is a square, i.e. \(A \cong B \times B\) for some abelian group B. Under the misère play rule, only minor modifications concerning elementary abelian groups are necessary to describe the winning situations. We also compute the nimbers, i.e. Sprague–Grundy values of 2-generated abelian groups. An analogous game can be played with arbitrary algebraic structures. We study some examples of non-abelian groups and commutative rings such as R[X], where R is a principal ideal domain.     

Endomorphism Rings of Faithfully Flat Abelian Groups

We discuss faithfully flat abelian groups in conjunction with the following: A class C of abelian groups with full A-socle is A-balanced closed if it is closed with respect to finite direct sums and subgroups with full A-socle, ker ? ε C for all ? ε Horn (G, H) and G, H ε C, and A is projective with respect to all exact sequences of elements of C. A self-small group A admits an A-balanced closed class C which contains ⊕_IA for all index-sets I exactly if it is faithfully flat as an E(A)-module. We show that Corner's as well as Dugas' and Göbel's realization theorems yield abelian groups that are faithfully flat as E(A)-modules. Several applications of these results are given, some of which yield an answer to part a of Fuchs' Problem 84 and a partial respond to part c of the same problem.     

Torsion-free constructive nilpotent <Emphasis Type="Italic">R</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-groups

We consider a torsion-free nilpotent R _p -group, the p-rank of whose quotient by the commutant is equal to 1 and either the rank of the center by the commutant is infinite or the rank of the group by the commutant is finite. We prove that the group is constructivizable if and only if it is isomorphic to the central extension of some divisible torsion-free constructive abelian group by some torsion-free constructive abelian R _p -group with a computably enumerable basis and a computable system of commutators. We obtain similar criteria for groups of that type as well as divisible groups to be positively defined. We also obtain sufficient conditions for the constructivizability of positively defined groups.     

Characterization of completely decomposable quotient divisible abelian groups by their endomorphism semigroups

We study abelian groups in the class of completely decomposable quotient divisible abelian groups which are determined in this class by their endomorphism semigroups.     

On Purity and Quasiequality of Abelian Groups

We study the Cohn purity in an abelian group regarded as a left module over its endomorphism ring. We prove that if a finite rank torsion-free abelian group G is quasiequal to a direct sum in which all summands are purely simple modules over their endomorphism rings then the module _E(G) G is purely semisimple. This theorem makes it possible to construct abelian groups of any finite rank which are purely semisimple over their endomorphism rings and it reduces the problem of endopure semisimplicity of abelian groups to the same problem in the class of strongly indecomposable abelian groups.     

On quasihomomorphisms with noncommutative targets

We describe structure of quasihomomorphisms from arbitrary groups to discrete groups. We show that all quasihomomorphisms are “constructible”, i.e., are obtained via certain natural operations from homomorphisms to some groups and quasihomomorphisms to abelian groups. We illustrate this theorem by describing quasihomomorphisms to certain classes of groups. For instance, every unbounded quasihomomorphism to a torsion-free hyperbolic group H is either a homomorphism to a subgroup of H or is a quasihomomorphism to an infinite cyclic subgroup of H.     

Homology groups of semicubical sets

We study the homology groups of semicubical sets with coefficients in the homological systems of abelian groups. The main theorem states that the groups under consideration are isomorphic to the homology groups of the category of singular cubes. This yields an isomorphism criterion for the homology groups of semicubical sets, the spectral sequence of a locally directed covering, and the spectral sequence of a morphism of semicubical sets.     

On invertible terraces for non‐abelian groups

We give several constructions for invertible terraces and invertible directed terraces. These enable us to give the first known infinite families of invertible terrraces, both directed and undirected, for non‐abelian groups. In particular, we show that all generalized dicyclic groups of orders 24k + 4 and 24k + 20 have an invertible directed terrace and that all groups of the form A × G have an invertible terrace, where A is an (possibly trivial) abelian group of odd order and G is any one of: (i) a generalized dihedral group of order 12k + 2 or 12k + 10; (ii) a generalized dicyclic group of order 24k + 4 or 24k + 20; (iii) a non‐abelian group of order n with 10 ≤ n ≤ 21; (iv) a non‐abelian binary group of order n with 24 ≤ n ≤ 42. © 2006 Wiley Periodicals, Inc. J Combin Designs 15: 437–447, 2007     

Characterizing subgroups of compact abelian groups

We prove that every countable subgroup of a compact metrizable abelian group has a characterizing set. As an application, we answer several questions on maximally almost periodic (MAP) groups and give a characterization of the class of (necessarily MAP) abelian topological groups whose Bohr topology has countable pseudocharacter.     

The lattice of fully invariant subgroups of a reduced cotorsion group

We consider some problems of the theory of abelian groups; the term ??group?? always means an additively written abelian group.     

Abelian Groups With Sufficiently <Emphasis Type="Italic">π</Emphasis>-Regular Endomorphism Ring

The notion of π-regular endomorphism ring of an abelian group, which generalizes the notion of regular endomorphism ring, was introduced in papers of L. Fuchs and K. Rangaswamy. They described periodic abelian groups with π-regular endomorphism ring and found necessary conditions for an abelian group to have π-regular endomorphism ring. In this paper, we study abelian groups with sufficiently π-regular endomorphism ring, which form a subclass of the class of abelian groups with π-regular endomorphism ring, and find necessary and sufficient conditions for an abelian group to have sufficiently π-regular endomorphism ring.     

On Holographic Structures

We introduce and study the class of holographic models which can be defined by copying of some of its finite parts by means of automorphisms. We prove this class to differ from the class of countably categorical models. Characterizations of the classes of holographic Boolean algebras, abelian groups, linear orderings, fields, and equivalences are given.

     

Strict radicals and endomorphism rings

We consider the determination of ring radicals by classes of modules as first discussed by Andrunakievich and Ryabukhin, but in cases where the modules concerned are defined by additive properties. Such a radical is the upper radical defined by the class of subrings of a class of endomorphism rings of abelian groups and is therefore strict. Not every strict radical is of this type, and while the A-radicals are of this type, there are others, including some special radicals. These investigations bring radical theory into contact with (at least) two questions from other parts of algebra. Which rings are endomorphism rings? For a given ring R, which abelian groups are non-trivial R-modules?     

Large abelian normal subgroups

In this paper we study the family of finite groups with the property that every maximal abelian normal subgroup is self-centralizing. It is well known that this family contains all finite supersolvable groups, but it also contains many other groups. In fact, every finite group G is a subgroup of some member \(\Gamma \) of this family, and we show that if G is solvable, then \(\Gamma \) can be chosen so that every abelian normal subgroup of G is contained in some self-centralizing abelian normal subgroup of \(\Gamma \).     

On constructive nilpotent groups

We prove the following: (1) a torsion-free class 2 nilpotent group is constructivizable if and only if it is isomorphic to the extension of some constructive abelian group included in the center of the group by some constructive torsion-free abelian group and some recursive system of factors; (2) a constructivizable torsion-free class 2 nilpotent group whose commutant has finite rank is orderably constructivizable.     

Constructions for Terraces and R‐Sequencings,Including a Proof That Bailey's Conjecture Holds for Abelian Groups

Every abelian group of even order with a noncyclic Sylow 2‐subgroup is known to be R‐sequenceable except possibly when the Sylow 2‐subgroup has order 8. We construct an R‐sequencing for many groups with elementary abelian Sylow 2‐subgroups of order 8 and use this to show that all such groups of order other than 8 also have terraces. This completes the proof of Bailey's Conjecture in the abelian case: all abelian groups other than the noncyclic elementary abelian 2‐groups have terraces. For odd orders it is known that abelian groups are R‐sequenceable except possibly those with noncyclic Sylow 3‐subgroups. We show how the theory of narcissistic terraces can be exploited to find R‐sequencings for many such groups, including infinitely many groups with each possible of Sylow 3‐subgroup type of exponent at most 3¹² and all groups whose Sylow 3‐subgroups are of the form or .     

Approximating absolute Galois groups

In this paper we identify a class of profinite groups (totally torsion free groups) that includes all separable Galois groups of fields containing an algebraically closed subfield, and demonstrate that it can be realized as an inverse limit of torsion free virtually finitely generated abelian (tfvfga) profinite groups. We show by examples that the condition is quite restrictive. In particular, semidirect products of torsion free abelian groups are rarely totally torsion free. The result is of importance for K-theoretic applications, since descent problems for tfvfga groups are relatively manageable.