F ρ Functions

In the paper, the notion of F function, i.e., a partial recursive function whose resemblance type consists of one isomorphism type, is generalized.     

Domains of t-Functions

A nonempty and nonconstant partial recursive function such that any function resembling it is recursively isomorphic to it is called a t-function. It is proved that the domain of any t-function is neither a simple nor a pseudosimple set.     

关于半直积的同构

设N，H是两个群，φ，ψ驴分别是从群H到N的自同构群Aut(N)的两个自同态，本文证明了当群H及同态映射φ，ψ满足一定条件下半直积与半直积同构的三个定理，而其中两个定理包括了已知的两个结果。     

Inverse semigroups determined by their lattices of convex inverse subsemigroups I

Every inverse semigroup possesses a natural partial order and therefore convexity with respect to this order is of interest. We study the extent to which an inverse semigroup is determined by its lattice of convex inverse subsemigroups; that is, if the lattices of two inverse semigroups are isomorphic, how are the semigroups related? We solve this problem completely for semilattices and for inverse semigroups in general reduce it to the case where the lattice isomorphism induces an isomorphism between the semilattices of idempotents of the semigroups. For many inverse semigroups, such as the monogenic ones, this case is the only one that can occur. In Part II, a study of the reduced case enables us to prove that many inverse semigroups, such as the free ones, are strictly determined by their lattices of convex inverse subsemigroups, and to show that the answer obtained here for semilattices can be extended to a broad class of inverse semigroups, including all finite, aperiodic ones. Received September 24, 2002; accepted in final form December 15, 2002.     

Index sets of classes of automatic structures

We obtain exact estimates in the arithmetical and analytical hierarchies of index sets of various classes of automatic models. We also obtain estimates for the existence problems for computable isomorphism and embedding of automatic structures.     

侧完备Riesz空间中理想的直和及其表示定理

设{Ei：i∈I)是侧完备Riesz空间E中的一族理想，且Ei∩Ej=θ(i，j∈I，i≠j)．文章引入理想族{Ei：i∈I)直和的概念，并给出一个表示定理．文章证明了：存在一个完备的正则Hausdorff空间X使得理想族的直和Riesz同构于C(X)其充要条件是对每个i∈I存在一个紧Hausdorff空间Xi使得Ei Riesz同构于C(X)．     

On isomorphisms of circulant digraphs of bounded degree

C.H. Li recently made the following conjecture: Let Γ be a circulant digraph of order n=n₁n₂ and degree m, where gcd(n₁,n₂)=1, n₁ divides 4k, where k is odd and square-free, and every prime divisor of n₂ is greater than m, or, if Γ is a circulant graph, every prime divisor of n₂ is greater than 2m. Then Γ is a CI-digraph of Z_n. In this paper we verify that this conjecture is true.     

Central simple Poisson algebras

Poisson algebras are fundamental algebraic structures in physics and sym-plectic geometry. However, the structure theory of Poisson algebras has not been well developed. In this paper, we determine the structure of the central simple Poisson algebras related to locally finite derivations, over an algebraically closed field of characteristic zero. The Lie algebra structures of these Poisson algebras are in general not finitely-graded.     

On One Class of Matrix Differential Operators

We consider one class of matrix differential operators in the whole space. For this class of operators we establish the isomorphic properties in some special scales of weighted Sobolev spaces and study the regularity properties for solutions to the system of differential equations defined by these operators. The class of operators under consideration contains the stationary Navier–Stokes operator.