힐베르트의 Nullstellensatz(“0의 정리”)

대수학의 기본 정리의 직접적인 결과는 실수 계수를 갖는 모든 상수항이 아닌 다항식을 실수 계수를 갖는 선형 인수와 기약 이차 인수의 곱으로 인수분해할 수 있다는 것입니다. 선형 인수는 실수 근에 해당하고, 기약 이차 인수는 복소 켤레 근 쌍[latex]a pm bi[/latex]에 해당합니다.

초월수는 실수 또는 복소수이면서 대수적 근이 아닌 수입니다. 즉, 정수(또는 유리수) 계수를 갖는 0이 아닌 다항식 방정식의 근이 아닌 수입니다. 모든 초월수는 무리수이지만, 모든 무리수가 초월수는 아닙니다(예: √2는 무리수이지만 x² - 2 = 0의 근이므로 대수적 근입니다).

유리수 집합 [latex]mathbb{Q}[/latex]는 두 유리수 사이에 항상 다른 유리수가 존재한다는 점에서 밀도가 높음에도 불구하고 셀 수 없이 많은 무한 집합이다. 이는 모든 유리수를 자연수 집합 [latex]mathbb{N} = {1, 2, 3, ...}[/latex]와 일대일로 대응시킬 수 있음을 의미한다. 이 놀라운 결과는 [latex]mathbb{Q}[/latex]가 [latex]mathbb{N}[/latex] 및 [latex]mathbb{Z}[/latex]와 동일한 기수(cardinality)를 가진다는 것을 보여준다.

아핀 다양체는 아핀 공간에서 유한 다항식 집합의 공통 근을 좌표로 갖는 점들의 집합입니다. 다항식 환 [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{ for all } f in S}[/latex]입니다. 이는 고전 대수 기하학에서 중요한 연구 대상입니다.

대수학의 기본 정리는 복소수 계수를 갖는 모든 상수항이 아닌 단일 변수 다항식은 적어도 하나의 복소수 근을 가진다고 명시합니다. 이는 복소수 영역이 대수적으로 닫혀 있음을 보장하며, 실수 영역에서는 풀 수 없는 다항식 방정식도 복소수 영역에서는 풀 수 있음을 의미합니다. 다항식 [latex]p(z) = a_n z^n + dots + a_1 z + a_0[/latex]에 대해, [latex]p(z_0) = 0[/latex]을 만족하는 [latex]z_0가 복소수 영역 mathbb{C}[/latex]에 존재합니다.

이 정리는 1보다 큰 모든 정수는 소수이거나, 인수의 순서에 관계없이 소수의 곱으로만 나타낼 수 있다는 것을 말합니다. 예를 들어, [latex]1200 = 2^4 times 3^1 times 5^2[/latex]입니다. 이러한 유일한 인수분해는 정수론의 초석이 되며, 정수에 대한 기본적인 곱셈 구조를 제공합니다.

양의 정수 n의 표준 표현 또는 표준 형식은 소수의 거듭제곱의 곱으로 나타낸 유일한 소인수 분해이며, 이때 소수는 오름차순으로 나열됩니다. 임의의 정수 n > 1에 대해 n = p₁ᵢ₁ᵢ₂ᵢ⋅pᵢᵢᵢ[/latex]로 나타낼 수 있으며, 여기서 p₁<p₂<⋅<pᵢ[/latex]는 소수이고 지수 aᵢ는 양의 정수입니다.

코시 초기값 문제와 관련된 편미분 방정식에 대한 기본적인 존재 및 유일성 정리입니다. 이 정리는 편미분 방정식과 초기 조건이 '해석적'(수렴하는 멱급수로 표현될 수 있는)이면 초기 조건 표면 근방에 유일한 해석적 해가 존재한다는 것을 나타냅니다. 이는 국소적인 존재를 보장하지만, 전역적인 거동이나 해의 존재성 및 유일성은 다루지 않습니다.

소수 p에 대해 p진수는 유리수의 확장으로, 위상적으로 실수와 다릅니다. 실수는 일반적인 절댓값 계량에 대한 Q 공간의 완비화인 반면, p진수는 p진 계량에 대한 Q 공간의 완비화이며, 여기서 p의 높은 거듭제곱으로 나누어 떨어지는 수를 "작은 수"라고 합니다.

층 코호몰로지는 기하 공간의 전역적 성질을 연구하는 현대 대수 기하학의 핵심 도구입니다. 공간 [latex]X[/latex] 상의 층 [latex]mathcal{F}[/latex]에 대해 코호몰로지 군 [latex]H^i(X, mathcal{F})[/latex]는 차원이 중요한 불변량을 제공하는 벡터 공간입니다. 군 [latex]H^0[/latex]는 전역 단면을 나타내고, [latex]i > 0[/latex]에 대한 더 높은 군 [latex]H^i[/latex]는 국소 단면들을 연결하여 전역 단면을 만드는 데 방해가 되는 정도를 측정합니다.