RUS  ENG
Full version
JOURNALS // Vladikavkazskii Matematicheskii Zhurnal // Archive

Vladikavkaz. Mat. Zh., 2023 Volume 25, Number 2, Pages 25–37 (Mi vmj857)

Isomorphism between the algebra of measurable functions and its subalgebra of approximately differentiable functions

Sh. A. Ayupovab, Kh. K. Karimovbc, K. K. Kudaybergenovcdb

a National University of Uzbekistan, 4 University St., Tashkent 100174, Uzbekistan
b V. I. Romanovsky Institute of Mathematics, 9 University St., Tashkent 100174, Uzbekistan
c Karakalpak State University, 1 Ch. Abdirov St., Nukus 230112, Uzbekistan
d North Caucasus Center for Mathematical Research VSC RAN, 53 Vatutina St., Vladikavkaz 362025, Russia

Abstract: The present paper is devoted to study of certain classes of homogeneous regular subalgebras of the algebra of all complex-valued measurable functions on the unit interval. It is known that the transcendence degree of a commutative unital regular algebra is one of the important invariants of such algebras together with Boolean algebra of its idempotents. It is also known that if $(\Omega, \Sigma, \mu)$ is a Maharam homogeneous measure space, then two homogeneous unital regular subalgebras of $S(\Omega)$ are isomorphic if and only if their Boolean algebras of idempotents are isomorphic and transcendence degrees of these algebras coincide. Let $S(0,1)$ be the algebra of all (classes of equivalence) measurable complex-valued functions and let $AD^{(n)}(0,1)$ ($n\in \mathbb{N}\cup\{\infty\}$) be the algebra of all (classes of equivalence of) almost everywhere $n$-times approximately differentiable functions on $[0,1].$ We prove that $AD^{(n)}(0,1)$ is a regular, integrally closed, $\rho$-closed, $c$-homogeneous subalgebra in $S(0,1)$ for all $n\in \mathbb{N}\cup\{\infty\},$ where $c$ is the continuum. Further we show that the algebras $S(0,1)$ and $AD^{(n)}(0,1)$ are isomorphic for all $n\in \mathbb{N}\cup\{\infty\}.$ As an application of these results we obtain that the dimension of the linear space of all derivations on $S(0,1)$ and the order of the group of all band preserving automorphisms of $S(0,1)$ coincide and are equal to $2^c.$ Finally, we show that the Lie algebra $\operatorname{Der} S(0, 1)$ of all derivations on $S(0,1)$ contains a subalgebra isomorphic to the infinite dimensional Witt algebra.

Key words: regular algebra, algebra of measurable functions, isomorphism, band preserving isomorphism.

UDC: 517.982

MSC: 26A33, 34B15, 34D20, 47H10

Received: 25.04.2022

Language: English

DOI: 10.46698/z5485-1251-9649-y



© Steklov Math. Inst. of RAS, 2024