層コホモロジー

正の整数 n の標準表現、または標準形式は、素数を昇順に並べた素数のべき乗の積として表される、その整数の一意な素因数分解です。任意の整数 n > 1 に対して、n = p_1^{a_1} p_2^{a_2} cdots p_k^{a_k} と表すことができます。ここで、p_1 < p_2 < cdots < p_k は素数であり、指数 a_i は正の整数です。

コーシー初期値問題に関連する偏微分方程式に関する基本的な存在と一意性定理。偏微分方程式と初期条件が「解析的」（収束するべき級数で表現できる）であれば、初期曲面の近傍に一意の解析解が存在することを述べている。局所的な存在性は保証されるが、大域的な挙動や適切性については扱っていない。

素数 [latex]p[/latex] に対して、p 進数は、実数とは位相的に異なる有理数の拡張を形成します。実数は通常の絶対値計量に関して [latex]mathbb{Q}[/latex] の完備化ですが、p 進数は p 進計量に関して [latex]mathbb{Q}[/latex] の完備化であり、数が [latex]p[/latex] の高次のべき乗で割り切れる場合、「小さい」数となります。

超越数とは、代数的ではない実数または複素数のことです。つまり、整数（または有理数）係数を持つゼロでない多項式方程式の根ではない数です。すべての超越数は無理数ですが、すべての無理数が超越数であるとは限りません（例えば、[latex]sqrt{2}[/latex]は無理数ですが、[latex]x^2 - 2 = 0[/latex]の根なので代数的です）。

有理数の集合 [latex]mathbb{Q}[/latex] は、任意の異なる 2 つの有理数の間に別の有理数が存在するという稠密性を持つにもかかわらず、可算無限です。これは、すべての有理数を自然数 [latex]mathbb{N} = {1, 2, 3, ...}[/latex] と 1 対 1 で対応させることができることを意味します。この驚くべき結果は、[latex]mathbb{Q}[/latex] が [latex]mathbb{N}[/latex] および [latex]mathbb{Z}[/latex] と同じ濃度を持つことを示しています。

ヒルベルトの零点定理（ドイツ語で「零点定理」）は、幾何学と代数学の間に基本的な対応関係を確立する。この定理は、代数的に閉じた体[latex]k[/latex]において、多項式[latex]p[/latex]がイデアル[latex]I[/latex]の零点集合上でゼロになるならば、[latex]p[/latex]の何らかのべき乗が[latex]I[/latex]に属しなければならないと述べている。形式的には、[latex]I(V(I)) = sqrt{I}[/latex]、つまり[latex]I[/latex]の根基となる。

アフィン多様体とは、アフィン空間内の点の集合であり、その座標は有限個の多項式の共通零点である。多項式環 [latex]k[x_1, dots, x_n][/latex] 内の多項式の集合 [latex]S = {f_1, dots, f_k}[/latex] に対して、対応するアフィン多様体は [latex]V(S) = {x in k^n | f(x) = 0 text{ がすべての } f in S}[/latex] である。これは古典的な代数幾何学における中心的な研究対象である。