On the embedding of core-free projective images of normal subgroups

Sunto Siano G e due gruppi, : GG una proiettività e N un sottogruppo normale di G. Vengono provati alcuni risultati sulle proprietà di immersions in e G rispettivamente, del gruppi , la chiusura normale di N in modulo il nocciolo di N in , e .

---

---

Supported by a C.N.R. grant.     

An inverse problem in potential theory

Summary We consider the classical problem of finding the density of a material body embedded into a region S, when the potential generated by (possibly coinciding with S) is known outside (or on the surface of) S. In the set of such solutions we look for the density which has the smallestL ²-norm and we prove that belongs toL _H ²⁼ (), the space of square summable functions harmonic in . However is unstable, i.e. itsL ²-norm does not depend continuously upon the L₂-norm of the potential. We show how a continuous dependence may be restored by introducing mild restrictions on the set of admissible solutions.     

Théorème de division avec des conditions au bord

Let be an open subset of ⁿ and be a subalgebra of the algebra of analytic functions on . We suppose that satisfies some weak conditions of noetherianity such that we can construct a finite stratification for each ideal of . We also suppose that satifies global £ojasiewicz's inequalities. We prove the following: Let andf C on flat on ; if for eacha the Taylor's serie off ata, T _a f, is in the ideal generated byT _a f ₁,...,T _a f _p in the ring of formal power series, then there exist ₁,..., _p ,C on flat on such that . This result extends the classic Hormander's theorem of division (for a polynomial) or the £ojasiewicz-Malgrange theorem in the local analytic case.Reherches menées dans le cadre du Programme d'Appui à la Recherche Scientifique (PARS MI 33)     

Prime ideal decomposition inF({}^m\sqrt \mu )

LetF be an algebraic number field and F such thatx ^m– is irreducible, wherem is an integer. Let be a prime ideal inF with . The prime decomposition of in is explicitly obtained in the following cases. Case 1: , (a,m) = 1 (where means , 0 ). Case 2:m lt, wherel is a prime andl 0 . Case 3:m 0 and every prime that dividesm also dividespf–1. It is not assumed that thev ^th roots of unity are inF for anyv 2.     

A class of extreme contractions inL(l p )

Summary In this note we prove that: if T is a contraction in L(l^p) that maps elements of disjoint support to elements of disjoint support, then T is an extreme point of the unit ball of L(l^p), 1

i) form a p-orthonormal sequence or the nonzero elements of (y_i) form a p-orthonormal sequence for which supp (y_i)=N.     

Monodromic unbounded polycycles

The artiche extends and proves a Conjecture of R. Conti. Let be a plane polynomial vector field, its Poincaré compactification, the central projection of the sphere S² on the plane T tangent at the north pole. If is a monodromic polycycle (cyclic separatrix) of, intersecting but not coinciding with the equator S¹, is said a monodromic unbounded polycycle (m.u.p.). Conti's Conjecture can be so rephrased: If is a m.u.p. and deg, then has at most n–1 connected components. The proof is in two steps: Theorem 3.1 and Theorem 4.1. The main technique utilized is that of iterated directional blow-ups (-process) of the singular points at infinity of (i.e. the singularities of on S¹).     

Lightlike periodic trajectories in space-times

Let ., _z be a Lorentz metric on a manifold such that isnot compact. We prove the existence of infinitely many lightlike periodic trajectories in by using variational methods and Ljusternik-Schnirelman theory.Sponsored by M.U.R.S.T. (fondi 60% «Problemi differenziali nonlineari e teoria dei punti critici»; fondi 40% «Equazioni differenziali e calcolo delle variazioni»).     

On a condition on the radical of a Banach algebra ensuring strong decomposability

The main result is the following theorem. Let be a commutative Banach algebra with radical R, where the factor algebra is isomorphic to the algebra of all continuous functions on a totally disconnected compact space. If rⁿ¹ /n 0 as n uniformly for r R, rl, then the algebra is strongly decomposable, i.e., there exists a closed subalgebra B isomorphic to such that =BR.This is a strengthening of the theorem of A. Ya. Khelemskii, who assumed . There are 4 references.Translated from Matematicheskie Zametki, Vol. 2, No. 6, pp. 589–592, December, 1967.     

Singular perturbations in foliations

Summary We define a constraint system , [0,₀), which is a kind of family of vector fields on a manifold. This is a generalized version of the family of the equations , [0,₀),x ^m ,y ⁿ . Finally, we prove a singular perturbation theorem for the system , [0,₀).Dedicated to Professor Kenichi Shiraiwa on his 60th birthday     

Lower bounds for faithful,preinjective modules

Let be the path algebra for some representation-infinite quiver over some field k. There exists a bound such that ^mI is faithful for all indecomposable injective -modules I and all , and such that there exists an indecomposable injective -module J satisfying that J is not faithful, denotes the Auslander-Reiten-translation. Let m() be the maximum of the taken over all possible orientations of the underlying graph . In this article we determine the bounds m() for representation-infinite quivers for which is a tree.     

On some properties of the metric subalgebras ofℓ ∞

The objects studied are the subalgebras of which contain c_o. These are isometrically isomorphic to the algebras C( ) where is a compactification of a discrete denumerable set N . It is shown: 1) If is metric then there is a projection of norm 1, P: C( ) C( ) with kernel c_o defined by PF = f o where is a retraction of onto = – N . 2) If is metric, then the group of homeomorphisms of is isomorphic to a complete group of permutations of the natural numbers . 3) The group of homeomorphisms of a compact metric space is the homomorphic image of a complete group of permutations of ("complete" means "no outer automorphisms, trivial center").     

Robust tests in group sequential analysis: One- and two-sided hypotheses in the linear model

Consider the linear modelY=X+E in the usual matrix notation where the errors are independent and identically distributed. We develop robust tests for a large class of one- and two-sided hypotheses about when the data are obtained and tests are carried out according to a group sequential design. To illustrate the nature of the main results, let and be anM- and the least squares estimator of respectively which are asymptotically normal about with covariance matrices ²(X ^t X)^–1 and ²(X ^t X)^–1 respectively. Let the Wald-type statistics based on and be denoted byRW andW respectively. It is shown thatRW andW have the same asymptotic null distributions; here the limit is taken with the number of groups fixed but the numbers of observations in the groups increase proportionately. Our main result is that the asymptotic Pitman efficiency ofRW relative toW is (²/²). Thus, the asymptotic efficiency-robustness properties of relative to translate to asymptotic power-robustness ofRW relative toW. Clearly, this is an attractive result since we already have a large literature which shows that is efficiency-robust compared to . The results of a simulation study show that with realistic sample sizes,RW is likely to have almost as much power asW for normal errors, and substantially more power if the errors have long tails. The simulation results also illustrate the advantages of group sequential designs compared to a fixed sample design, in terms of sample size requirements to achieve a specified power.     

Convergence of series of translations

For a mean zero norm one sequence (f _n )L ₂[0, 1], the sequence (f _n {nx+y}) is an orthonormal sequence inL ₂([0, 1]²); so if , then converges for a.e. (x, y)[0, 1]² and has a maximal function inL ₂([0, 1]²). But for a mean zerofL ₂[0, 1], it is harder to give necessary and sufficient conditions for theL ₂-norm convergence or a.e. convergence of . Ifc _n 0 and , then this series will not converge inL ₂-norm on a denseG subset of the mean zero functions inL ₂[0, 1]. Also, there are mean zerofL[0, 1] such that never converges and there is a mean zero continuous functionf with a.e. However, iff is mean zero and of bounded variation or in some Lip() with 1/2<1, and if |c _n | = 0(n ^–) for >1/2, then converges a.e. and unconditionally inL ₂[0, 1]. In addition, for any mean zerof of bounded variation, the series has its maximal function in allL _p[0, 1] with 1p<. Finally, if (f _n )L [0, 1] is a uniformly bounded mean zero sequence, then is a necessary and sufficient condition for to converge for a.e.y and a.e. (x _n )[0, 1]. Moreover, iffL [0, 1] is mean zero and , then for a.e. (x _n )[0, 1], converges for a.e.y and in allL _p [0, 1] with 1p<. Some of these theorems can be generalized simply to other compact groups besides [0, 1] under addition modulo one.     

Summierbarkeit der geometrischen Reihe auf vorgeschriebenen Mengen

In this paper we are concerned with the summability of the geometric series by matrix methods. We prove the following theorem: Suppose M_o:={z:|z|<1}, M₁, M₂, is a collection of countably many Lebesgue measureable, disjoint sets. For k=1,2, let f_k be a prescribed function, analytic on . Then there exists a triangular matrix , such that the V-transform {_n(z)} of the geometric series has the following properties: {_n(z)} converges compactly to on M_o; for k=1,2, there are sets B_k, such that has Lebesgue-measure zero and _n(z)f_k(z) for zB_k; if there is a set B^*, such that B^*M^* has Lebesgue-measure zero and {_n(z)} diverges for zB^*.     

Reflection groups and K-loops

The notion reflection group (, ) was introduced in order to give group theoretical characterizations of absolute planes. Here we consider reflection groups with midpoints and associate to each of them an incidence structure . Then is an incidence space which dimension can assume any value. The motion group together with the set of all reflections in points of a Euclidean or hyperbolic geometry are examples of reflection groups with midpoints. Furthermore the set can be turned into a K-loop. The precise results are summarized in the theorems at the end of the paper.Cordially dedicated to Sibylla Prieß on the occasion of her 60th birthdaySupported by the NATO Scientific Affairs Division grant CRG 900103.     

A structure theorem for weak buildings of spherical type

Following earlier work of Tits [8], this paper deals with the structure of buildings which are not necessarily thick; that is, possessing panels (faces of codimension 1) which are contained in two chambers, only. To every building , there is canonically associated a thick building whose Weyl group W( ) can be considered as a reflection subgroup of the Weyl group W() of . One can reconstruct from together with the embedding W( ) W(). Conversely, if is any thick building and W any reflection group containing W( ) as a reflection subgroup, there exists a weak building with Weyl group W and associated thick building .     

On dualities between function spaces

By [6], the dualities between and , whereX andW are two sets and (i.e., the mappings satisfying for all and all index setsI), can be represented with the aid of functions . Here we show that they can be also represented with the aid of functions , whereR = (–, +). As an application, we show that every duality is completely determined by a suitable duality between 2 ^{X ×R} and 2 ^{W ×R} (i.e., a mapping 2 ^{X ×R} 2 ^{W ×R} satisfying for all {M _i} _iI 2 ^{X ×R} and all index setsI), applied to the epigraphs of the functions .     

Nilpotent shifts on manifolds

On the lattice of manifolds of all algebras L we study the operator of nilpotent closure , where is a nilpotent manifold of -algebras. With a given system of identities defining, we construct a system ^*, giving the manifold It is proved that if does not contain , then the lattice of submanifolds of is the double of the lattice of submanifolds of. We describe the free and subdirect indecomposable manifolds of algebras . Let and A be adense retract of B. We denote by (B) the lattice of congruences on B. The theorem is proved: (B) is a complemented lattice if and only if (A) is a complemented lattice.Translated from Matematicheskie Zametki, Vol. 14, No. 5, pp. 703–712, November, 1973.     

Irrationalité de Valeurs Associées a l'Exponentielle de Carlitz

Lete and be the Carlitz-module analogues of their usual counterparts. We have proved in [4]-that these elements of are algebraically independent over whenq3. We study here the remaining caseq=2 and prove among other things that 1,e, are linearly independent over .

     

The completions of a commutative lattice group with respect to the intrinsic topologies

In this paper we discuss the completions (, ) of a commutativel-groupG with respect to the intrinsic topologies . We give some conditions under which is the intrinsic topology of the same type on as and give the relations between these completions.