Relative homological rings and modules

The study of rings and modules with homological criteria is a cornerstone of commutative algebra. Let $R$ be a commutative Noetherian ring with identity (not necessarily local) and $\frak a$ a proper ideal of $R$. In this paper, a relative analogue of the theory of homological rings and modules is developed. We introduce the notions of $\frak a$-relative regular, $\frak a$-relative complete intersection, and $\frak a$-relative Gorenstein rings and modules. We extend some classical results by demonstrating some interactions between these types of rings and modules.