S W Λ ⊗ T → j T ↓ ↓ End ⁡ P ( S ⊗ T ) / I = ( Z ⊗ T ) / J