Deakstadieđáhus: Gröbner bases in ring theory