A Modal Logic Based on Linearly Ordered f-Spaces

A modal logic associated with the -spaces introduced by Ershov is examined. We construct a modal calculus that is complete w.r.t. the class of all strictly linearly ordered -frames, and the class of all strictly linearly ordered -frames.     

Varieties Defined by Permutations

We continue to study interrelations between permutative varieties and the cyclic varieties defined by cycles of the form . A criterion is given determining whether a cyclic variety is interpretable in . For a permutation without fixed elements, it is stated that a set of primes for which is interpretable in in the lattice is finite. It is also proved that for distinct primes , the Helly number of a type in coincides with dimension of the dual type and equals .     

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.     

Test Rank for Some Free Polynilpotent Groups

We prove a theorem on possible test rank values for groups of the form . It is shown that test rank of a free polynilpotent group is equal to or , for any and every collection of classes. Moreover, for and .     

Orders on Braid Groups

It is shown that the braid group defies lattice ordering.     

Convex Subgroups of Partially Right-Ordered Groups

We study into the question of whether a partial order can be induced from a partially right-ordered group onto a space of right cosets of w.r.t. some subgroup of . Examples are constructed showing that the condition of being convex for in is insufficient for this. A necessary and sufficient condition (in terms of a subgroup and a positive cone of ) is specified under which an order of can be induced onto . Sufficient conditions are also given. We establish properties of the class of partially right-ordered groups for which is partially ordered for every convex subgroup , and properties of the class of groups such that is partially ordered for every partial right order on and every subgroup that is convex under .     

Lattices of interpretability types of varieties

Let be the set of all primes, the field of all algebraic numbers, and Z the set of square-free natural numbers. We consider partially ordered sets of interpretability types such as , and , where AD is a variety of -divisible Abelian groups with unique taking of the pth root _p(x) for every p , is a variety of -modules over a normal field , contained in , and G_n is a variety of n-groupoids defined by a cyclic permutation (12 ...n). We prove that , and are distributive lattices, with and where ub and ub_f are lattices (w.r.t. inclusion) of all subsets of the set and of finite subsets of , respectively.Deceased.__________Translated from Algebra i Logika, Vol. 44, No. 2, pp. 198–210, March–April, 2005.     

A Question in the Theory of Totally Local Formations of Finite Groups

It is proved that all proper totally local subformations of a non one-generated totally local formation of finite groups are one-generated iff coincides with a formation of all soluble -groups, where ||=2.     

Lp Contraction Semigroups for Vector Valued Functions

Let be a contraction semigroup on the space of vector valued functions ( is a Hilbert space). In order to study the extension of to a contaction semigroup on , Shigekawa [Sh] studied recently the domination property where is a symmetric sub-Markovian semigroup on . He gives in the setting of square field operators sufficient conditions for the above inequality. The aim of the present paper is to show that the methods of [12] and [13] can be applied in the present setting and provide two ways for the extension of to We give necessary and sufficient conditions in terms of sesquilinear forms for the contractivity property as well as for the above domination property in a more general situation.     

Frobenius Groups Generated by Quadratic Elements

An automorphism of a group X is said to be quadratic if there exist integers and such that for any . If is a Frobenius group then an element is said to be quadratic if induces, by conjugation in the core of , a quadratic automorphism. By definition, a group H acts on a group F freely if for and only with or . It is proved that a Frobenius group generated by two quadratic elements is finite and its core is commutative. In particular, any Frobenius group generated by two elements of order at most 4 is finite. Also we argue that a Frobenius group with finitely generated soluble core is finite. The results mentioned are used to show that a group acting freely on an Abelian group is finite if it is generated by elements of order 3, and the order of a product of every two elements of order 3 in is finite.     

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 .     

On microfunctions at the boundary along CR manifolds

Let X be a complex analytic manifold, a C ² submanifold, an openset with C ² boundary .Denote by (resp. ) the microlocalization along M (resp. ) of the sheaf of holomorphic functions.In the literature (cf. [A-G], [K-S 1,2])one encounters two classical results concerning the vanishing of the cohomology groups .The most general gives the vanishing outside a range of indices j whose length is equal to (with being the number of respectively positive, negative and null eigenvalues for themicrolocal Levi form ).The sharpest result gives the concentration in a single degree, provided that the difference is locally constant for near p (with for z the base point of p).The first result was restated for the complex in [D'A-Z 2], in the case codim We extend it here to any codimension and moreover we also restate for the second vanishing theorem.We also point out that the principle of our proof, related to a criterion for constancy of sheaves due to [K-S 1], is a quite new one.     

Commutativity of the Arens product in lattice ordered algebras

Let be an Abelian Archimedean lattice ordered algebra. The order bidual furnished with the Arens product is again a lattice ordered algebra. We show that the order continuous order bidual is Abelian. This solves an open problem and improves a result of Scheffold, who proved it for the case of normed lattice ordered algebras. The proof is based on the up-down-up approximation of positive elements in the order continuous order bidual by elements in the canonical image of in Components of positive elements in are characterized and the result is applied to the Arens product of -and almost -algebras.     

Some New Extrapolation Estimates for the Scale of Spaces

Using new extrapolation estimates for the - and -functionals of couples of limit spaces of the -scale , we introduce a class of extrapolation functors. A characterization of this class via the real interpolation method permits one to obtain new equivalent expressions for the norms in symmetric spaces close to and , which depend only on the -norms of a function.     

On the Irreducibility of Commuting Varieties Associated with Involutions of Simple Lie Algebras

Let be a reductive Lie algebra over an algebraically closed field of characteristic zero and an arbitrary -grading. We consider the variety , which is called the commuting variety associated with the -grading. Earlier it was proved by the author that is irreducible, if the -grading is of maximal rank. Now we show that is irreducible for and (E₆,F₄). In the case of symmetric pairs of rank one, we show that the number of irreducible components of is equal to that of nonzero non--regular nilpotent G ₀-orbits in . We also discuss a general problem of the irreducibility of commuting varieties.     

Automorphisms of Aschbacher Graphs

If a regular graph of valence and diameter has vertices, then , which was proved by Moore (cf. [1]). Graphs for which this non-strict inequality turns into an equality are called Moore graphs. Such have an odd girth equal to . The simplest example of a Moore graph is furnished by a -triangle. Damerell proved that a Moore graph of valence has diameter 2. In this case , the graph is strongly regular with and , and the valence is equal to 3 (Peterson's graph), to 7 (Hoffman–Singleton's graph), or to 57. The first two graphs are of rank 3. Whether a Moore graph of valence exists is not known; yet, Aschbacher proved that the Moore graph with will not be a rank 3 graph. We call the Moore graph with the Aschbacher graph. Cameron showed that such cannot be vertex transitive. Here, we treat subgraphs of fixed points of Moore graph automorphisms and an automorphism group of the hypothetical Aschbacher graph for the case where that group contains an involution.     

Formulas for Lagranigian and orthogonal degeneracy loci; \widetilde Q-polynomial approach

The main goal of the paper is to give explicit formulas for the fundamental classes of Schubert subschemes in Lagrangian and orthogonal Grassmannians of maximal isotropic subbundles as well as some globalizations of them. The used geometric tools overlap appropriate desingularizations of such Schubert subschemes and Gysin maps for such Grassmannian bundles. The main algebraic tools are provided by the families of and -polynomials introduced and investigated in the present paper. The key technical result of the paper is the computation of the class of the (relative) diagonal in isotropic Grassmannian bundles based on the orthogonality property of and polynomials. Some relationships with quaternionic Schubert varieties and Schubert polynomials for classical groups are also discussed.