To jest moje pierwsze pytanie do HSM. Jeśli zostanie uznany za zbyt wyspecjalizowany dla HSM, być może można go przenieść do MathOverflow.

W algebraicznej teorii liczb często oznacza się pierścień algebraicznych liczb całkowitych w polu liczbowym $ K $ o $ O_K $. Podobnie w geometrii algebraicznej, gdzie bada się rozmaitości algebraiczne i późniejsze schematy, często pierścień funkcji regularnych na otwartym zbiorze $ U $ oznacza się przez $ O (U) $ lub $ \ mathcal {O} (U) $, i podobnie często oznacza się łodygę w punkcie $ p $ przez coś takiego jak $ O_p $ lub $ \ mathcal {O} _p $.

Skąd się wzięło to $ O $ lub gdzie zostało użyte po raz pierwszy? Domyślam się, że pierwotnie miało to coś wspólnego z Porządkiem w teorii pierścieni przemiennych, zaczynając od algebraicznej teorii liczb, a później przeniosło się do geometrii algebraicznej.

(pytam w nawiązaniu do komentarza, który napisałem w MO tutaj, w którym wyjaśniam prywatny kalambur, który opracowałem, aby nadać sens O- notacja, jaka jest używana w analizie asymptotycznej; po zrobieniu tego komentarza zdałem sobie sprawę, że nie mam pojęcia, skąd pochodzi notacja $ O $ w sensie tego pytania.)