Sharpness conjecture for products of commutators in associative rings
Sharpness conjecture. If (m,n)≠(3,3)(m,n)\ne(3,3)(m,n)=(3,3), then there is a unital associative ring AAA and elements ai,bj∈Aa_i,b_j\in Aai,bj∈A such that