On the endomorphism ring of a module noetherian with respect to a torsion theory

IfM is a module torsionfree and noetherian with respect to a torsion theory, ifS is the endomorphism ring ofM, and ifL(S) is the ideal ofS consisting of all endomorphisms with large kernels, thenL(S) is nilpotent and a bound on the index of nilpotency ofL(S) is given.     

Counterexamples to the Kneser conjecture in dimension four

We construct a connected closed orientable smooth four-manifold whose fundamental group is the free product of two non-trivial groups such that it is not homotopy equivalent toM ₀#M ₁ unlessM ₀ orM ₁ is homeomorphic toS ⁴. LetN be the nucleus of the minimal elliptic Enrique surfaceV ₁(2, 2) and putM=N∪ _∂NN. The fundamental group ofM splits as ℤ/2 * ℤ/2. We prove thatM#k(S ²×S²) is diffeomorphic toM ₀#M ₁ for non-simply connected closed smooth four-manifoldsM ₀ andM ₁ if and only ifk≥8. On the other hand we show thatM is homeomorphic toM ₀#M ₁ for closed topological four-manifoldsM ₀ andM ₁ withπ ₁(M_i)=ℤ/2.     

On Subgroups Generated by Small Classes in Finite Groups

Let G be a finite group and M(G) be the subgroup of G generated by all noncentral elements of G that lie in the conjugacy classes of the smallest size. Recently several results have been proved regarding the nilpotency class of M(G) and F(M(G)), where F(M(G)) denotes the Fitting subgroup of M(G). We prove some conditional results regarding the nilpotency class of M(G).     

On right congruences associated with the input semigroupS of automata

LetA=(M, S, δ) be an automaton without outputs whereM is a nonemptyset andS is a nonempty semigroup. Then the right congruences μM and μ _m associated withS have been expressed in many different ways (μ _M is called the Myhill-Nerode congruence onS). Also, their algebraic properties have been investigated. We have introduced the right congruences μ _S and μ_α onM and we have obtained necessary and sufficient conditions thatS/μ andM/w have nontrivialS-homomorphisms where μ andw are any right congruences onS andM respectively. The faithfulness ofS has been introduced.     

ON STABLE LINE SEGMENTS IN ALL TRIANGULATIONS OF A PLANAR POINT SET

Abstract. Let S be a set of finite plauar points. A llne segment L(p, q) with p, q E Sis called a stable line segment of S, if there is no Line segment with two endpoints in S intersecting L(p, q). In this paper, some geometric properties of the set of all stable line segments     

Sets with a mode

LetM be a point andS be a compact set inR ² such thatS is the closure of its interior. The theorem desired says that ifM is a mode ofS thenS is convex and centrally symmetric with respect toM. Some conditions on the boundary ofS are needed for the proof given.     

Extensions for Sobolev mappings between manifolds

We consider two compact Riemannian manifoldsM andN, such thatM has a boundary (but notN). We address the extension problem in the Sobolev class, namely, we investigate the question: foru W ^1–1/p,pM,N is there a mapV inW ^1/p(M,N) such thatV=u on M. Various results are given, and an emphasis is put on the special (simple) caseN=S ¹.     

The Nilpotency Properties of the Leibniz Algebra Mn(C)D

We study the nilpotency properties of the Leibniz algebras constructed by means of D-mappings on the algebra of complex square matrices M _n (C). In particular, we obtain a criterion for nilpotency of these algebras in terms of the properties of a D-mapping. We prove also that the Leibniz algebras under consideration cannot be simple.     

Minimal Extensions in Tensor Product Spaces

LetX,Ybe two separable Banach spaces and letVXandWYbe finite dimensional subspaces. Suppose thatVSX,WZYand letM (S, V),N (Z, W). We will prove that ifαis a reasonable, uniform crossnorm onXYthenλ_MN(V_αW,X_αY)=λ_M(V, X) λ_N(W, Y).Here for any Banach spaceX,VSXandM (S, V)

Full-size image

Also some applications of the above mentioned result will be presented.     

On the complexity of testing membership in the core of min-cost spanning tree games

LetN = {1,...,n} be a finite set of players andK _N the complete graph on the node setN∪{0}. Assume that the edges ofK _N have nonnegative weights and associate with each coalitionS∪N of players as costc(S) the weight of a minimal spanning tree on the node setS∪{0}. Using transformation from EXACT COVER BY 3-SETS, we exhibit the following problem to beNP-complete. Given the vectorxε?^itN withx(N) =c(N). decide whether there exists a coalitionS such thatx(S) >c(S).     

T-Semisimple Modules and T-Semisimple Rings

We define and investigate t-semisimple modules as a generalization of semisimple modules. A module M is called t-semisimple if every submodule N contains a direct summand K of M such that K is t-essential in N. T-semisimple modules are Morita invariant and they form a strict subclass of t-extending modules. Many equivalent conditions for a module M to be t-semisimple are found. Accordingly, M is t-semisiple, if and only if, M = Z ₂(M) ⊕ S(M) (where Z ₂(M) is the Goldie torsion submodule and S(M) is the sum of nonsingular simple submodules). A ring R is called right t-semisimple if R _R is t-semisimple. Various characterizations of right t-semisimple rings are given. For some types of rings, conditions equivalent to being t-semisimple are found, and this property is investigated in terms of chain conditions.     

d-critical modules of length 2 over weyl algebras

We construct a family of modules over Weyl algebras with the property of being non-simple of finite length and alsod-critical (i.e.d(M)>d(M/N) for every non-trivial submoduleN, ofM). Hered stands for the Gelfand-Kirillov dimension. We further study some properties of these modules.     

AnR danalogue of Valentine’s theorem on 3-convex sets

This paper deals with anR ^danalogue of a theorem of Valentine which states that a closed 3-convex setS in the plane is decomposable into 3 or fewer closed convex sets. In Valentine’s proof, the points of local nonconvexity ofS are treated as vertices of a polygonP contained in the kernel ofS, yielding a decomposition ofS into 2 or 3 convex sets, depending on whetherP has an even or odd number of edges. Thus the decomposition actually depends onc(P′), the chromatic number of the polytopeP′ dual toP. A natural analogue of this result is the following theorem: LetS be a closed subset ofR ^d, and letQ denote the set of points of local nonconvexity ofS. We require thatQ be contained in the kernel ofS and thatQ coincide with the set of points in the union of all the (d − 2)-dimensional faces of somed-dimensional polytopeP. ThenS is decomposable intoc(P′) closed convex sets.     

Retracts and monomorphism monoids in semigroup varieties

If a semigroup varietyV contains the variety of commutative three-nilpotent semigroups, or if it is a variety of bands containing all semilattices, then, for anyA∈V and any left cancellative monoidM, there is a semigroupS∈V such thatA is a retract ofS andM is isomorphic to the monoid of all injective endomorphisms ofS.     

Modules having Baer summands

Let R be an arbitrary ring with identity and M a right R-module with S = End_R(M). Let F be a fully invariant submodule of M and I^?1(F) denotes the set {m∈M:Im?F} for any subset I of S. The module M is called F-Baer if I^?1(F) is a direct summand of M for every left ideal I of S. This work is devoted to the investigation of properties of F-Baer modules. We use F-Baer modules to decompose a module into two parts consists of a Baer module and a module determined by fully invariant submodule F, namely, for a module M, we show that M is F-Baer if and only if M = F⊕N where N is a Baer module. By using F-Baer modules, we obtain some new results for Baer rings.     

The number of elliptic curves over ℚ with conductorNwith conductorN

We prove that the number of elliptic curves E/ℚ with conductorN isO(N ^1/2+ε). More generally, we prove that the number of elliptic curves E/ℚ with good reduction outsideS isO(M ^1/2+ε), whereM is the product of the primes inS. Assuming various standard conjectures, we show that this bound can be improved toO(M ^c/loglogM ). Research partially supported by NSF DMS-9424642.     

Problemi variazionali conformi

Letf: (M,g)→(N,g′) be a differentiable map between the riemannian manifoldsM andN, M being compact.K. Uhlenbeck pointed out a functionalE ^m(f), related to the energy density off, that depends only on the conformal structure ofM. In this paper we prove thatE ^m(f) is stationary with respect to deformations of the riemannian metric ofM if and only iff is weakly conformal; in this casef provides a local minimum ofE ^m.     

Construction of minimal cocycles arising from specific differential equations

Blending methods of Topological Dynamics and Control Theory, we develop a new technique to construct compact-Lie-group-valued minimal cocycles arising as fundamental matrix solutions of linear differential equations with recurrent coefficients subject to a given constraint. The precise requirement on the coefficients is that they belong to a specified closed convex subsetS of the Lie algebraL of the Lie group. Our result is proved for a very thin class of cocycles, since the dimension ofS is allowed to be much smaller than that ofL, and the only assumption onS is thatL ₀(S) =L, whereL ₀(S) is the ideal ofL(S) generated by the difference setS − S, andL(S) is the Lie subalgebra ofL generated byS. This covers a number of differential equations arising in Mathematical Physics, and applies in particular to the widely studied example of the Rabi oscillator. Supported in part by a Research Council grant from Rutgers University. Supported in part by NSF Grant DMS92-02554.     

Independence results for uncountable superstable theories

We prove that the following statement is independent of ZFC+┐CH: IFT is a superstable theory of power <2^ℵ ₀,M≰N are models ofT withQ(M)=Q(N), then there isN′≱N withQ(N)=Q(N′). This generalizes Lachlan’s (1972) result.     

On the singular set of stationary harmonic maps

LetM andN be compact riemannian manifolds, andu a stationary harmonic map fromM toN. We prove thatH ⁿ⁻² (Σ)=0, wheren=dimM and Σ is the singular set ofu. This is a generalization of a result of C. Evans [7], where this is proved in the special caseN is a sphere. We also prove that, ifu is a weakly harmonic map inW ^1,n (M, N), thenu is smooth. This extends results of F. Hélein for the casen=2, or the caseN is a sphere ([9], [10]).