I dag har jeg hørt nogen tale om en basis (af et ideal), hvilket betyder et genererende sæt. Hele tiden havde jeg det godt med udtrykket Gröbner-basis , men når det kommer uden præfikset, er det lidt sjovt, da basis moralsk er øremærket til noget generere frit.
Så jeg spekulerede på, hvilket udtryk der blev brugt først, og hvordan, såvel som af hvem selvfølgelig. Den første ting, der kom til mig, var Hilberts grundlæggende sætning , men Hilbert talte ikke om baser. De næste navne at overveje var Gröbner og Buchberger. Og faktisk brugte Gröbner Basis til at generere idealsystemer, mens det at tale om et modul skulle basere sig på at skabe frit. (Se f.eks. Moderne Algebraische Geometrie , 1949, Springer Wien & Innsbruck.) Ikke overraskende, da han var studerende fra Gröbner kaldte Buchberger også genererende sæt idealbaser.
I indse, at en fuld beskrivelse af udviklingen af basis kunne være for meget at bede om, så jeg ville allerede være glad for at læse et svar, der bygger en bro mellem Hilberts grundlæggende sætning ( Über die Theorie der algebraischen Formen , 1890) og Gröbners terminologi, muligvis ved at pege på den første for at henvise til den som basis sætning .