奥斯特洛夫斯基定理是一个关于有理数域绝对赋值的定理。于1916年由亚历山大·马雅科维奇·奥斯特洛夫斯基证明。该定理说明，任何非平凡的有理数Q的绝对赋值要么等价于通常实数的绝对赋值，要么等价于P进数的绝对赋值。
在数学中，极值是极大值与极小值的统称，意指在一个域上函数取得最大值或最小值的点的函数值。而使函数取得极值的点被称作极值点。这个域既可以是一个邻域，又可以是整个函数域。
在数学中，线性映射是在两个向量空间之间的一种保持向量加法和标量乘法的特殊映射。线性映射从抽象代数角度看是向量空间的同态，从范畴论角度看是在给定的域上的向量空间所构成的范畴中的态射。
代数数域是数学中代数数论的基本概念，数域的一类，有时也被简称为数域，指有理数域
Q
{\displaystyle \mathbb {Q} }
的有限扩张形成的扩域。任何代数数域都可以视作
Q
{\displaystyle \mathbb {Q} }
上的有限维向量空间。
代数扩张是抽象代数中域扩张的一类。一个域扩张L/K被称作代数扩张，当且仅当L中的每个元素都是某个以K中元素为系数的非零多项式的根。反之则称之为超越扩张。最简单的代数扩张例子有：
C
/
R
{\displaystyle \mathbb {C} /\mathbb {R} }
、
Q
/
Q
{\displaystyle \mathbb {Q} /\mathbb {Q} }
。
抽象代数作为数学的一门学科，主要研究对象是代数结构，比如群、环、域、模、向量空间、格与代数。“抽象代数”一词出现于20世纪初，作为与其他代数领域相区别之学科。
在数学中，线性映射是在两个向量空间之间的一种保持向量加法和标量乘法的特殊映射。线性映射从抽象代数角度看是向量空间的同态，从范畴论角度看是在给定的域上的向量空间所构成的范畴中的态射。
在数学中，标量是指用来定义向量空间的域的一个元素。由多个标量描述的概念被称为向量。
在数学中，极值是极大值与极小值的统称，意指在一个域上函数取得最大值或最小值的点的函数值。而使函数取得极值的点被称作极值点。这个域既可以是一个邻域，又可以是整个函数域。
在数学中，有限域或伽罗瓦域是包含有限个元素的域。与其他域一样，有限域是进行加减乘除运算都有定义并且满足特定规则的集合。有限域最常见的例子是当 p 为素数时，整数对 p 模除。
Mini wiki
