In the process, many facts about complete discrete valuation rings are developed, such as the structure of unramified and tamely ramified extensions.
Sa proseso, maraming mga katotohanan tungkol sa kumpletong discrete paghahalaga rings ay binuo, tulad ng istruktura ng unramified at tamely sanga extension.