An approximate numerical mthod is presented for analysis and determination of modal characteristics in straight, pretwisted non-unifom helicopter blades. The analysis considers the coupled flapwise bending (out of plane), chordwise bending (in plane), and torsion vibration of both rotating and non-rotating blades. The proposed method is based on the integral expansion of Green functions (struct...

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 show that the Lie’s Theorem holds for Lie color algebras with a torsion-free abelian group G. We give an example to show that the torsion-free condition is necessary.

There is a great deal of literature on periodic rings, respectively, torsion-free rings (especially of rank two). The aim of this paper is to provide a link between these two topics. All groups considered here are Abelian, with addition as the group operation. By order of an element we always mean the additive order of this element. All rings are associative but not necessarily with identity. T...

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...