On Recognition of the Finite Simple Orthogonal Groups of Dimension 2m, 2m+1, and 2m+2 over a Field of Characteristic 2

The spectrum (G) of a finite group G is the set of element orders of G. A finite group G is said to be recognizable by spectrum (briefly, recognizable) if HG for every finite group H such that (H)=(G). We give two series, infinite by dimension, of finite simple classical groups recognizable by spectrum.     

Divisor Functions in the Ring of Gaussian Integers Weighted by the Generalized Klosterman Sum

Let _a,b,c () be the number of factorizations of a Gaussian number in the form = ₁ ^a ₂ ^b ₃ ^c , where a, b, and c are natural numbers. In the ring of Gaussian numbers, we construct an asymptotic formula for a summatory function of _a,b,c () weighted by the generalized Klosterman function.     

The Lindenbaum-Tarski algebra for Boolean algebras with distinguished ideals

A complete solution is given to the problem of describing algebras with distinguished ideals, formulated by Peretyatkin. It is proven that such an algebra is isomorphic to _× , an interval algebra of the linear ordering × . I-algebras the elementary theory of each of which is axiomatizable by a single atom in some finite quotient with respect to the Frechet ideal of the Lindenbaum-Tarski algebra for the class of Boolean algebras with distinguished ideals are fully described in terms of direct summands.Translated fromAlgebra i Logika, Vol. 34, No. 1, pp. 88–116, January–February, 1995.     

Recognizing Groups G 23 n ) by Their Element Orders

It is proved that a finite group that is isomorphic to a simple non-Abelian group G=G ₂(3 ⁿ ) is, up to isomorphism, recognized by a set (G) of its element orders, that is, H G if (H)=(G) for some finite group H.     

Equivalence Bimodule Between Non-Commutative Tori

The non-commutative torus C ^*(ⁿ,) is realized as the C*-algebra of sections of a locally trivial C*-algebra bundle over S with fibres isomorphic to C ^*n/S, ₁) for a totally skew multiplier ₁ on ⁿ/S. D. Poguntke [9] proved that A is stably isomorphic to C(S) C(^*( Zⁿ/S, ₁) C(S) A M_kl( C) for a simple non-commutative torus A and an integer kl. It is well-known that a stable isomorphism of two separable C*-algebras is equivalent to the existence of equivalence bimodule between them. We construct an A-C(S) A-equivalence bimodule.     

On Piecewise-Constant Approximation of Continuous Functions of n Variables in Integral Metrics

We consider the approximation by piecewise-constant functions for classes of functions of many variables defined by moduli of continuity of the form (₁, ..., _n ) = ₁(₁) + ... + _n ( _n ), where _i ( _i ) are ordinary moduli of continuity that depend on one variable. In the case where _i ( _i ) are convex upward, we obtain exact error estimates in the following cases: (i) in the integral metric L ₂ for (₁, ..., _n ) = ₁(₁) + ... + _n ( _n ); (ii) in the integral metric L _p (p 1) for (₁, ..., _n ) = c ₁₁ + ... + c _{n n} ; (iii) in the integral metric L _{(2, ..., 2, 2r)} (r = 2, 3, ...) for (₁, ..., _n ) = ₁(₁) + ... + _{n – 1}( _{n – 1}) + c _{n n} .     

Approximate regularity of commutative Beurling algebras and Korovkin approximation

We study generalizations of the classical Korovkin theorem to the context of commutative Beurling algebras associated to a weight on a locally compact abelian groupG. On the way, we prove that a commutative Beurling algebra is approximately regular iff has rate of growth identically one, and we calculate diverse stable ranks of commutative Beurling algebras in terms of the dimension of the dual group.     

Generalized Covering Groups

Let v and be two varieties of groups defined by the sets of laws V and W, respectively. In this paper we construct a -v-covering group of a finite v-perfect group G, and show that every automorphism of G may be lifted to its -v-covering group. These generalize the previous work of the first two authors (1999). We also characterize the -v-irreducible extensions in some sense.AMS Mathematics Subject Classification (2000) Primary 20E34 20E36 Secondary 20E10     

Ultrafilters and Decompositions of Abelian Groups

We prove that every PS-ultrafilter on a group without second-order elements is a Ramsey ultrafilter. For an arbitrary PS-ultrafilter on a countable group G, we construct a mapping f: G such that f() is a P-point in the space *. We determine a new class of subselective ultrafilters, which is considerably wider than the class of PS-ultrafilters.     

The normal density of prime ideals in small regions

For a Gaussian prime (i) define ()=min|–| where runs through Gaussian primes satisfying ||>||. We prove that, subject to the Riemann Hypothesis for appropriateL-functions

On countably compact,locally countable spaces

We study the cardinalities of countably compact, locally countableT ₃ spaces. For alln(<), there exists one of cardinality _n . IfV=L, then there exists one of cardinalityx iffx= orx =x. MA implies that there exists one of cardinality>2.     

On the homogeneity property for certain quantifier logics

Summary The local homogeneity property is defined as in [Mak]. We show thatL (Q₁) and some related logics do not have the local homogeneity property, whereas cofinality logicL (Q ^cf) has the homogeneity property. Both proofs use forcing and absoluteness arguments.     

Calculation of Some Integrals Describing Wave Fields

Two methods of calculating the scattering amplitude f(, ₀) of a wave scattered by the vertex of an arbitrarily shaped cone are justified. It is shown that the approximation f _d (, ₀,t) obtained by a method similar to the AbelPoisson method of summation converges uniformly in the regularity region for f. Also, the possibility of calculating f(, ₀) for N ₁( ₀) with the help of rapidly convergent integrals is proved. Bibliography: 7 titles.     

Pathwise rate- stability for input-output processes

An input-output processZ = {Z(t), t 0} is said to be-rate stable ifZ(t) = o((t)) for some non-negative function(t). We prove that the processZ is -rate stable under weak conditions that include the assumption that input satisfies a linear burstiness condition and Z is asymptotically average stable. In many cases of interest, the conditions for-rate-stability can be verified from input data. For example, using input information, we establish-rate stability of the workload for multiserver queues, an ATM multiplexer, and-rate stability of queue-length processes for infinite server queues.     

On the best approximation in the metric of L to certain classes of functions by Haar-system polynomials

Let H, H ^L be classes of functionsf(x) whose modulus of continuity (f; t) and, respectively, integral modulus of continuity(f; t)_L do not exceed a given modulus of continuity(t), while H_v is a class of functionsf(x) whose variation fdoes not exceed a given number V > 0. Bounds are obtained for the upper limit of the best approximations in the metric of L by Haar-system polynomials on the classes just introduced (on the class H ^L only when (t)=Kt). These bounds are exact for class H_V and, in case(t) is convex, also for the classes H and H ^L .Translated from Matematicheskie Zametki, Vol. 6, No. 1, pp. 47–54, July, 1969.The author wishes to thank N. P. Korneichuk for having posed the problem and for his constant attention to this work.     

Pinning effect in peierls impurity systems with deviation from half-filling of the energy band

A study is made of the effect of deviation from half-filling of the energy band (0) on the Fröhlich collective mode in onedimensional impurity systems. A low impurity concentration is considered, and the infinite series of impurity scattering is taken into account self-consistently in the determination of the collective mode Green's function. The conductivity () is found in terms of this Green's function, and an analytic expression is obtained for () at _T ( _T is the pinning frequency). It is shown that for the ratio Re(()/_max) a universal formula arises. It differs from the results of Kurihara in the expression for _T , which contains an essential dependence on in the incommensurate state of the charge density wave. It is also shown that the width of the peak in the dependence () and its position increase with increasing .Institute of Applied Physics, Moldovan Academy of Sciences. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 101, No. 1, pp. 110–122, October, 1994.     

Transformation of Wiener measure under anticipative flows

Summary LetT()=+F() be a transformation from the Wiener space to itself with the range ofF() assumed to be in the Cameron-Martin space. The absolute continuity and the density function associated withT is considered;T is assumed to be embedded in or defined through a parameterizationT _t =+F _t () andF _t is assumed to be differentiable int. The paper deals first with the case where the range of thet-derivative ofF _t () is also in the Cameron-Martin space and new representations for the Radon-Nikodym derivative and the Carleman-Fredholm determinant are derived. The case where thet-derivative ofF _t is not in the Cameron-Martin space is considered next and results on the absolute continuity and the density function, under conditions which are considerably weaker than previously known conditions, are presented.The work of the second author was supported by the fund for promotion of research at the Technion     

Quasimonotonicity,regularity and duality for nonlinear systems of partial differential equations

Summary We prove partial regularity for the vector-valued differential forms solving the system (A(x, ))=0, d=0, and for the gradient of the vector-valued functions solving the system div A(x, Du)=B(x, u, Du). Here the mapping A, with A(x, w) (1+ + ¦¦²)^{(p – 2)/2} (p2), satisfies a quasimonotonicity condition which, when applied to the gradient A(x, )=Df(x, ) of a real-valued functionf, is analogous to but stronger than quasiconvexity for f. The case 1相似文献   

Largest <Emphasis Type="Italic">E</Emphasis>-thin, <Emphasis Type="Italic">E</Emphasis>-invariant sets below Δ<Superscript>1</Superscript><Subscript>3</Subscript>

In this paper, we construct, by effective induction, a ¹₁ equivalence relation E on for which there is no largest E-thin E-invariant ¹₁ subset of by effective induction. This result answers a problem asked by Kechris in [1]Mathematics Subject Classification: 03E15Revised version: 13 January 2000     

Computation of efficient solutions of discretely distributed stochastic optimization problems

In engineering and economics often a certain vectorx of inputs or decisions must be chosen, subject to some constraints, such that the expected costs (or loss) arising from the deviation between the outputA() x of a stochastic linear systemxA()x and a desired stochastic target vectorb() are minimal. Hence, one has the following stochastic linear optimization problem minimizeF(x)=Eu(A()x b()) s.t.xD, (1) whereu is a convex loss function on ^m , (A(), b()) is a random (m,n + 1)-matrix, E denotes the expectation operator andD is a convex subset of ⁿ . Concrete problems of this type are e.g. stochastic linear programs with recourse, error minimization and optimal design problems, acid rain abatement methods, problems in scenario analysis and non-least square regression analysis.Solving (1), the loss functionu should be exactly known. However, in practice mostly there is some uncertainty in assigning appropriate penalty costs to the deviation between the outputA ()x and the targetb(). For finding in this situation solutions hedging against uncertainty a set of so-called efficient points of (1) is defined and a numerical procedure for determining these compromise solutions is derived. Several applications are discussed.