Intersections of Magnus subgroups and embedding theorems for cyclically presented groups

It is now known that the intersection of two Magnus subgroups M_i=〈Y_i〉 (1≤i≤2) in a one-relator group is either the free group F on Y₁∩Y₂ or the free product of F together with an infinite cyclic group (so-called exceptional intersection). Using this, we give conditions under which two embedding theorems for cyclically presented groups can be obtained. This provides a new method for proving such groups infinite. We also give a combinatorial method for checking the presence of exceptional intersections.     

Two criteria to check whether ideals are direct sums of cyclically presented modules

A famous theorem of commutative algebra due to I. M. Isaacs states that “if every prime ideal of R is principal, then every ideal of R is principal”. Therefore, a natural question of this sort is “whether the same is true if one weakens this condition and studies rings in which ideals are direct sums of cyclically presented modules?” The goal of this paper is to answer this question in the case R is a commutative local ring. We obtain an analogue of Isaacs's theorem. In fact, we give two criteria to check whether every ideal of a commutative local ring R is a direct sum of cyclically presented modules, it suffices to test only the prime ideals or structure of the maximal ideal of R. As a consequence, we obtain: if R is a commutative local ring such that every prime ideal of R is a direct sum of cyclically presented R-modules, then R is a Noetherian ring. Finally, we describe the ideal structure of commutative local rings in which every ideal of R is a direct sum of cyclically presented R-modules.     

Weakly isomorphic transformations that are not isomorphic

Summary A new method for construction of transformations T _i: (X _i, B _i, _i) , i=1,2, that are factors of each other but that are not measuretheoretically isomorphic is provided. This method uses ergodic product cocycles of the form S ⁱ ₁xS ⁱ ₂x...,, where : XZ ₂ is a cocycle, S belongs to the centralizer of T and T is an ergodic translation on a compact, monothetic group X.     

On half cyclically ordered groups

In this paper we introduce and investigate the notion of half cyclically ordered group generalizing the notion of half partially ordered group whose study was begun by Giraudet and Lucas.     

Primary Abelian groups with isomorphic endomorphism groups

A complete answer is given to the question, does isomorphism of the endomorphism groups of primary Abelian groups imply isomorphism of the groups themselves ? It is presumed that the generalized continuum hypothesis is valid.     

The equivariant Brauer groups of commuting free and proper actions are isomorphic

If is a locally compact space which admits commuting free and proper actions of locally compact groups and , then the Brauer groups and are naturally isomorphic.

     

On groups with isomorphic holomorphs

Groups with isomorphic holomorphs are said to be holomorphically isomorphic. The following problems are treated.

1. What Abelian groups have the property that their holomorphic isomorphism implies the isomorphism of the groups themselves?
2. Does holomorphic isomorphism of two groups, one of which is Abelian, imply the commutativity of the other group?

Classes of groups are selected for which the answers to these questions are positive.     

Finite graphs of groups with isomorphic fundamental groups

Translated from Algebra i Logika, Vol. 30, No. 5, pp. 595–623, September–October, 1991.     

Arithmetic groups with isomorphic finite quotients

Two finitely generated groups have the same set of finite quotients if and only if their profinite completions are isomorphic. Consider the map which sends (the isomorphism class of) an S-arithmetic group to (the isomorphism class of) its profinite completion. We show that for a wide class of S-arithmetic groups, this map is finite to one, while the fibers are of unbounded size.     

First order theory of cyclically ordered groups

By a result known as Rieger's theorem (1956), there is a one-to-one correspondence, assigning to each cyclically ordered group H a pair $(G,z)$ where G is a totally ordered group and z is an element in the center of G, generating a cofinal subgroup $〈z〉$ of G, and such that the cyclically ordered quotient group $G/〈z〉$ is isomorphic to H. We first establish that, in this correspondence, the first-order theory of the cyclically ordered group H is uniquely determined by the first-order theory of the pair $(G,z)$. Then we prove that the class of cyclically orderable groups is an elementary class and give an axiom system for it. Finally we show that, in contrast to the fact that all theories of totally ordered Abelian groups have the same universal part, there are uncountably many universal theories of Abelian cyclically ordered groups.