AIMS Mathematics 2022, 7(10): 18784-18792
Published: 15 October 2022
Let be a commutative ring with multiplicative identity, a coassociative and counital -coalgebra, an -bialgebra. A clean comodule is a generalization and dualization of a clean module. An -module is called a clean module if the endomorphism ring of over (denoted by ) is clean. Thus, any element of can be expressed as a sum of a unit and an idempotent element of . Moreover, for a right -comodule , the endomorphism set of -comodule denoted by is a subring of . A -comodule is a clean comodule if the is a clean ring. A Hopf module over is a -module and a -comodule that satisfies the compatible conditions. This paper considers the notions of a clean ring, clean module, clean coalgebra, and clean comodule in relation to the Hopf Module. We divide our discussion into two parts, i.e., clean and bi-clean Hopf modules. A -Hopf module is said to be clean if the endomorphism ring of is clean, and is a bi-clean Hopf module if is clean as a module over and also clean as a comodule over . Moreover, we give sufficient conditions of (bi)-clean bialgebras and Hopf modules related to the cleanness concept of modules and comodules.