English

Some familiar graphs on the rings of measurable functions

General Mathematics 2023-07-07 v1

Abstract

In this paper, replacing `equality' by 'equality almost everywhere' we modify several terms associated with the ring of measurable functions defined on a measure space (X,A,μ)(X, \mathcal{A}, \mu) and thereby study the graph theoretic features of the modified comaximal graph, annihilator graph and the weakly zero-divisor graph of the said ring. The study reveals a structural analogy between the modified versions of the comaximal and the zero-divisor graphs, which prompted us to investigate whether these two graphs are isomorphic. Introducing a quotient-like concept, we find certain subgraphs of the comaximal graph and the zero-divisor graph of M(X,A)\mathcal{M}(X, \mathcal{A}) and show that these two subgraphs are always isomorphic. Choosing μ\mu as a counting measure, we prove that even if these two induced graphs are isomorphic, the parent graphs may not be so. However, in case of Lebesgue measure space on R\mathbb{R}, we establish that the comaximal and the zero-divisor graphs are isomorphic. Observing that both of the comaximal and the zero-divisor graphs of the ring M(X,A)\mathcal{M}(X, \mathcal{A}) are subgraphs of the annihilator graph of the said ring, we find equivalent conditions for their equalities in terms of the partitioning of XX into two atoms. Moreover, the non-atomicity of the underlying measure space XX is characterized through graph theoretic phenomena of the comaximal and the annihilator graph of M(X,A)\mathcal{M}(X, \mathcal{A}).

Keywords

Cite

@article{arxiv.2307.02492,
  title  = {Some familiar graphs on the rings of measurable functions},
  author = {Pratip Nandi and Atasi Deb Ray and Sudip Kumar Acharyya},
  journal= {arXiv preprint arXiv:2307.02492},
  year   = {2023}
}