SMS: Gröbner bases in ring theory