scholarly journals A Note on the Square Subgroups of Decomposable Torsion-Free Abelian Groups of Rank Three

2018 ◽  
Vol 32 (1) ◽  
pp. 319-331
Author(s):  
Mateusz Woronowicz

Abstract A hypothesis stated in [16] is confirmed for the case of associative rings. The answers to some questions posed in the mentioned paper are also given. The square subgroup of a completely decomposable torsion-free abelian group is described (in both cases of associative and general rings). It is shown that for any such a group A, the quotient group modulo the square subgroup of A is a nil-group. Some results listed in [16] are generalized and corrected. Moreover, it is proved that for a given abelian group A, the square subgroup of A considered in the class of associative rings, is a characteristic subgroup of A.

2016 ◽  
Vol 94 (3) ◽  
pp. 449-456 ◽  
Author(s):  
R. R. ANDRUSZKIEWICZ ◽  
M. WORONOWICZ

The first example of a torsion-free abelian group $(A,+,0)$ such that the quotient group of $A$ modulo the square subgroup is not a nil-group is indicated (for both associative and general rings). In particular, the answer to the question posed by Stratton and Webb [‘Abelian groups, nil modulo a subgroup, need not have nil quotient group’, Publ. Math. Debrecen27 (1980), 127–130] is given for torsion-free groups. A new method of constructing indecomposable nil-groups of any rank from $2$ to $2^{\aleph _{0}}$ is presented. Ring multiplications on $p$-pure subgroups of the additive group of the ring of $p$-adic integers are investigated using only elementary methods.


Author(s):  
Oteo Mutzbauer

AbstractA composition sequence for a torsion-free abelian group A is an increasing sequenceof pure subgroups with rank 1 quotients and union A. Properties of A can be described by the sequence of types of these quotients. For example, if A is uniform, that is all the types in some sequence are equal, then A is complete decomposable if it is homogeneous. If A has finite rank and all permutations ofone of its type sequences can be realized, then A is quasi-isomorphic to a direct sum of uniform groups.


2018 ◽  
Vol 18 (01) ◽  
pp. 1850002
Author(s):  
Alexander G. Melnikov

We prove that for any computable successor ordinal of the form [Formula: see text] [Formula: see text] limit and [Formula: see text] there exists computable torsion-free abelian group [Formula: see text]TFAG[Formula: see text] that is relatively [Formula: see text] -categorical and not [Formula: see text] -categorical. Equivalently, for any such [Formula: see text] there exists a computable TFAG whose initial segments are uniformly described by [Formula: see text] infinitary computable formulae up to automorphism (i.e. it has a c.e. uniformly [Formula: see text]-Scott family), and there is no syntactically simpler (c.e.) family of formulae that would capture these orbits. As far as we know, the problem of finding such optimal examples of (relatively) [Formula: see text]-categorical TFAGs for arbitrarily large [Formula: see text] was first raised by Goncharov at least 10 years ago, but it has resisted solution (see e.g. Problem 7.1 in survey [Computable abelian groups, Bull. Symbolic Logic 20(3) (2014) 315–356]). As a byproduct of the proof, we introduce an effective functor that transforms a [Formula: see text]-computable worthy labeled tree (to be defined) into a computable TFAG. We expect that this technical result will find further applications not necessarily related to categoricity questions.


1989 ◽  
Vol 39 (1) ◽  
pp. 21-24 ◽  
Author(s):  
H.P. Goeters ◽  
C. Vinsonhaler ◽  
W. Wickless

Let G be a torsion-free abelian group of finite rank n and let F be a full free subgroup of G. Then G/F is isomorphic to T1 ⊕ … ⊕ Tn, where T1 ⊆ T2 ⊆ … ⊆ Tn ⊆ ℚ/ℤ. It is well known that type T1 = inner type G and type Tn = outer type G. In this note we give two characterisations of type Ti for 1 < i < n.


2011 ◽  
Vol 21 (08) ◽  
pp. 1463-1472 ◽  
Author(s):  
GÁBOR BRAUN ◽  
LUTZ STRÜNGMANN

In [Todor Tsankov, The additive group of the rationals does not have an automatic presentation, May 2009, arXiv:0905.1505v1], it was shown that the group of rational numbers is not FA-presentable, i.e. it does not admit a presentation by a finite automaton. More generally, any torsion-free abelian group that is divisible by infinitely many primes is not of this kind. In this article we extend the result from [13] and prove that any torsion-free FA-presentable abelian group G is an extension of a finite rank free group by a finite direct sum of Prüfer groups ℤ(p∞).


2012 ◽  
Vol 77 (4) ◽  
pp. 1067-1100 ◽  
Author(s):  
Brooke M. Andersen ◽  
Asher M. Kach ◽  
Alexander G. Melnikov ◽  
Reed Solomon

AbstractWe show, for each computable ordinal α and degree a > 0(α), the existence of a torsion-free abelian group with proper αth jump degree a.


2000 ◽  
Vol 20 (4) ◽  
pp. 1111-1125 ◽  
Author(s):  
VALENTIN YA. GOLODETS ◽  
SERGEY V. NESHVEYEV

We compute dynamical entropy in Connes, Narnhofer and Thirring sense for a Bogoliubov action of a torsion-free abelian group $G$ on the CAR-algebra. A formula analogous to that found by Størmer and Voiculescu in the case $G={\Bbb Z}$ is obtained. The singular part of a unitary representation of $G$ is shown to give zero contribution to the entropy. A proof of these results requires new arguments since a torsion-free group may have no finite index proper subgroups. Our approach allows us to overcome these difficulties, it differs from that of Størmer–Voiculescu.


1996 ◽  
Vol 48 (5) ◽  
pp. 918-929 ◽  
Author(s):  
K. Benabdallah ◽  
M. A. Ouldbeddi

AbstractLet A be a torsion free abelian group. We say that a group K is a finite essential extension of A if K contains an essential subgroup of finite index which is isomorphic to A. Such K admits a representation as (A ℤ xkx)/ℤky where y = Nx + a for some k x k matrix N over Z and α ∈ Ak satisfying certain conditions of relative primeness and ℤk = {(α1,..., αk) : αi, ∈ ℤ}. The concept of absolute width of an f.e.e. K of A is defined and it is shown to be strictly smaller than the rank of A. A kind of basis substitution with respect to Smith diagonal matrices is shown to hold for homogeneous completely decomposable groups. This result together with general properties of our representations are used to provide a self contained proof that acd groups with two critical types are direct sum of groups of rank one and two.


1969 ◽  
Vol 12 (4) ◽  
pp. 475-478 ◽  
Author(s):  
J. D. Tarwater ◽  
R. C. Entringer

The number of elements in the sum A + B of two complexes A and B of a group G which have multiple representations a + b = a '+ b' has been investigated by Scherk and Kemperman [1]. Kemperman [2] appealed to transfinite techniques (to order G) to prove:If G is a torsion-free abelian group with finite subsets A and B with | B | ≥ 2, then at least two elements c of A + B admit exactly one representation c = a + b.


Sign in / Sign up

Export Citation Format

Share Document