One Resolution of the Conjecture between the Projective Dimension of a Simple Module S of an Artinian Ring on Zero Radical’s Cube and the First Bifunctor Extension on S

Through concepts from non-commutative algebra and homology, this paper resolves the conjecture that lets the first bifunctor extension to be zero when the projective dimension is finite, for a simple module S of an Artinian ring whose cube of its Jacobson radical is zero and under the condition that any simple module over this ring of finite projective dimension has aradical square zero of the cover projective of its first syzygy. For that, we use a property of the simple module which realizes the minimum of the finite projective dimensions of simple modules. Our main result is presented in the form of a corollary in the case of an Artinian ring with radical cubed zero such that the projective cover of its radical is of Loewy length two and its supremumbeing finite. In the part of discussions, we succeed to show the no loop conjecture through two examples. The first one is about its weak version by taking a quiver algebra A verifying J3 = 0 and without considering that rad2 (P(Ω(S))) = 0 for every simple module, while the second one shows that if the extension quiver has a loop in a simple module then its projective dimension is infinite for every nilpotence index of the Jacobson radical. More importantly, we finally provide a practical third example for our special case.