|
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.
Received: 25.04.2022
Citation:
Sh. A. Ayupov, Kh. K. Karimov, K. K. Kudaybergenov, “Isomorphism between the algebra of measurable functions and its subalgebra of approximately differentiable functions”, Vladikavkaz. Mat. Zh., 25:2 (2023), 25–37
Linking options:
https://www.mathnet.ru/eng/vmj857 https://www.mathnet.ru/eng/vmj/v25/i2/p25
|
Statistics & downloads: |
Abstract page: | 90 | Full-text PDF : | 18 | References: | 23 |
|