📐 Characterization of Cyclic Extensions Let $F$ contain a primitive $n$th root of unity. Then $K/F$ is cyclic of degree $n$ if and only if $K = F(\\alpha)$ where $\\alpha^n \\in F$. From: gal-morandi Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Normal Extension A finite extension $E/F$ is normal if every irreducible polynomial in $F[X]$ having a root in $E$ splits completely in $E[X]$. From: gal-weintraub Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Field Extension If $F$ and $K$ are fields with $F \\subseteq K$, then $K$ is a **field extension** of $F$, written $K/F$. The **degree** $[K:F]$ is the dimension of $K$ as an $F$-vector space. From: gal-morandi Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Theorem 2 In any generating system, the maximum number of independent vectors is equal to the dimension of the vector space. Proof: Let $A_1, \\ldots, A_r$ be a maximal independent subset of the generating system. Every remaining generator is a linear combination of $A_1, \\ldots, A_r$. If $B_1, \\ldots, B_t$ are any vectors with $t > r$, expressing each $B_j$ in terms of the $A_i$ gives a homogeneous system with more unknown... From: gal-artin Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Cubic Resolvent The resolvent cubic of a quartic $x^4 + bx^2 + cx + d$ is $y^3 - by^2 - 4dy + (4bd - c^2)$. The Galois group of the quartic is determined by the factorization of the resolvent cubic and the discriminant. From: gal-morandi Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Galois Group of the General Equation Let $K\ From: gal-edwards Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Fundamental Theorem of Linear Maps If $V$ is finite-dimensional and $T \\in \\mathcal{L}(V, W)$, then $\\operatorname{range} T$ is finite-dimensional and $\\dim V = \\dim \\operatorname{null} T + \\dim \\operatorname{range} T$. Proof: Let $u_1, \\ldots, u_m$ be a basis of $\\operatorname{null} T$. Extend to a basis $u_1, \\ldots, u_m, v_1, \\ldots, v_n$ of $V$. Then $Tv_1, \\ldots, Tv_n$ is a basis of $\\operatorname{range} T$, giving $\\dim V = m + n = \\dim \\operatorname{null} T + \\dim \\operatorname{range} T$. From: linalg-axler Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Galois Extension A finite extension $E/F$ is Galois if it is both normal and separable. Equivalently, $|\\operatorname{Aut}(E/F)| = [E:F]$. From: gal-weintraub Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Splitting Field Let $K$ be a field and let $f(x) = 0$ be a polynomial with coefficients in $K$. A splitting field of $f$ over $K$ is a field $K(a, b, c, \\ldots)$ containing $K$ and a complete set of roots $a, b, c, \\ldots$ of $f(x) = 0$. By the Corollary, the splitting field equals $K(t)$ for a single Galois resolvent $t$. From: gal-edwards Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

💡 The Significance of Aura Colors Each color in the aura corresponds to a specific quality of soul life. Blue tones indicate devotion and religious feeling; red expresses passion and anger; yellow radiates from intellectual activity; green relates to adaptability and empathy; violet indicates spiritual aspiration. The clarity, brightness, and stability of the colors reveal the degree to which these qualities are purified and de... From: steiner-GA90a Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

💡 Proposition 6.1.7 (Uniqueness of Limits) Let $(a_n)$ be a real sequence. If $(a_n)$ converges to $L$ and also to $L\ Proof: Suppose $(a_n)$ converges to both $L$ and $L' \\neq L$. Let $\\varepsilon := |L - L'|/3 > 0$. There exists $N$ with $|a_n - L| \\leq \\varepsilon$ for $n \\geq N$, and $M$ with $|a_n - L'| \\leq \\varepsilon$ for $n \\geq M$. For $n := \\max(N, M)$: $|L - L'| \\leq |L - a_n| + |a_n - L'| \\leq... From: tao-analysis-1 Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Definition: Pivot A pivot is the first nonzero entry in a row of a matrix in echelon form. The pivot positions determine the structure of the solution space. From: Linear Algebra Learn more:

Introduction to Linear Algebra | Math Academy

Interactive course based on Gilbert Strang

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Simple Algebraic Extensions Let $K$ be a given field and let $G(X)$ be an irreducible polynomial with coefficients in $K$. Then one can construct a field $K(t)$ such that: (1) $K(t)$ contains $K$, (2) $K(t)$ contains an element $t$ with $G(t) = 0$, and (3) every element of $K(t)$ can be expressed as a polynomial $b_0 + b_1 t + \\cdots + b_\\nu t^\\nu$ where $\\nu < \\deg G$. Moreover, any two such fields are naturally iso... Proof: Let $R$ be the set of all polynomials in $X$ with coefficients in $K$. Two elements are congruent mod $G$ if their difference is divisible by $G(X)$. The quotient $L$ is a ring. The mapping $k \\mapsto$ [class of constant $k$] embeds $K$ into $L$. The class of $X$ is a root of $G$ in $L$. The Euc... From: gal-edwards Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

💡 Proposition I.18 In any triangle the greater side subtends the greater angle. From: Euclid's Elements Learn more:

Euclid's Elements | Math Academy

The foundational text of Western mathematics. Study all 13 books of Euclid

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

💡 Proposition III.23 On the same straight line there cannot be constructed two similar and unequal segments of circles on the same side. From: Euclid's Elements Learn more:

Euclid's Elements | Math Academy

The foundational text of Western mathematics. Study all 13 books of Euclid

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Lines in Homogeneous Coordinates A line in $\\mathbb{RP}^2$ is the set of points $[x : y : z]$ satisfying $ax + by + cz = 0$ for some $(a, b, c) \\neq (0, 0, 0)$. The line can be represented by $[a : b : c]$. From: Four Pillars of Geometry Learn more:

The Four Pillars of Geometry | Magic Internet Math

Explore geometry from four perspectives: Euclidean constructions, coordinates, projective geometry, and transformations. Based on John Stillwell

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📖 Carmichael Number A Carmichael number is composite $n$ that is a Fermat pseudoprime to all bases $a$ with $\\gcd(a,n) = 1$. From: Algebraic Number Theory Learn more:

Number Theory and Cryptography | Math Academy

Interactive course for learning Number Theory and Cryptography

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Successive Derivatives of a Polynomial For a polynomial of degree $n$, the $(n+1)$th derivative and all subsequent derivatives are zero. From: Beginner Calculus Learn more:

Introductory Calculus | Math Academy

Calculus Made Easy - An interactive introduction to calculus

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

📐 Inverse Function Theorem If f: R^n → R^n is C¹ and Df(a) is invertible, then f is a local diffeomorphism near a. From: analysis-pugh Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

💡 The Threefold Soul Between the ego and the three lower bodies lie three soul members: the Sentient Soul (the ego working in the astral body), the Intellectual Soul or Mind Soul (the ego working in the etheric body), and the Consciousness Soul (the ego working in the physical body). These three soul members represent stages of the ego\ From: steiner-GA90a Learn more:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.

Explore all courses:

Magic Internet Math

Interactive courses covering the mathematics that powers modern technology, from foundational algebra to the cryptography securing the internet.