Baer cotorsion Pairs

LetR be a unital associative ring and two classes of leftR-modules. In [St3] the notion of a ( ) pair was introduced. In analogy to classical cotorsion pairs, a pair (V,W) of subclasses is called a ( ) pair if it is maximal with respect to the classes and the condition Ext _R ¹ (V, W)=0 for all . In this paper we study pairs whereR = ℤ and is the class of all torsion-free abelian groups andT is the class of all torsion abelian groups. A complete characterization is obtained assumingV=L. For example, it is shown that every pair is singly cognerated underV=L. The author was supported by a DFG grant.     

The Hopf algebra Rep U_{q} \widehat{\frak g \frak l}_\infty

We define the Hopf algebra structure on the Grothendieck group of finite-dimensional polynomial representations of in the limitN→∞. The resulting Hopf algebra Rep is a tensor product of its Hopf subalgebras Rep_a ,a ∈ ℂ^×/q^2ℤ. Whenq is generic (resp.,q ² is a primitive root of unity of orderl), we construct an isomorphism between the Hopf algebra Rep _a and the algebra of regular functions on the prounipotent proalgebraic group (resp., ). Whenq is a root of unity, this isomorphism identifies the Hopf subalgebra of Rep _a spanned by the modules obtained by pullback with respect to the Frobenius homomorphism with the algebra generated by the coefficients of the determinant of an element of considered as anl×l matrix over the Taylor series. This gives us an explicit formula for the Frobenius pullbacks of the fundamental representations. In addition, we construct a natural action of the Hall algebra associated to the infinite linear quiver (resp., the cyclic quiver withl vertices) on Rep _a and describe the span of tensor products of evaluation representations taken at fixed points as a module over this Hall algebra.     

Equational Theories for Classes of Finite Semigroups

It is proved that there exists an infinite sequence of finitely based semigroup varieties such that, for all i, an equational theory for and for the class of all finite semigroups in is undecidable while an equational theory for and for the class of all finite semigroups in is decidable. An infinite sequence of finitely based semigroup varieties is constructed so that, for all i, an equational theory for and for the class of all finite semigroups in is decidable whicle an equational theory for and for the class of all finite semigroups in is not.     

Primitive systems of elements in the variety\mathfrak{A}\mathfrak{N}_2 and some locally finite varieties of groupsand some locally finite varieties of groups

Part of any basis of a relatively free group in the variety is called a primitive system of elements. We provide a criterion of being primitive for , where is a variety of Abelian groups satisfying x^m=1, and a variety generated by a finite group. Let be a variety of nilpotent groups of class ≤c. It is proved that, for the group , the property of being primitive for an element g is stronger than the condition of being unimodular on a vector composed of values of Fox derivatives in the ring . The group is not residually finite whenever a system of elements is primitive. Supported by RFFR grant No. 96-01-01948. Translated fromAlgebra i Logika, Vol. 37, No. 6, pp. 687–699, November–December, 1998.     

Factorizations of composition formations

It is proved that, if is a singly generated composition formation, where , then is a composition formation. Translated fromMatematicheskie Zametki, Vol. 65, No. 3, pp. 389–395, March, 1999.     

On the representation of differentiations by Hamiltonians,operating from an algebra of local observable spin systems

Let and be algebras of local and quasilocal observable spin systems corresponding to the group Zr, be a differentiation invariant with respect to displacements. The question of representation of D in the form of formal Hamiltonian formed by the displacements of an elementx ε is considered. It is shown that such a representation exists if the condition holds, where means an element obtained from the elements [T_kX,a] by some r-multiple process of summation. Translated from Matematicheskii Zametki, Vol. 21, No. 1, pp. 93–98, January, 1977.     

Special finite-dimensional monocomposition algebras

Special monocomposition algebras introduced in [1] are studied. Using their properties, we prove that any nondegenerate monocomposition algebra ,dim ≥ 3, with unity contains no proper ideal of dimension ≤8. This implies that if 3≤dim ≤ 9, then is a central simple algebra. Translated fromAlgebra i Logika, Vol. 35, No. 2, pp. 125–144, March–April, 1996.     

On Galois isomorphisms between ideals in extensions of local fields

LetL/K be a totally ramified, finite abelian extension of local fields, let and be the valuation rings, and letG be the Galois group. We consider the powers of the maximal ideal of as modules over the group ring . We show that, ifG has orderp ^m (withp the residue field characteristic), ifG is not cyclic (or ifG has orderp), and if a certain mild hypothesis on the ramification ofL/K holds, then and are isomorphic iffr≡r′ modp ^m . We also give a generalisation of this result to certain extensions not ofp-power degree, and show that, in the casep=2, the hypotheses thatG is abelian and not cyclic can be removed.     

Degrees of presentability of structures. II

We show that the property of being locally constructivizable is inherited under Muchnik reducibility, which is weakest among the effective reducibilities considered over countable structures. It is stated that local constructivizability of level higher than 1 is inherited under Σ-reducibility but is not inherited under Medvedev reducibility. An example of a structure and a relation P ⊆ M is constructed for which but ≢_∑ . Also, we point out a class of structures which are effectively defined by a family of their local theories. Supported by RFBR (grant Nos. 05-0100481 and 06-0104002), by the Council for Grants (under RF President) for State Support of Young Candidates of Science and Their Supervisors (project MK-1239.2005.1), and by INTAS (project YSF 04-83-3310). __________ Translated from Algebra i Logika, Vol. 47, No. 1, pp. 108–126, January–February, 2008.     

Integral-valued rational functions on valued fields

Let K be a field and a non-trivial valuation ring of K withm as its maximal ideal. Denote by and the rings of polynomials f∈K[X] and rational functions f∈K(X) resp. such that . We prove that for one variable X we have if and only if the completion of (K, ) is locally compact or algebraically closed. In the second case—i.e. if K is dense in the algebraic closure of (K, )—we even get for any number of variables X=(X₁,...,X_n). This work contains parts of the second author's thesis [Ri] written under the supervision of the first author.     

Zur Topologie der Dixmier-Abbildung

Summary  LetG be the coadjoint group of a finite-dimensional complex Lie algebrag. Forg solvable, the Dixmier-map is known to be a homeomorphism of the orbit space /G onto the space χ of primitive ideals in the enveloping algebra U(G) [6,15]. For , the Dixmier-map is known to be a bijection (and in general not a homeomorphism) with the space χ^l of all completely prime primitive ideals [7, 16]. Here we derive from a result ofW. SOERGEL [18], that this map issheet- wise a homeomorphism onto the image. Here a sheet is a maximal irreducible subset consisting of orbits of a fixed dimension; obviouslyg decomposes into finitely many sheets [3]. The results of this paper hold more generally forg semisimple, if one restricts to a sheet of polarizable orbits, where a Dixmier-map can be defined. Relative to a fixed polarization (a parabolic subalgebra)p ⊂g let I be the annihilator of the generic module induced from p. The „relative enveloping algebra“ ) has been studied e.g. bySOERGEL [19, 18]. Its center Z is described here by a relative Harish-Chandra isomorphism of the normalization with a suitable ring of group invariants (3.2). We study here the extension ofU by . We suggest that this very mild central extension ofU generates good properties and is very suitable for the study of the Dixmier-map (cf.4.3,5.6). In particular, we conjecture in case : Every minimal primitive ideal of is generated by a maximal ideal of the center. This would generalize for a well known theorem ofM. Duflo (casep Borel, where ). AsJ. Dixmier communicated in a letter, the main result here is exactly what he had hoped for when he first introduced a notion of sheets many years ago.

---

---

Added in proof: This conjecture will be proved in a subsequent paper.     

On the numerical construction of an attractor for the Navier-Stokes system

In this paper the problem of the numerical approximation of the minimal global B-attractor for a semiflow generated by the Navier-Stokes equations in a two-dimensional bounded domain Ω is considered. The method suggested here is based on the formula , where G^N is a sequence of compact subsets of L₂(Ω), . The procedure of constructing G^N is finite and includes the numerical solution of the Navier-Stokes equations by means of the Galerkin method, together with an explicit finite-difference discretization in time. Bibliography: 5 titles. To dear teacher Olga A. Ladyzhenskaya on the occasion of the jubilee Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 200, 1992, pp. 91–97. Translated by V. I. Ochkur.     

Factorizations of One-Generated Composition Formations

A non-empty formation of finite groups is said to be solubly saturated, or we call it a composition formation, if every finite group G having a normal subgroup N such that belongs to . An intersection of all composition formations containing a given group G is denoted cformG. Conditions are described under which has the form , where .     

Positive elements in the algebra of the quantum moment problem

Summary Let denote the extended Weyl algebra, , the Weyl algebra. It is well known that every element of of the formA=B _k ^* B _k is positive. We prove that the converse implication also holds: Every positive elementA in has a quadratic sum factorization for some finite set of elements (B _k ) in . The corresponding result is not true for the subalgebra . We identify states on which do not extend to states on . It follows from a result of Powers (and Arveson) that such states on cannot be completely positive. Our theorem is based on a certain regularity property for the representations which are generated by states on , and this property is not in general shared by representations generated by states defined only on the subalgebra .Work supported in part by the NSF     

Arithmetic Interpretability Types of Varieties and Some Additive Problems with Primes

We deal with varieties with one basic operation f(x₁,...,x_n) and one defining identity f(x₁,..., x_n) = f(x_π(1),...,x_π(n)), where π is a permutation whose cyclic set consists of distinct primes p₁,...,p_r, with the sum p₁+...+p_r = n. Their interpretability types, together with the greatest element 1 in a lattice ^int, are said to be arithmetic. It is proved that the arithmetic types constitute a distributive lattice _ar, which is dual to a lattice Sub _fΠ of finite subsets of the set Π of all primes. It is shown that for n ⩾ 2, the poset _ar( _n) of arithmetic types defined by permutations in _n, for n fixed, is a lattice iff n = 2, 3, 4, 6, 8, 9, 11. __________ Translated from Algebra i Logika, Vol. 44, No. 5, pp. 622–630, September–October, 2005.     

Equivariant D-modules attached to nilpotent orbits in a semisimple Lie algebra

Let _u be a compact Lie algebra and let _u be its complexification. Let ζ^−1/2 be the inverse on the set of regular elements of _u of a square root of the discriminant of . Generalizing a result of W. Lichtenstein in the case _u = (n, ℂ) or (nℝ), we prove that ∂(q).ζ^1/2 is non zero for all harmonic polynomialsq ∈S( ) \ {0}. This fact is deduced from results about equivariantD-modules supported on the nilpotent cone of .     

Orthogonal polynomials of a discrete variable and Lie algebras of complex-size matrices

We give a uniform interpretation of the classical continuous Chebyshev and Hahn orthogonal polynomials of a discrete variable in terms of the Feigin Lie algebra for λ∈ℂ. The Chebyshev and Hahn q-polynomials admit a similar interpretation, and orthogonal polynomials corresponding to Lie superalgebras can be introduced. We also describe quasi-finite modules over , real forms of this algebra, and the unitarity conditions for quasi-finite modules. Analogues of tensors over are also introduced. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 123, No. 2, pp. 205–236, May, 2000.     

Asymptotic properties of the maximum likelihood estimate in the first order autoregressive process

Summary In this paper we obtain an asymptotic expansion of the distribution of the maximum likelihood estimate (MLE) based onT observations from the first order Gaussian process up to the term of orderT ⁻¹. The expansion is used to compare with a generalized estimate including the least square estimate (LSE) , based on the asymptotic probabilities around the true value of the estimates up to the terms of orderT ⁻¹. It is shown that (or the modified MLE ) is better than (or the modified estimate ). Further, we note that does not attain the bound for third order asymptotic median unbiased estimates.     

Undecidability of the word problem in relatively free rings

An example of a series of varieties of rings with the finite basis property is constructed for which the word problem in the relatively free ring of rankn in the variety is decidable if and only ifn <p. Translated fromMatematicheskie Zametki, Vol. 67, No. 4, pp. 582–594, April, 2000.     

Invariant convex sets and functions in Lie algebras

We say that an invariant convex coneW in a Lie algebras is elliptic if its interior consists of elliptic elements of . If such a cone exists, then has a compactly embedded Cartan subalgebra. The first main result, of this paper is a characterization of those Lie algebras, which contain elliptic invariant cones. If is an invariant domain in such a cone, then we characterize the invariant locally convex functions onD by their restrictions to where is a compactly embedded Cartan subalgebra.