The p-adic Approach to Wolstenholme's Theorem

The p-adic Approach to Wolstenholme's Theorem@孙琦@洪绍方&&     

Universally bad integers and the 2-adics

In his 1964 paper, de Bruijn (Math. Comp. 18 (1964) 537) called a pair (a,b) of positive odd integers good, if , where is the set of nonnegative integers whose 4-adic expansion has only 0's and 1's, otherwise he called the pair (a,b) bad. Using the 2-adic integers we obtain a characterization of all bad pairs. A positive odd integer u is universally bad if (ua,b) is bad for all pairs of positive odd integers a and b. De Bruijn showed that all positive integers of the form u=2^k+1 are universally bad. We apply our characterization of bad pairs to give another proof of this result of de Bruijn, and to show that all integers of the form u=φ_p^k(4) are universally bad, where p is prime and φ_n(x) is the nth cyclotomic polynomial. We consider a new class of integers we call de Bruijn universally bad integers and obtain a characterization of such positive integers. We apply this characterization to show that the universally bad integers u=φ_p^k(4) are in fact de Bruijn universally bad for all primes p>2. Furthermore, we show that the universally bad integers φ_2^k(4), and more generally, those of the form 4^k+1, are not de Bruijn universally bad.     

Butler Modules Over Prüfer Domains

If R is an integral domain, let  be the class of torsion free completely decomposable R-modules of finite rank. Denote by  the class of those torsion-free R-modules A such that A is a homomorphic image of some C ? , and let 𝒫 be the class of R-modules K such that K is a pure submodule of some C ? . Further, let Q  and Q 𝒫 be the respective closures of  and 𝒫 under quasi-isomorphism. In this article, it is shown that if R is a Prüfer domain, then Q  = Q 𝒫, and  = 𝒫 in the special case when R is h-local. Also, if R is an h-local Prüfer domain and if C ?  has a linearly ordered typeset, it is established that all pure submodules and all torsion-free homomorphic images of C are themselves completely decomposable. Finally, as an application of these results, we prove that if R is an h-local Prüfer domain, then  = Q  = Q 𝒫 = 𝒫 if and only if R is almost maximal.     

A generalization of the Lee distance and error correcting codes

In this contribution, we will define an l-dimensional Lee distance which is a generalization of the Lee distance defined only over a prime field, and we will construct 2-error correcting codes for this distance. Our l-dimensional Lee distance can be defined not only over a prime field but also over any finite field. The ordinary Lee distance is just the one-dimensional Lee distance. Also the Mannheim or modular distances introduced by Huber are special cases of our distance.     

Group Extensions and Hall Polynomials

In this paper, we give two proofs of a formula containing the numbers of automorphisms of an Abelian group, of its subgroups, and of its quotient groups. The first proof is based on the use of the theory of Hall polynomials, while the second one uses extension theory for Abelian groups.__________Translated from Matematicheskie Zametki, vol. 78, no. 2, 2005, pp. 180–185.Original Russian Text Copyright © 2005 by G. V. Voskresenskaya.     

On Hilbert modules over locally <Emphasis Type="Italic">C</Emphasis>*-algebras II

Summary In this paper we study the unitary equivalence between Hilbert modules over a locally <InlineEquation ID=IE"1"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"2"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"3"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"4"><EquationSource Format="TEX"><![CDATA[<InlineEquation ID=IE"5"><EquationSource Format="TEX"><![CDATA[$]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>]]></EquationSource></InlineEquation>C^{*}$-algebra. Also, we prove a stabilization theorem for countably generated modules over an arbitrary locally $C^{*}$-algebra and show that a Hilbert module over a Fr\'{e}chet locally $C^{*}$-algebra is countably generated if and only if the locally $C^{*}$-algebra of all ``compact' operators has an approximate unit.     

Dynamics of Triangular Transformations of Sequences over Finite Alphabets

Mathematical Notes -     

Forcing Linearity Numbers for Modules over PID's

Let V be a module over a principal ideal domain. Then V = M N where M is divisible and N has no nonzero divisible submodules. In this paper we determine the forcing linearity number for V when N is a direct sum of cyclic modules. As a consequence, the forcing linearity numbers of several classes of Abelian groups are obtained.     

具有四项的指数丢番图方程(Ⅱ)

本文中，我们给出了丢番图方程的解ｘ，ｙ，ｚ，ｗ的上界，其中ｐ，ｑ是给定的互素的正整数，ａ，ｂ，ｃ，ｄ是给定的适合ａｂｅｄ≠０的整数，此外，我们将指出在具体情形下如何把上界降低到方程允许的实际的解．最后，我们将用这个方法来解方程１９．５ｘ·１７ｙ＝１２．５ｚ＋４１．１７ｗ＋１４， ５． ３ｘ· １３ｙ ＋ ２０＝ ７． ３ｚ ＋ １４． １３ｗ和 １３· ２ｘ＋ ５· ３ｙ＝ ２５． ２ｚ＋ １１． ３ｗ．     

On Modules with Few Minimax Cocentralizers

Let R be a ring and G a group. An R-module A is said to be minimax if A includes a noetherian submodule B such that A/B is artinian. The authors study a ?G-module A such that A/C _A (H) is minimax (as a ?-module) for every proper not finitely generated subgroup H.