The dimer problem for narrow rectangular arrays: A unified method of solution,and some extensions

In this paper we consider the dimer problem forM×N rectangular arrays, whereM andN are positive integers,M being small. A unified method for solving such problems is given, and is applied to the casesM=2 (the solution of which is already known (see [1, 4]) andM=3 which, it seems, has not previously been solved. The method is also applicable to a wider class of problems, and some examples of such applications are given. In theory it is always possible to obtain a closed solution to these problems in the form of rational generating functions. In practice this is feasible only for very small values ofM, but the methods described will enable numerical results for larger values ofM to be found by means of a computer program.     

A Note on the Infimum of Energy of Unit Vector Fields on a Compact Riemannian Manifold

Our main result in this paper establishes that if G is a compact Lie subgroup of the isometry group of a compact Riemannian manifold M acting with cohomogeneity one in M and either G has no singular orbits or the singular orbits of G have dimension at most n−3, then the unit vector field N orthogonal to the principal orbits of G is weakly smooth and is a critical point of the energy functional acting on the unit normal vector fields of M. A formula for the energy of N in terms of the of integral of the Ricci curvature of M and of the integral of the square of the mean curvature of the principal orbits of G is obtained as well. In the case that M is the sphere and G the orthogonal group it is known that that N is minimizer. It is an open question if N is a minimizer in general.     

Saturations of Submodules

Abstract

Let N be a submodule of a module M over a commutative ring R such that M/N is finitely generated. It is shown that a submodule of M is a prime submodule minimal over N if and only if it is the saturation of N + pM for certain prime ideal p of R. The bearing of this result upon the M-radical of N is discussed.     

On Fully Idempotent Modules

A submodule N of a module M is idempotent if N = Hom(M, N)N. The module M is fully idempotent if every submodule of M is idempotent. We prove that over a commutative ring, cyclic idempotent submodules of any module are direct summands. Counterexamples are given to show that this result is not true in general. It is shown that over commutative Noetherian rings, the fully idempotent modules are precisely the semisimple modules. We also show that the commutative rings over which every module is fully idempotent are exactly the semisimple rings. Idempotent submodules of free modules are characterized.     

Nonstandard models that are definable in models of Peano Arithmetic

In this paper, we investigate definable models of Peano Arithmetic PA in a model of PA. For any definable model N without parameters in a model M, we show that N is isomorphic to M if M is elementary extension of the standard model and N is elementarily equivalent to M. On the other hand, we show that there is a model M and a definable model N with parameters in M such that N is elementarily equivalent to M but N is not isomorphic to M. We also show that there is a model M and a definable model N with parameters in M such that N is elementarily equivalent to M, and N is isomorphic to M, but N is not definably isomorphic to M. And also, we give a generalization of Tennenbaum's theorem. At the end, we give a new method to construct a definable model by a refinement of Kotlarski's method. (© 2007 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

A strange example on Property Np

 We exhibit an example of a line bundle M on a smooth complex projective variety Y s.t. M satisfies Property N ₁₀ , the 10-module of a minimal resolution of the ideal of the embedding of Y by M is nonzero and M ² does not satisfy Property N ₁₀ . Thus this is a completely convincing example showing that surprisingly it is not true that if a line bundle M satisfies Property N _p then any power of M satisfies Property N _p . We recall that in [Ru] we proved the following statement: if M is a line bundle on a smooth complex projective variety and M satisfies Property N _p then M ^s satisfies Property N _p if s≥p. Received: 5 March 2001     

δ-M-Small and δ-Harada Modules

Let M be a right R-module and N ∈ σ[M]. A submodule K of N is called δ-M-small if, whenever N = K + X with N/X M-singular, we have N = X. N is called a δ-M-small module if N? K, K is δ-M-small in L for some K, L ∈ σ[M]. In this article, we prove that if M is a finitely generated self-projective generator in σ[M], then M is a Noetherian QF-module if and only if every module in σ[M] is a direct sum of a projective module in σ[M] and a δ-M-small module. As a generalization of a Harada module, a module M is called a δ-Harada module if every injective module in σ[M] is δ _M -lifting. Some properties of δ-Harada modules are investigated and a characterization of a Harada module is also obtained.     

On (Semi)Regular Morphisms

Let M and N be right R-modules. Hom(M, N) is called regular if for each f ∈ Hom(M, N), there exists g ∈ Hom(N, M) such that f = fgf. Let [M, N] = Hom _R (M, N). We prove that if M is finitely generated, then [M, N] is regular if and only if every homomorphism M → N is locally split. In this article, we also study the substructures of Hom(M, N) such as the Jacobson radical J[M, N], the singular ideal Δ[M, N], and the co-singular ideal ?[M, N]. We prove several new results. The question is to characterize when the Jacobson radical is equal to the singular ideal Δ[M, N] or the co-singular ideal ?[M, N] under injectivity and projectivity.     

On Isolated Submodules

Let R be a ring with identity and let M be a unital left R-module. A proper submodule L of M is radical if L is an intersection of prime submodules of M. Moreover, a submodule L of M is isolated if, for each proper submodule N of L, there exists a prime submodule K of M such that N ? K but L ? K. It is proved that every proper submodule of M is radical (and hence every submodule of M is isolated) if and only if N ∩ IM = IN for every submodule N of M and every (left primitive) ideal I of R. In case, R/P is an Artinian ring for every left primitive ideal P of R it is proved that a finitely generated submodule N of a nonzero left R-module M is isolated if and only if PN = N ∩ PM for every left primitive ideal P of R. If R is a commutative ring, then a finitely generated submodule N of a projective R-module M is isolated if and only if N is a direct summand of M.     

Can Montgomery parasites be avoided? A design methodology based on key and cryptosystem modifications

Montgomery's algorithm [8], hereafter denotedM _n(...,...), is a process for computingM _n (A, B)=ABN modn whereN is a constant factor depending only onn.Usually,A B modn is obtained byM _n (M _n (A, B),N ^–2 modn) but in this article, we introduce an alternative approach consisting in pre-integratingN into cryptographic keys so that a singleM _n(...,...) will replace directly each modular multiplication.Except the advantage of halving the number of Montgomery multiplications, our strategy skips the precalculation (and the storage) of the constantN ^–2 modn and turns to be particularly efficient when a hardware device implementingM _n(...,...) is the basic computational tool at one's command.     

Nonstationary weak limit of a stationary harmonic map sequence

Let M and N be two compact Riemannian manifolds. Let u_k be a sequence of stationary harmonic maps from M to N with bounded energies. We may assume that it converges weakly to a weakly harmonic map u in H^1,2 (M, N) as k → ∞. In this paper, we construct an example to show that the limit map u may not be stationary. © 2002 Wiley Periodicals, Inc.     

On N-Summations, I

This paper continues recent work on N-summations (see [8, 9, 12]). More specifically, it addresses the issue of existence of N-summations both for cone semirings and for prenormed semitopological semimodules. In the case of a cone semiring C we assume N-order completeness plus compatibility of N-joins with addition and multiplication to make the class of summarily bounded elements of C ^N into an N-summation for C. In the case of a prenormed semitopological semimodule M we use certain completeness properties of semitopologies on M to make the class of Cauchy elements of M ^N into an N-summation for M. Results on semitopologies and their connection with closure operators are contained in the Appendix.     

Large deviations and stochastic flows of diffeomorphisms

Summary Previous results in the theory of large deviations for additive functionals of a diffusion process on a compact manifold M are extended and then applied to the analysis of the Lyapunov exponents of a stochastic flow of diffeomorphisms of M. An approximation argument relates these results to the behavior near the diagonal Δ in M ² of the associated two point motion. Finally it is shown, under appropriate non-degeneracy conditions, that the two-point motion is ergodic on M ²-Δ if the top Lyapunov exponent is positive. At the period when this research was initiated, both authors where guests of the I.M.A. in Minneapolis. The first author was at Aberdeen University, Scotland when this article was prepared. Throughout the period of this research, the second author has been partially supported by N.S.F. grant DMS-8611487 and ARO grant DAAL03-86-K-171     

Invariance of the Nayatani metrics for Kleinian manifolds

The Nayatani metric g _N is a Riemannian metric on a Kleinian manifold M which is compatible with the standard flat conformal structure. It is known that, for M corresponding to a geometrically finite Kleinian group, g _N has large symmetry: the isometry group of (M, g _N ) coincides with the conformal transformation group of M. In this paper, we prove that this holds for a larger class of M. In particular, this class contains such M that correspond to Kleinian groups of divergence type.      

Soc-Injective Rings and Modules*

If M and N are right R-modules, M is called Socle-N-injective (Soc-N-injective) if every R-homomorphism from the socle of N into M extends to N. Equivalently, for every semisimple submodule K of N, any R-homomorphism f : K → M extends to N. In this article, we investigate the notion of soc-injectivity.     

Uniqueness Theorems for CR Functions

Let M be a CR manifold embedded in ?^s of arbitrary codimension. M is called generic if the complex hull of the tangent space in all points of M is the whole ?^s. M is minimal (in sense of Tumanov) in p ? M if there does not exist any CR submanifold of M passing through p with the same CR dimension as M but of smaller dimension. Let M be generic and minimal in some point p ? M and N be a generic submanifold of M passing through p. We prove that a continuous CR function on M vanishes identically in some neigbourhood of p if its restriction to N either vanishes in p faster then some function with non-integrable logarithm or it vanishes on a subset of N of positive measure.     

The rational loewy series and nilpotent ideals of endomorphism rings

Sufficient conditions are given, in module-theoretic terms, for the idealN(S) of the endomorphism ringS of a moduleM consisting of the endomorphisms with essential kernel to be nilpotent. This extends in a natural way several known results on the nilpotency ofN(S). WhenM is a quasi-injective module such thatS is right noetherian, it is shown thatS is right artinian if and only ifM has a finite rational Loewy series whose length is, in this case, equal to the index of nilpotency ofN(S). The author has been partially supported by the CAICYT.     

Pairs of II1 factors

A class of objects—that are best described as being actions ofgroup-like objects of von Neumann algebras—is axiomatised and it is shown that there exists a bijective correspondence between isomorphism classes of suchcovariant systems and isomorphism classes of pairs of II₁ factors (M, N) satisfyingN⊂M, [M:N]<∞ andM∮N′=C.     

Weierstrass points on X 0(p ℓ) and arithmetic properties of Fourier coefficients of cusp forms

Generally it is unknown, whether or not ∞ is a Weierstrass point on the modular curve X ₀(N) if N is squarefree. A classical result of Atkin and Ogg states that ∞ is not a Weierstrass point on X ₀(N), if N=pM with p prime, p ∤ M and the genus of X ₀(M) zero. We use results of Kohnen and Weissauer to show that there is a connection between this question and the p-adic valuation of cusp forms under the Atkin–Lehner involution. This gives, in a sense, a generalization of Ogg’s Theorem in some cases.      

On dual of square free modules

A module M is said to be square free if whenever its submodule is isomorphic to N² = N⊕N for some module N, then N = 0. Dually, a module M is said to be d-square free (dual square free) if whenever its factor module is isomorphic to N² for some module N, then N = 0. In this paper, we give some fundamental properties of d-square free modules and study rings whose d-square free modules are closed under submodules or essential extensions.