SMS dit: Gröbner bases in ring theory