Let R be a commutative ring with identity and let M be a torsion free R-module. Several characterizations of distributive modules are investigated. Indeed, among other equivalent conditions, we prove that M is distributive if and only if any primal submodule of M is irreducible, and, if and only if each submodule of M can be represented as an intersection of irreducible isolated components. MSC...

Assume that G is a group of fractions of a cancellative monoid where lower common multiples exist and divisibility has no infinite descending chain. Then G is torsion free. The result applies in particular to all finite Coxeter type Artin groups. Finding an elementary proof for the fact that Artin’s braid groups are torsion free has been reported to be a longstanding open question [9]. The exis...

There exist infinite, finitely presented, torsion-free groups G such that Aut(G) and Out(G) are torsion-free but G has an automorphism sending some non-trivial element to its inverse.

In this article, we formalize a torsion Z-module and a torsionfree Z-module. Especially, we prove formally that finitely generated torsion-free Z-modules are finite rank free. We also formalize properties related to rank of finite rank free Z-modules. The notion of Z-module is necessary for solving lattice problems, LLL (Lenstra, Lenstra, and Lovász) base reduction algorithm [20], cryptographic...

We prove that the generic type of a non-cyclic torsion-free hyperbolic group G is foreign to any interpretable abelian group, hence also to any interpretable field. This result depends, among other things, on the definable simplicity of a non-cyclic torsion-free hyperbolic group, and we take the opportunity to give a proof of the latter using Sela’s description of imaginaries in torsion-free hy...

A language is torsion (resp. bounded torsion, aperiodic, bounded aperiodic) if its syntactic monoid is torsion (resp. bounded torsion, aperiodic, bounded aperiodic). We generalize the regular language theorems of Kleene, Sch utzenberger and Straubing to describe the classes of torsion, bounded torsion, aperiodic and bounded aperiodic languages. These descriptions involve taking limits of sequen...

We provide a solution to the isomorphism problem for torsion-free relatively hyperbolic groups with abelian parabolics. As special cases we recover solutions to the isomorphism problem for: (i) torsion-free hyperbolic groups (Sela, [60] and unpublished); and (ii) finitely generated fully residually free groups (Bumagin, Kharlampovich and Miasnikov [14]). We also give a solution to the homeomorp...

background & aim: ovarian torsion is one of the most common causes of emergency surgery in gynecology, with a tendency to occur in postmenopausal women. the aim of this study was to provide information concerning the clinical presentations, surgical management, pathological findings and risk of malignancy in postmenopausal women with ovarian torsion. methods:in this cross-sectional study, the r...

Problem statement: Algebraic K-theory of projective modules over commutative rings were introduced by Bass and central simple superalgebras, supercommutative super-rings were introduced by many researchers such as Knus, Racine and Zelmanov. In this research, we classified the projective supermodules over (torsion free) supercommutative super-rings and through out this study we forced our selves...

The isomorphism problem for group algebras over a field with arbitrary characteristic of some special classes of torsion-free non-abelian groups is explored. Specifically, the following are proved: Suppose F is a field and G is a torsion-free group with centre C(G) such that FG ∼= FH as F -algebras for any group H . Then it is shown that H is torsion-free (provided that FG is without zero divis...