\(Z_{\alpha ^{\prime }}\not \le Q_{\alpha }\)

In this chapter, we examine the case where our critical pair \((\alpha , \alpha ')\) satisfies the symmetric hypothesis \([Z_{\alpha }, Z_{\alpha '}]\ne \{1\}\) .