Гиперконечное поле - Hyper-finite field

В математика, а гиперконечное поле является бесчисленный поле во многом похож на конечные поля. Точнее поле F называется гиперконечным, если он несчетный и квазиконечный, и для каждого подполя E, каждый абсолютно весь E-алгебра (расширение обычного поля из E) меньших мощность чем F может быть встроен в F. Их представил Топор (1968). Каждое сверхконечное поле является псевдоконечное поле, и, в частности, является моделью для теории конечных полей первого порядка.

использованная литература

• Акс, Джеймс (1968), "Элементарная теория конечных полей", Анналы математики, Вторая серия, Анналы математики, 88 (2): 239–271, Дои:10.2307/1970573, ISSN  0003-486X, JSTOR  1970573, Г-Н  0229613, Zbl  0195.05701