Affine Variety

A transcendental number is a real or complex number that is not algebraic, meaning it is not a root of any non-zero polynomial equation with integer (or rational) coefficients. All transcendental numbers are irrational, but not all irrational numbers are transcendental (e.g., \(\sqrt{2}\) is irrational but algebraic, as it is a root of \(x^2 - 2 = 0\)).

Despite being dense, meaning between any two distinct rational numbers there is another, the set of all rational numbers \(\mathbb{Q}\) is countably infinite. This means that all rational numbers can be put into a one-to-one correspondence with the natural numbers \(\mathbb{N} = \{1, 2, 3, ...\}\). This surprising result demonstrates that \(\mathbb{Q}\) has the same cardinality as \(\mathbb{N}\) and \(\mathbb{Z}\).

Hilbert's Nullstellensatz (German for "theorem of zeros") establishes a fundamental correspondence between geometry and algebra. It states that for an algebraically closed field \(k\), if a polynomial \(p\) vanishes on the zero-set of an ideal \(I\), then some power of \(p\) must belong to \(I\). Formally, \(I(V(I)) = \sqrt{I}\), the radical of \(I\).

This theorem states that every integer greater than 1 is either a prime number or can be uniquely represented as a product of prime numbers, disregarding the order of the factors. For example, \(1200 = 2^4 \times 3^1 \times 5^2\). This unique factorization is a cornerstone of number theory, providing a fundamental multiplicative structure for the integers.

The canonical representation, or standard form, of a positive integer \(n\) is its unique prime factorization written as a product of prime powers with the primes in increasing order. For any integer \(n > 1\), it can be written as \(n = p_1^{a_1} p_2^{a_2} \cdots p_k^{a_k}\), where \(p_1 < p_2 < \cdots < p_k\) are prime numbers and the exponents \(a_i\) are positive integers.

A fundamental existence and uniqueness theorem for partial differential equations associated with Cauchy initial value problems. It states that if the PDE and the initial conditions are 'analytic' (can be represented by convergent power series), then a unique analytic solution exists in a neighborhood of the initial surface. It provides a local existence guarantee but does not address global behavior or well-posedness.

For a prime number \(p\), the p-adic numbers form an extension of the rational numbers that is topologically different from the real numbers. While real numbers are a completion of \(\mathbb{Q}\) with respect to the usual absolute value metric, the p-adic numbers are the completion of \(\mathbb{Q}\) with respect to the p-adic metric, where numbers are "small" if they are divisible by a high power of \(p\).

Sheaf cohomology is a central tool in modern algebraic geometry for studying global properties of geometric spaces. For a sheaf \(\mathcal{F}\) on a space \(X\), the cohomology groups \(H^i(X, \mathcal{F})\) are vector spaces whose dimensions provide important invariants. The group \(H^0\) represents global sections, while higher groups \(H^i\) for \(i > 0\) measure the obstructions to patching together local sections into a global one.