Nonfree local modules detect algebra automorphisms
Automorphism-detection conjecture. If MMM is not free, then MMM cannot be fixed by all algebra automorphisms of AAA.
MathDB