diff --git a/archives/galois-queue/001-Galois theory.md b/archives/galois-queue/001-Galois theory.md
new file mode 100644
index 0000000..32f6dfb
--- /dev/null
+++ b/archives/galois-queue/001-Galois theory.md	
@@ -0,0 +1,60 @@
+# Mathematical Object Origin Archive | Galois Theory
+
+## 1. Archive Information
+
+- Standard Name: Galois theory
+- Mathematical Field: Abstract algebra — field theory and the theory of polynomial equations, with group theory as an inseparable companion field.
+- Abstract: Galois theory associates to a field extension $L/K$ — in the motivating case, the splitting field of a polynomial $f \in K[x]$ — the group $\mathrm{Gal}(L/K)$ of $K$-automorphisms of $L$, and establishes an inclusion-reversing correspondence between intermediate fields and subgroups. It was created to decide, for a given polynomial equation, whether its roots are expressible by radicals, and it answers that question completely: for a separable polynomial (in characteristic $0$, unconditionally), the equation is solvable by radicals exactly when its Galois group is a solvable group. In doing so it founded group theory as an autonomous subject and recast algebra in structural terms.
+
+## 2. Core Record
+
+### Precise Description
+
+Galois theory is the study of field extensions through their automorphism groups, organized around two theorems.
+
+(a) Fundamental theorem of Galois theory. Let $L/K$ be a finite Galois extension — the splitting field of a separable polynomial over $K$ — with Galois group $G = \mathrm{Gal}(L/K)$, the group of field automorphisms of $L$ fixing $K$ pointwise. Then the maps
+$$H \mapsto L^H = \{x \in L : \sigma(x) = x \text{ for all } \sigma \in H\}, \qquad E \mapsto \mathrm{Gal}(L/E)$$
+are mutually inverse, inclusion-reversing bijections between subgroups $H \le G$ and intermediate fields $K \subseteq E \subseteq L$. Degrees match indices: $[L:E] = |\mathrm{Gal}(L/E)|$ and $[E:K] = [G : \mathrm{Gal}(L/E)]$. A subgroup $H$ is normal in $G$ if and only if $L^H/K$ is a normal extension — equivalently a Galois extension, since $L^H/K$ is automatically separable as an intermediate field of the separable extension $L/K$ — and in that case $\mathrm{Gal}(L^H/K) \cong G/H$.
+
+(b) Solvability criterion. For a separable polynomial $f \in K[x]$ with splitting field $L$, the Galois group of $f$ is $\mathrm{Gal}(L/K)$, acting faithfully as a permutation group on the roots of $f$. The roots of $f$ are expressible by radicals over $K$ if and only if $\mathrm{Gal}(L/K)$ is a solvable group: one admitting a subnormal series $G = G_0 \trianglerighteq G_1 \trianglerighteq \cdots \trianglerighteq G_r = \{1\}$ with abelian successive quotients $G_i/G_{i+1}$ (refinable, for this purpose, to cyclic quotients of prime order). This criterion is unconditional in characteristic $0$; in characteristic $p > 0$ it holds provided the radical adjunctions used have degrees prime to $p$.
+
+### Mathematical Context and Formation
+
+The motivating problem class was the solution of polynomial equations by radicals: given an equation $f(x) = 0$ of degree $n$ over (say) $\mathbb{Q}$, decide whether its roots can be expressed from the coefficients by field operations and extraction of roots, and if so, produce such expressions. Formulas for degrees $2$, $3$, and $4$ were known — the cubic and quartic through sixteenth-century work of del Ferro, Tartaglia, Cardano, and Ferrari — but the general quintic resisted for over two and a half centuries. Lagrange's analysis of the known methods [3] located their common mechanism: each solution passes through auxiliary "resolvent" equations whose degrees equal the number of distinct values assumed by suitable rational functions of the roots under permutation. This showed that solvability is governed by the combinatorics of permutations of the roots, but the framework organized only known successes; it could not decide new cases. Ruffini then gave a proof (1799, containing a gap) — completed and made fully rigorous by Abel (1824, 1826) [2] — that no radical formula exists for the general equation of degree $n \ge 5$, while Gauss's treatment of the cyclotomic equations $x^n - 1 = 0$ showed large families of particular high-degree equations to be solvable by radicals. The result was a boundary that the existing concepts could not describe: solvability varies from equation to equation, and neither the formula-constructing methods of the sixteenth century nor the impossibility theorems for the *general* equation could decide a *given* equation or explain what mathematically distinguishes solvable from unsolvable ones.
+
+The mathematical difficulty was that solvability by radicals is not a property of any single formula but of the total algebraic structure of the roots: the obstruction lies in which rational relations among the roots hold over the coefficient field, hence in which permutations of the roots preserve all such relations. Algebra had no object that encoded this. Permutations were computational devices rather than structured mathematical objects; the field generated by the coefficients together with adjoined quantities was used implicitly but never conceptualized; and there was no way to measure what adjoining a single radical does to the totality of relations among the roots.
+
+Galois's insight, in his memoir on the conditions for solvability of equations by radicals (written 1830–1831, published 1846 [1]), was to make exactly that totality into an object: the group of the equation, consisting of all permutations of the roots that preserve every polynomial relation among them with coefficients in the base field — equivalently, in modern terms, $\mathrm{Gal}(L/K)$ for the splitting field $L$. He showed that adjoining to the base field one root of an auxiliary equation restricts the group to a subgroup; that adjoining all roots of an auxiliary equation restricts it to a normal subgroup whose quotient is the group of the auxiliary equation; and that adjoining an $n$-th root of a known quantity (with roots of unity available) corresponds to a step with cyclic quotient. Consequently the equation is solvable by radicals if and only if its group can be reduced to the identity through such steps — that is, if and only if the group is solvable [1]. Since the general equation of degree $n$ has group $S_n$, and $S_n$ is solvable exactly for $n \le 4$ (for $n \ge 5$ the alternating group $A_n$ is simple and nonabelian), the Abel–Ruffini theorem becomes a corollary, and the success of degrees $3$ and $4$ is explained by the solvable chains of $S_3$ and $S_4$, whose steps mirror the classical resolvent equations.
+
+The object crystallized further through reformulation: Jordan systematized the group-theoretic side (1870), Dedekind recast the theory in terms of fields and their automorphisms rather than equations and permutations, and Artin gave the autonomous field-theoretic presentation in which the Galois correspondence (theorem (a) above) is the foundation and the theory of equations an application [4][5]. The theory documented here is this field-theoretic object, together with its origin in the theory of equations.
+
+### Essential Role
+
+Galois theory made the motivating problem decidable in principle and structural in content.
+
+- It replaced an unbounded search — find a radical formula, or prove that none exists — with a finite computation attached to the equation: determine $\mathrm{Gal}(f)$, a finite permutation group computable in principle from $f$ — Galois himself gave a determination procedure using a Galois resolvent (a linear combination of the roots with distinct conjugate values), factorization of its minimal polynomial, and successive adjunction of roots, while modern algorithms often read cycle types from factorization modulo auxiliary primes by Dedekind's theorem — and test solvability of a finite group, a finite check via composition series. "Is this equation solvable by radicals?" became a computable property of the equation.
+- It reformulated the obstruction. "No radical formula exists" became "the group admits no subnormal series with abelian quotients." The vague question of why the quintic resists became the exact statement that $A_5$ is simple and nonabelian; the formulas in degrees $\le 4$ were explained, rather than merely exhibited, by the solvable series of $S_2$, $S_3$, and $S_4$, whose quotients correspond to the resolvent equations of the classical methods.
+- The correspondence itself is the mechanism doing the work. It is inclusion-reversing, so building an extension by successive adjunctions corresponds to descending a subgroup chain; normality of a subgroup matches normality of the corresponding extension, so the quotient group captures exactly what one adjunction step achieves; and the fact that a radical adjunction (in the presence of the needed roots of unity) is a cyclic extension — the algebraic heart of the criterion — is what forces the quotients in a solvable-by-radicals chain to be abelian. Each clause in the definition of a solvable group thereby acquires a field-theoretic meaning.
+
+This direct contribution should be distinguished from later uses: the theory also settles the classical straightedge-and-compass problems (trisection of a general angle, duplication of the cube, constructibility of regular $n$-gons) through the degree formalism $[L:K] = |\mathrm{Gal}(L/K)|$, but these are applications of the machinery, not its originating problem.
+
+The deeper viewpoint introduced is that the arithmetic content of an algebraic problem can be encoded in a group of symmetries, and that properties of equations should be studied through structure-preserving maps rather than through formulas. This is the origin of group theory as an autonomous subject — the very term "solvable group" records the motivating problem — and the prototype of a recurring correspondence paradigm, later instantiated in the Galois theory of covering spaces, differential Galois theory, and the use of Galois representations in number theory.
+
+## 3. Notes
+
+- Terminology: "Galois theory" denotes both the classical theory of equations (solvability by radicals) and the modern theory of field extensions via the Galois correspondence; the Galois group of a polynomial is the Galois group of its splitting field.
+- Related objects: splitting fields and normal/separable extensions; solvable groups; Kummer theory (abelian extensions and radicals); class field theory as the theory of abelian Galois extensions of number fields.
+- Limitations: the clean subgroup–subfield correspondence requires a Galois (normal and separable) extension; in characteristic $p$, inseparability must be excluded or handled separately, and the radical criterion requires the care noted in the Core Record. Determining the Galois group of a specific polynomial can be difficult in practice, and the inverse Galois problem — whether every finite group occurs as a Galois group over $\mathbb{Q}$ — remains open in general.
+- Attribution: the group concept is implicit rather than axiomatic in Galois's writings; the modern field-theoretic form of the object is due to later authors (Jordan, Dedekind, and Artin among them). The mathematical claims above are standard; the narrative assigning specific insights to particular contributors involves some interpretive synthesis of the historical record [4][5].
+
+## 4. Sources
+
+[1] É. Galois, "Mémoire sur les conditions de résolubilité des équations par radicaux" (1831), published by J. Liouville, *Journal de Mathématiques Pures et Appliquées* 11 (1846), 381–444.
+
+[2] N. H. Abel, "Mémoire sur les équations algébriques, où on démontre l'impossibilité de la résolution de l'équation générale du cinquième degré" (1824); expanded version in *Journal für die reine und angewandte Mathematik* 1 (1826).
+
+[3] J.-L. Lagrange, "Réflexions sur la résolution algébrique des équations," *Nouveaux Mémoires de l'Académie royale des Sciences et Belles-Lettres de Berlin* (1770–1771).
+
+[4] H. M. Edwards, *Galois Theory*, Graduate Texts in Mathematics 101, Springer, 1984.
+
+[5] J.-P. Tignol, *Galois' Theory of Algebraic Equations*, World Scientific, 2001 (2nd ed. 2016).