A remark on the Galois-type correspondence between ideal coideals and comodule subrings of a Hopf algebroid (Q6203878)

The study of Galois-type correspondences between ideal coideals and coideal subalgebras in the theory of Hopf algebras has a long tradition of outstanding results, starting from the renowned paper [\textit{M. Takeuchi}, Manuscr. Math. 7, 251--270 (1972; Zbl 0238.16011)]. Recently, the interest in this correspondence has been extended to the Hopf algebroid setting in the paper [\textit{L. E. Kaoutit} et al., ``Correspondence theorems for Hopf algebroids with applications to affine groupoids'', Preprint, \url{arXiv:2211.07756}], with the aim of discussing a quotient theory of affine groupoid schemes from a Hopf algebraic perspective. This paper aims to establish the Galois-type correspondence between ideal coideals and comodule subrings of a Hopf algebroid. In this paper, the author mainly provides the correspondence between coideal subrings and left ideal coideals in bialgebroids, and provides some examples to show how the novel, milder, conditions cannot be avoided.