Dedekind's major contribution was a redefinition of irrational numbers in terms of Dedekind cuts. He introduced the notion of an ideal which is fundamental to ring theory.