Any two irreducible Markov chains of equal entropy are finitarily Kakutani equivalent

We show here that any two finite state irreducible Markov chains of the same entropy are finitarily Kakutani equivalent. By this we mean they are orbit equivalent by an invertible measure preserving mapping that is almost continuous and monotone in time when restricted to some cylinder set. Smorodinsky and Keane have shown that any two irreducible Markov chains of equal entropy and period are finitarily isomorphic. Hence, all that is necessary to obtain our result is to show that for every entropy h > 0 and period p ∈ ℕ there exists two irreducible Markov chains σ ₁, σ ₂ both of entropy h, where (1) σ ₁ is mixing (2) ς ₂ has period p and (3) σ1 and σ ₂ are finitarily Kakutani equivalent.     

Strictly ergodic models for non-invertible transformations

We generalize a result of R. Jewett [J]: IfT is an ergodic measure preserving transformation on (X, Ω,λ),T not necessarily invertible, there exists a strictly ergodicS acting on (Y, Θ,ν), whereY is compact, such that (X, Ω,λ, T) is measure theoretically isomorphic to (Y, Θ,ν, S).     

K-Theory of pseudodifferential operators with semi-periodic symbols

Let 𝔄 denote the C^*-algebra of bounded operators on L ² ℝ generated by: (i) all multiplications a(M) by functions a∈C[ − ∞, + ∞], (ii) all multiplications by 2π-periodic continuous functions, and (iii) all operator of the form F ⁻¹ b(M)F, where F denotes the Fourier transform and b∈C[ − ∞, + ∞]. A given A ∈ 𝔄 is a Fredholm operator if and only if σ(A) and γ(A) are invertible, where σ denotes the continuous extension of the usual principal symbol, while γ denotes an operator-valued “boundary principal symbol” (the “boundary” here consists of two copies of the circle, one at each end of the real line). We give two proofs of the fact that K ₀(𝔄) is isomorphic to ℤ and that K ₁(𝔄) is isomorphic to ℤ ⊕ ℤ . We do it first by computing the connecting mappings in the six-term exact sequence associated to σ. For the second proof, we show that the image of γ is isomorphic to the direct sum of two copies of the crossed product , where α denotes the translation-by-one automorphism. Its K-theory can be computed using the Pimsner–Voiculescu exact sequence, and that information suffices for the analysis of the standard cyclic exact sequence associated to γ. Received: February 2006     

Goldie Conditions for Ore Extensions over Semiprime Rings

Let R be a ring, σ an injective endomorphism of R and δ a σ-derivation of R. We prove that if R is semiprime left Goldie then the same holds for the Ore extension R[x;σ,δ] and both rings have the same left uniform dimension. Presented by S. Montgomery Mathematics Subject Classification (2000) 16S90. Jerzy Matczuk: Supported by the Flemish–Polish bilateral agreement BIL 01/31.     

Invertible liftings of measurable transformations

A relatively simple construction is given to show that, under mild hypotheses, a given measurable nonsingular surjection of a measure spaceS onto a measure spaceS′ can be lifted to an invertible (injective) one,θ, between larger measure spaces; and in the endomorphic case (in whichS=S′) the transformationθ can also be made an endomorphism.     

Finitely generated varieties of distributive double <Emphasis Type="Italic">p</Emphasis>-algebras universal modulo a group

For any monoid M, any universal variety contains arbitrarily large algebras whose endomorphism monoid is isomorphic to M. A variety universal modulo a group G contains arbitrarily large algebras whose endomorphism monoid is isomorphic to the direct product M x G. One of the results of this paper structurally characterizes all finitely generated varieties of distributive double p-algebras universal modulo a group, and shows that any unavoidable direct factor G is a Boolean group with at most eight elements.     

The structure of invertible substitutions on a three-letter alphabet

We study the structure of invertible substitutions on three-letter alphabet. We show that there exists a fi-nite set S of invertible substitutions such that any invertible substitution can be written as Iw^oQ1^oQ2^o……^oQk,,where Iw is the inner automorphism associated with w, and ajЕS for l≤j≤k. As a consequence, M is thematrix of an invertible substitution if and only if it is a finite product of non-negative elementary matrices.     

All idempotent hypersubstitutions of type (2,2)

A hypersubstitution of type (2,2) is a map σ which takes the binary operation symbols f and g to binary terms σ(f) and σ(g). Any such σ can be inductively extended to a map on the set of all terms of type (2,2). By using this extension on the set Hyp(2,2) of all hypersubstitutions of type (2,2) a binary operation can be defined. Together with the identity hypersubstitution mapping f to f(x ₁,x ₂) and g to g(x ₁,x ₂) the set Hyp(2,2) forms a monoid. This monoid is isomorphic to the endomorphism monoid of the clone of all binary terms of type (2,2). We determine all idempotent elements of this monoid. The results can be applied to the equational theory of Universal Algebra.     

On the associativity of the product of measure spaces

If we arbitrarily choose finitely many measure spaces, then the existence of a product of these measure spaces can be proved. It is well known that this operation is not associative which is a substantial difficulty. In this paper we show that the associative law remains true between the σ-algebras of the product spaces, and we give an extension of the Fubini's theorem. This revised version was published online in June 2006 with corrections to the Cover Date.     

Commuting point transformations

Summary The question considered is the following: If two invertible measure preserving point transformations commute, in what sense is one a function of the other? The main theorem is the following: If two invertible measure preserving transformations commute, and if the first admits of approximation by periodic transformations, then the second transformation is a piecewise power of the first, where we say that is a piecewise power of if there exists a sequence [j(n)] of positive integers such that for each measurable set A the limit of the measure of the symmetric difference of (A) and ^j(n) (A) tends to zero.Research supported in part by NSF grant GP-3752.     

Modules for quadratic extensions of Dedekind rings

Let σ be a Dedekind ring, let σ be a maximal order in a quadratic extension K of the field k of quotients of the ring σ, let Λ be a subring of the ring σ, containing σ and such that ΛK=K. It is proved that σ/Λ is a cyclic Λ-module. From here there follows, in particular, that each finitely generated torsion-free Λ-module is a direct sum of modules which are isomorphic to the ideals of ring Λ. Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 160, pp. 262, 1987.     

Summability of a ring of endomorphisms of vector groups

Sufficient conditions are found for arbitrary endomorphisms to have a presentation by sum of automorphisms in the class of Abelian groups whose endomorphism rings are isomorphic to a ring of finite-rowed matrices. This result is then used to establish a criterion for such a presentation in terms of type language for vector Abelian groups, whose reduced part does not exceed the first cardinal of nonzero measure. Translated fromAlgebra i Logika, Vol. 37, No. 1, pp. 88–100, January–February, 1998.     

Complete positivity,tensor products and C*-nuclearity for inverse limits of C*-algebras

The paper aims at developing a theory of nuclear (in the topological algebraic sense) pro-C^*-algebras (which are inverse limits of C^*-algebras) by investigating completely positive maps and tensor products. By using the structure of matrix algebras over a pro-C^*-algebra, it is shown that a unital continuous linear map between pro-C^*-algebrasA andB is completely positive iff by restriction, it defines a completely positive map between the C^*-algebrasb(A) andb(B) consisting of all bounded elements ofA andB. In the metrizable case,A andB are homeomorphically isomorphic iff they are matricially order isomorphic. The injective pro-C^*-topology α and the projective pro-C^*-topology v on A⊗B are shown to be minimal and maximal pro-C^*-topologies; and α coincides with the topology of biequicontinous convergence iff eitherA orB is abelian. A nuclear pro-C^*-algebraA is one that satisfies, for any pro-C^*-algebra (or a C^*-algebra)B, any of the equivalent requirements; (i) α =v onA ⊗B (ii)A is inverse limit of nuclear C^*-algebras (iii) there is only one admissible pro-C^*-topologyon A⊗B (iv) the bounded partb(A) ofA is a nuclear C⊗-algebra (v) any continuous complete state map A→B^* can be approximated in simple weak^* convergence by certain finite rank complete state maps. This is used to investigate permanence properties of nuclear pro-C^*-algebras pertaining to subalgebras, quotients and projective and inductive limits. A nuclearity criterion for multiplier algebras (in particular, the multiplier algebra of Pedersen ideal of a C^*-algebra) is developed and the connection of this C^*-algebraic nuclearity with Grothendieck’s linear topological nuclearity is examined. A σ-C^*-algebraA is a nuclear space iff it is an inverse limit of finite dimensional C^*-algebras; and if abelian, thenA is isomorphic to the algebra (pointwise operations) of all scalar sequences.     

Joint ergodicity and mixing

The study of jointly ergodic measure preserving transformations of probability spaces, begun in [1], is continued, and notions of joint weak and strong mixing are introduced. Various properties of ergodic and mixing transformations are shown to admit analogues for several transformations. The case of endomorphisms of compact abelian groups is particularly emphasized. The main result is that, given such commuting endomorphisms σ₁σ₂,...,σ, ofG, the sequence ((1/N)Σ _n=0 ^N−1 σ ₁ ⁿ f ¹·σ ₂ ⁿ f ²· ··· · σ _s ⁿ f ^sconverges inL ²(G) for everyf ₁,f ₂,…,f _s∈L ^∞(G). If, moreover, the endomorphisms are jointly ergodic, i.e., if the limit of any sequence as above is Π _i=1 ^s ∫ _G f ₁ d μ, where μ is the Haar measure, then the convergence holds also μ-a.e.     

On the complemented subspaces problem

A Banach space is isomorphic to a Hilbert space provided every closed subspace is complemented. A conditionally σ-complete Banach lattice is isomorphic to anL _p -space (1≤p<∞) or toc ₀(Γ) if every closed sublattice is complemented.     

Equimorphy in varieties of distributive double p-algebras

Any finitely generated regular variety V of distributive double p-algebras is finitely determined, meaning that for some finite cardinal n(V), any subclass S V of algebras with isomorphic endomorphism monoids has fewer than n(V) pairwise non-isomorphic members. This result follows from our structural characterization of those finitely generated almost regular varieties which are finitely determined. We conjecture that any finitely generated, finitely determined variety of distributive double p-algebras must be almost regular.     

Measurable Categories

We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a rigorous construction for the bicategory used in [3] and [4] as the basis for a representation theory of (Lie) 2-groups. Two important technical results are established along the way: first it is shown that all invertible additive bounded functors (and thus a fortiori all invertible *-functors) between categories of measurable fields of Hilbert spaces are induced by invertible measurable transformations between the underlying Borel spaces and second we establish the distributivity of Hilbert space tensor product over direct integrals over Lusin spaces with respect to σ-finite measures. The paper concludes with a general definition of measurable bicategories.     

Extension of the Stieltjes moment sequence to the left and related problems of the spectral theory of inhomogeneous string

For an inhomogeneous string with known mass distribution (the total mass is assumed to be infinite), known finite length, and unknown spectral measure dσ(t), we construct an analogous string with spectral measure dσ(t)/t. This enables one to determine the moments of all non-negative orders for the measure dσ(t). The mechanical interpretation of Stieltjes’ investigation of the problem of moments proposed by Krein enables one to solve the problem of finding the moments of negative orders for the Stieltjes moment sequence that has a unique solution. This problem is equivalent to the problem of determining the asymptotic behavior of the associated Stieltjes function near zero on the basis of its known asymptotic behavior at infinity. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 6, pp. 815–825, June, 2007.     

Transformation semigroups preserving a binary relation

We investigate the semigroups of full and partial transformations of a set X which preserve a binary relation σ defined on X. We consider in detail the case where σ is an order or a quasi-order relation. There are conditions of regularity of such semigroups. We introduce two definitions of preservation of σ for the semigroup of binary relations. It is proved that subsets of B(X) preserving σ are semigroups in each case. We give the condition of regularity of B _σ (X) in the case where σ(X) is a quasi-order.     

Markov processes associated with L p -resolvents and applications to stochastic differential equations on Hilbert space

We give general conditions on a generator of a C₀-semigroup (resp. of a C₀-resolvent) on L^p(E,μ), p ≥ 1, where E is an arbitrary (Lusin) topological space and μ a σ-finite measure on its Borel σ-algebra, so that it generates a sufficiently regular Markov process on E. We present a general method how these conditions can be checked in many situations. Applications to solve stochastic differential equations on Hilbert space in the sense of a martingale problem are given. Dedicated to Giuseppe Da Prato on the occasion of his 70th birthday