Related papers: Short proof of the Gallai-Edmonds Structure Theore…
Using nonstandard analysis, a very short and elementary proof of the Doob-Meyer decomposition and the Dol{\'e}ans Dade theorems is provided.
In this paper, we consider mod $\ell$ Galois representations of $\mathbb{Q}$. In particular, we obtain an effective criterion to distinguish two semisimple 2-dimensional, odd mod $\ell$ Galois representations up to isomorphism. Serre's…
We give a new proof of Lucas' Theorem in elementary number theory.
Motivated by localization theorems on moduli spaces, we prove a structural classification of Deligne-Mumford stacks with an action of a torus where the induced action on the coarse moduli space is trivial. We also establish a general local…
We prove Sklar's theorem in infinite dimensions via a topological argument and the notion of inverse systems.
We give a short and self-contained proof of the Marker-Steinhorn Theorem for o-minimal expansions of ordered groups, based on an analysis of linear orders definable in such structures.
We demonstrate the versatility of the tangle-tree duality theorem for abstract separation systems by using it to prove tree-of-tangles theorems. This approach allows us to strengthen some of the existing tree-of-tangles theorems by bounding…
In this paper, we use the idempotent decomposition to give an explicit isomorphism from an arbitrary semisimple Artinian ring to an external direct sum of finitely many full matrix rings over division rings.
In this paper we present new proofs of the Conway-Gordon-Sachs and Sachs Theorems on the linked cycles in graphs embedded in $\R^3$. We reduce these theorems to certain property of graphs mapped to the plane.
We give down-to-earth proofs of the structure theorems for persistence modules.
The "unit theorem" to which the present mini-course is devoted is a theorem from algebra that has a combinatorial flavour, and that originated in fact from algebraic combinatorics. Beyond a proof, the course also addresses applications, one…
The algebraic Hodge theorem was proved in a beautiful 1987 paper by Deligne and Illusie, using positive characteristic methods. We argue that the central algebraic object of their proof can be understood geometrically as a line bundle on a…
These are the notes for an undergraduate course at the University of Edinburgh, 2021-2023. Assuming basic knowledge of ring theory, group theory and linear algebra, the notes lay out the theory of field extensions and their Galois groups,…
Many proofs of the fundamental theorem of algebra rely on the fact that the minimum of the modulus of a complex polynomial over the complex plane is attained at some complex number. The proof then follows by arguing the minimum value is…
In this note we exhibit a very simple proof of McNaughton Theorem, almost right out of the definitions, and at the same time we observe that this theorem does not depend of Chang's completeness theorem.
An important "stability" theorem in shape theory, due to D.A. Edwards and R. Geoghegan, characterizes those compacta having the same shape as a finite CW complex. In this note we present straightforward and self-contained proof of that…
The main results in this note concern the characterization of the length of continua 1 (Theorems 2.5) and the parametrization of continua with finite length (Theorem 4.4). Using these results we give two independent and relatively…
We give a new proof of Brooks' theorem that immediately implies a strengthening of Brooks' theorem, known as Catlin's theorem.
We prove that the construction of our previous paper math.QA/0103190 yields an invariant of tangle cobordisms.
We give a relatively easy proof of the Erd\H os-Kac theorem via computing moments. We show how this proof extends naturally in a sieve theory context, and how it leads to several related results in the literature.