On posets with isomorphic interval posets

Let be a partially ordered set, Int the system of all (nonempty) intervals of partially ordered by the set-theoretical inclusion . We are interested in partially ordered sets with Int isomorphic to Int . We are going to show that they correspond to couples of binary relations on A satisfying some conditions. If is a directed partially ordered set, the only with Int isomorphic to Int are corresponding to direct decompositions of ( denotes the dual of . The present results include those presented in the paper [11] by V. Slavík. Systems of intervals, particularly of lattices, have been investigated by many authors, cf. [1]–[11].     

Generalized Harish-Chandra Modules: A New Direction in the Structure Theory of Representations

Let be a reductive Lie algebra over C. We say that a -module M is a generalized Harish-Chandra module if, for some subalgebra , M is locally -finite and has finite -multiplicities. We believe that the problem of classifying all irreducible generalized Harish-Chandra modules could be tractable. In this paper, we review the recent success with the case when is a Cartan subalgebra. We also review the recent determination of which reductive in subalgebras are essential to a classification. Finally, we present in detail the emerging picture for the case when is a principal 3-dimensional subalgebra.     

Direct Theorem about Approximation on a Family of Two Segments

Introduce the notation: , is the union of two segments [-1,1] and [-1 + ,1+ ], is a noninteger number, is the Hölder class with exponent on The following result announced by the authors in [J. Math. Sci. 117 (2003), No. 3] is proved. There exist numbers a ₁ ( ) , b ₁ ( ) 0 depending only on such that for any there exists a polynomial , such that . Bibliography: 11 titles.     

Lattice Ordered Polynomial Algebras

In this paper we define a lattice order on a set F of binary functions. We then provide necessary and sufficient conditions for the resulting algebra F to be a distributive lattice or a Boolean algebra. We also prove a Cayley theorem for distributive lattices by showing that for every distributive lattice , there is an algebra F of binary functions, such that is isomorphic to F and we show that F is a distributive lattice iff the operations and are idempotent and cummutative, showing that this result cannot be generalized to non-distributive lattices or quasilattices without changing the definitions of and . We also examine the equational properties of an Algebra for which , now defined on the set of binary -polynomials is a lattice or Boolean algebra.     

On the dimension of the cartesian product of relations and orders

It is known that for incidence structures and , max , wheref dim stands for Ferrers relation. We shall show that under additional assumptions on and , both bounds can be improved. Especially it will be shown that the square of a three-dimensional ordered set is at least four-dimensional.     

Symmetry of Sections in Fields of Formal Power Series and a Non-Standard Real Line

Let be a field of formal power series with real coefficients, whose supports are well ordered subsets of an Abelian group of cardinality strictly less than . For , we give criteria of a section being symmetric and of a symmetric section being Dedekind. It is proved that an -saturated non-standard real line is isomorphic to some field of the form . For , some consequences are inferred regarding symmetric sections, and the cofinality of banks of the sections.     

On the Nonexistence of q-ary Linear Codes of Dimension Five

There do not exist codes over the Galois field GF attaining the Griesmer bound for for andfor for .     

New Proof of the Semmes Inequality for the Derivative of the Rational Function

In the open disk of the complex plane, we consider the following spaces of functions: the Bloch space ; the Hardy--Sobolev space ; and the Hardy--Besov space . It is shown that if all the poles of the rational function R of degree n, , lie in the domain , then , where and depends only on . The second of these inequalities for the case of the half-plane was obtained by Semmes in 1984. The proof given by Semmes was based on the use of Hankel operators, while our proof uses the special integral representation of rational functions.     

Levi Classes Generated by Nilpotent Groups

Let be a class of all groups G for which the normal closure (x) ^G of every element x belongs to a class . is a Levi class generated by . Let and ₀ be classes of finitely generated nilpotent groups and of torsion-free, finitely generated, nilpotent groups, respectively. We prove that and , and so and . It is shown that quasivarieties and are closed under free products, and that each contains at most one maximal proper subquasivariety. It is also proved that is closed under free products if so is .     

Almost periodic compactifications of group extensions

Let and be groups and let be an extension of by . Given a property of group compactifications, one can ask whether there exist compactifications and of N and K such that the universal -compactification of G is canonically isomorphic to an extension of by . We prove a theorem which gives necessary and sufficient conditions for this to occur for general properties and then apply this result to the almost periodic and weakly almost periodic compactifications of G.     

Some Generalizations of the Notion of Length

Two numerical characteristics of a nonrectifiable arc generalizing the notion of length are introduced. Geometrically, this notion can naturally be generalized as the least upper bound of the sums , where are the lengths of segments of a polygonal line inscribed in the curve and is a given function. On the other hand, the length of is the norm of the functional in the space ; its norms in other spaces can be considered as analytical generalizations of length. In this paper, we establish conditions under which the generalized geometric rectifiability of a curve implies its generalized analytic rectifiability.     

Temperature-Dependence of Equilibrium States of a Two-Phase Elastic Medium with the Zero Surface Tension Coefficient

We consider the energy functional of a two-phase elastic medium with quadratic energy densities defined for such that ,where is a measurable characteristic function. Under some natural conditions on the data of the problem, we prove the existence of an interval (t ^-,t ⁺) of the change of temperature such that the energy functional has only a minimizer such that for or such that t^ + $$ " align="middle" border="0"> . The energy functional has no minimizers such that or if . We derive two-sided estimates for the numbers in terms of the characteristics of the two-phase elastic medium and the boundary condition. Bibliography: 3 titles.     

Intersections of Convex Bodies

Let be nonempty convex bodies in . Let be vectors in , let , and let . Then is a convex set, and the family of sets is concave. Let . Then for the mean cross-sectional measures W_v (\Phi (\rho )), , the functions are concave on D. (Note that % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXafv3ySLgzGmvETj2BSbqefm0B1jxALjhiov2D% aebbnrfifHhDYfgasaacH8srps0lbbf9q8WrFfeuY-Hhbbf9v8qqaq% Fr0xc9pk0xbba9q8WqFfea0-yr0RYxir-Jbba9q8aq0-yq-He9q8qq% Q8frFve9Fve9Ff0dmeaabaqaciGacaGaaeqabaWaaeaaeaaakeaaca% WGxbWaaSbaaSqaaiaaicdaaeqaaOGaaiikaiabfA6agjaacIcacqaH% bpGCcaGGPaGaaiykaiabg2da9iaabAfacaqGVbGaaeiBamaaBaaale% aatCvAUfKttLearyqr1ngBPrgaiuGacqWFRbWAaeqaaOGaeuOPdyKa% aiikaiabeg8aYjaacMcaaaa!4EE7!\[W_0 (\Phi (\rho )) = {\text{Vol}}_k\Phi (\rho )\] is the k-volume.) Bibliography: 2 titles.     

Semisimple Lie Algebras of Differential Operators

Starting from the commutation relations in a complex semisimple Lie algebra , one may obtain a space of vector fields on Euclidean space such that and are isomorphic when is equipped with the usual Lie bracket between vector fields and the isotropy subalgebra of is a Borel subalgebra . Furthermore, one may adjoin to the vector fields in multiplication operators to obtain an -parameter family of distinct presentations of as spaces of differential operators, where is the dual of a Cartan subalgebra. Some of these presentations will preserve a space of polynomials on Euclidean space, and, in fact, all the finite-dimensional representations of can be presented in this way. All of this is carried out explicitly for arbitrary . In doing so, one discovers there is a Lie group of diffeomorphisms of the unipotent subgroup N complementary to B which acts on these presentations and preserves a certain notion of weight.     

Bernstein-Type Theorems and Uniqueness Theorems

Let be an entire function of finite type with respect to finite order and let be a subset of an open cone in a certain n-dimensional subspace (the smaller , the sparser ). We assume that this cone contains a ray 0} \right\}$$ " align="middle" border="0"> . It is shown that the radial indicator of at any point may be evaluated in terms of function values at points of the discrete subset . Moreover, if tends to zero fast enough as over , then this function vanishes identically. To prove these results, a special approximation technique is developed. In the last part of the paper, it is proved that, under certain conditions on and , which are close to exact conditions, the function bounded on is bounded on the ray.     

Determinants in Triangulated Categories

For a small triangulated category , Bass's K ₁ group is described, and the theorem of the heart is proved. We define the determinant map from to Neeman's , and we compute this map when is the derived category of an Abelian category .     

On the Spectrum of Degenerate Operator Equations

We study the distribution in the complex plane of the spectrum of the operator , generated by the closure in of the operation originally defined on smooth functions with values in a Hilbert space satisfying the Dirichlet conditions . Here and A is a model operator acting in . Criterial conditions on the parameter for the eigenfunctions of the operator to form a complete and minimal system as well as a Riesz basis in the Hilbert space H are given.     

On Complete Arcs Arising from Plane Curves

We point out an interplay between -Frobenius non-classical plane curves and complete -arcs in . A typical example that shows how this works is the one concerning an Hermitian curve. We present some other examples here which give rise to the existence of new complete -arcs with parameters and being a power of the characteristic. In addition, for q a square, new complete -arcs with either and or and are constructed by using certain reducible plane curves.     

On a Problem of the Theory of Multiply Local Formations

We describe the -closed n-multiply local formations such that the lattice of all -closed n-multiply local formations between and is Boolean.