Self-Orthogonal Modules of Finite Projective Dimension

Let R be a ring and _R ω a self-orthogonal module. We introduce the notion of the right orthogonal dimension (relative to _R ω) of modules. We give a criterion for computing this relative right orthogonal dimension of modules. For a left coherent and semilocal ring R and a finitely presented self-orthogonal module _R ω, we show that the projective dimension of _R ω and the right orthogonal dimension (relative to _R ω) of R/J are identical, where J is the Jacobson radical of R. As a consequence, we get that _R ω has finite projective dimension if and only if every left (finitely presented) R-module has finite right orthogonal dimension (relative to _R ω). If ω is a tilting module, we then prove that a left R-module has finite right orthogonal dimension (relative to _R ω) if and only if it has a special ω^⊥-preenvelope.