Geometric approach to the modular isomorphism problem: groups of order 64

Abstract

We introduce a procedure based on computational algebraic geometry to determine whether two algebras are isomorphic. We then apply it to show that if $R$ is a commutative unital ring in which $2$ is not invertible, $G$ is a group of order dividing $64$ and $H$ some group, then an isomorphism of unital algebras $RG \cong RH$ implies an isomorphism of groups $G \cong H$.