A Gentle Introduction to a Beautiful Theorem of Molien

Holger Schellwat

DOI: https://doi.org/10.48550/arXiv.1701.04692

2017-01-16

Abstract:The purpose of this note is to give an accessible proof of Moliens Theorem in Invariant Theory, in the language of today's Linear Algebra and Group Theory, in order to prevent this beautiful theorem from being forgotten.

General Mathematics

What problem does this paper attempt to address?

Towards solid abelian groups: A formal proof of Nöbeling's theorem

Dagur Asgeirsson

2024-05-28

Abstract:Condensed mathematics, developed by Clausen and Scholze over the last few years, is a new way of studying the interplay between algebra and geometry. It replaces the concept of a topological space by a more sophisticated but better-behaved idea, namely that of a condensed set. Central to the theory are solid abelian groups and liquid vector spaces, analogues of complete topological groups. Nöbeling's theorem, a surprising result from the 1960s about the structure of the abelian group of continuous maps from a profinite space to the integers, is a crucial ingredient in the theory of solid abelian groups; without it one cannot give any nonzero examples of solid abelian groups. We discuss a recently completed formalisation of this result in the Lean theorem prover, and give a more detailed proof than those previously available in the literature. The proof is somewhat unusual in that it requires induction over ordinals -- a technique which has not previously been used to a great extent in formalised mathematics.

Logic,Logic in Computer Science,General Topology
On an elementary proof of the fundamental theorem of algebra

Aivaras Novikas,Juozas Juvencijus Mačys

DOI: https://doi.org/10.1007/s10986-024-09651-1

2024-10-18

Lithuanian Mathematical Journal

Abstract:We present an elementary proof of the fundamental theorem of algebra, in which only the most basic notions of calculus are used. Considering discrete quantities instead of continuous functions allows us to obtain a proof that is fairly approachable but maintains the mathematical rigor.

mathematics
An Introduction to Mordell Weil Theorem

Shenghao Li

DOI: https://doi.org/10.48550/arXiv.1912.04401

2019-12-01

History and Overview

Abstract:This article is an introduction to Mordell-Weil theorem. In this article, I introduced some basic properties about ellptic curves and proved the theorem in two different ways.
Remarks on two theorems in linear algebra

Yifan Ren,Tongsuo Wu

DOI: https://doi.org/10.48550/arXiv.1911.07130

2019-12-07

Abstract:In this note, we use the concept of a polynomial ring to give an elementary proof to Cayley-Hamilton Theorem. We also give an elementary proof to Birkhoff theorem on Bi-stochastic matrices.

History and Overview
A note on "The Cartan-Hadamard conjecture and the Little Prince"

Spyridon Michalakis

DOI: https://doi.org/10.48550/arXiv.1702.00077

2017-02-01

Abstract:We provide elementary proofs of Lemmas 7.1 and 7.4 appearing in "The Cartan-Hadamard conjecture and the Little Prince", by B. Kloeckner and G. Kuperberg. The Lemmas play an important role in the derivation of novel isoperimetric inequalities. The original proofs relied on Sage, a symbolic algebra package, to factor certain algebraic varieties into irreducible components.

Differential Geometry
A note on the action of the primitive Milnor operations on the Dickson invariants

Nguyen Sum

2024-01-24

Abstract:In this note, we present a formula for the action of the primitive Milnor operations on generators of algebra of invariants of the general linear group $GL_n=GL(n, \mathbb F_p)$ in the polynomial algebra $P_n= \mathbb F_p[x_1,x_2,\ldots,x_n]$ with $p$ an odd prime number.

Algebraic Topology
The invariants of the Weil representation of $\mathrm{SL}_2(\mathbb{Z})$

Manuel K.-H. Müller,Nils R. Scheithauer

2023-07-13

Abstract:The transformation behaviour of the vector valued theta function of a positive-definite even lattice under the metaplectic group $\mathrm{Mp}_2(\mathbb{Z})$ is described by the Weil representation. We show that the invariants of this representation are induced from $5$ fundamental invariants.

Number Theory
The Fundamental Theorem of Algebra: From The Four Basic Operations

Oswaldo Rio Branco de Oliveira

DOI: https://doi.org/10.4169/amer.math.monthly.119.09.753

2011-10-02

Abstract:This paper presents an elementary and direct proof of the Fundamental Theorem of Algebra, via Bolzano-Weierstrass Theorem on Minima, that avoids: every root extraction, angle, non-algebraic functions, differentiation, integration, series and arguments by induction.

Classical Analysis and ODEs,History and Overview
On the theorem of Amitsur--Levitzki

Claudio Procesi

DOI: https://doi.org/10.48550/arXiv.1308.2421

2013-08-12

Abstract:We present a proof of the Amitsur--Levitzki theorem which is a basis for a general theory of equivariant skew--symmetric maps on matrices.

Rings and Algebras
A short proof of the Hilton-Milner Theorem

Denys Bulavka,Russ Woodroofe

2024-11-05

Abstract:We give a short and relatively elementary proof of the Hilton-Milner Theorem.

Combinatorics
On a Theorem by Lin and Shinder through the Lens of Median Geometry

Anthony Genevois,Anne Lonjou,Christian Urech

2023-12-09

Abstract:Recently, Lin and Shinder constructed non-trivial homomorphisms from Cremona groups of rank >2 to \mathbb{Z} using motivic techniques. In this short note we propose an alternative perspective from median geometry on their theorem.

Algebraic Geometry,Group Theory
An elementary proof of Grothendieck's Non-vanishing Theorem

Tony J. Puthenpurakal

DOI: https://doi.org/10.48550/arXiv.0710.5863

2007-10-31

Commutative Algebra

Abstract:We give an elementary proof of Grothendieck's non-vanishing Theorem: For a finitely generated non-zero module $M$ over a Noetherian local ring $A$ with maximal ideal $\m$, the local cohomology module $H^{\dim M}_{\m}(M)$ is non-zero.
A short ODE proof of the Fundamental Theorem of Algebra

Ramona Anton,Nicolae Mihalache,François Vigneron

2023-09-22

Abstract:We propose a short proof of the Fundamental Theorem of Algebra based on the ODE that describes the Newton flow and the fact that the value $|P(z)|$ is a Lyapunov function. It clarifies an idea that goes back to Cauchy.

Classical Analysis and ODEs
One curious proof of Fermat's little theorem

Giedrius Alkauskas

DOI: https://doi.org/10.48550/arXiv.0801.0805

2008-01-05

Number Theory

Abstract:We give a proof of Fermat's little theorem which does not use nor arithmetic(Euclidean algorithm) neither algebra (group theory), but it rather employs the field of the formal power series Q((x)). The note is an example of a mathematical joke, though it contains a rigorous proof. (The paper will appear in print exactly as in the version v3).
A Geometric Proof of Fermat’s Little Theorem

Thomas Beatty,Marc Barry,Andrew Orsini

DOI: https://doi.org/10.4236/apm.2018.81004

2018-01-01

Advances in Pure Mathematics

Abstract:We present an intuitively satisfying geometric proof of Fermat's result for positive integers that for prime moduli p, provided p does not divide a. This is known as Fermat’s Little Theorem. The proof is novel in using the idea of colorings applied to regular polygons to establish a number-theo retic result. A lemma traditionally, if ambiguously, attributed to Burnside provides a critical enumeration step.

English Else
Motivated exposition of combinatorial Nullstellensatz

M. Lozhkin,A. Skopenkov

2024-07-19

Abstract:In this expository note we show how combinatorial Nullstellensatz by N. Alon naturally appears in solutions of elementary problems. Simple ideas gradually and naturally appear in such solutions, thus bringing a reader to generalizations. The note is accessible to mathematicians not specialized in the area, and to students familiar with polynomials.

History and Overview,Combinatorics
Invariant Theory: a Third Lease of Life

Gregor Kemper

2024-03-19

Abstract:In 1993, just about a century after the epoch of Classical Invariant Theory and almost 30 years after Mumford's seminal book on Geometric Invariant Theory, Bernd Sturmfels approached the subject from a new, algorithmic perspective in his book on Algorithms in Invariant Theory. This article aims to highlight some of the developments that followed the book. Inspired by Bernd's style of teaching mathematics, the goal is neither comprehensiveness nor maximal generality, but to emphasize the main ideas and to convey the beauty of the subject. The article is intended as an invitation to invariant theory, and in particular to Bernd's work and the ideas inspired by it.

Commutative Algebra
Fermat's Little Theorem and Gauss Congruence: Matrix Versions and Cyclic Permutations

Heinrich Steinlein

DOI: https://doi.org/10.4169/amer.math.monthly.124.6.548

2017-06-01

Abstract:In recent years, several papers appeared on generalizations of Fermat's little theorem and the Gauss congruence to integer square matrices. We will give simple and intuitive proofs deriving these matrix versions from the corresponding number-theoretic results.

mathematics
A unified approach to some rigidity and stability problems in algebra

Karandeep J. Singh

2024-05-25

Abstract:In this note, we use give some algebraic applications of a previous result by the author which compares the deformations parameterized by the Maurer-Cartan elements of a differential graded Lie algebra, and a differential graded Lie subalgebra: It gives a criterion for the map on the space of Maurer-Cartan elements up to gauge equivalence, induced by the inclusion of the subalgebra, to be locally surjective. By making appropriate choices for the differential graded Lie algebra and a differential graded Lie subalgebra, we recover some classical results in the deformation theory of finite-dimensional Lie and associative algebras. We consider rigidity of Lie and associative algebras, Lie algebra morphisms, and give a quick proof of the fact that the deformation theories of a unital associative algebra as a unital associative algebra and as an associative algebra are equivalent. We then turn to stability of Lie subalgebras and their morphisms under deformations of the ambient Lie algebra structure, and study when the compatibility with a geometric structure of a representation of a Lie algebra on a vector space is stable under deformations of the representation.

Representation Theory
Introduction to a small cancellation theorem

Stéphane Lamy,Anne Lonjou

DOI: https://doi.org/10.48550/arXiv.2005.05821

2020-05-12

Abstract:This note is intended as an introduction to two previous works respectively by Dahmani, Guirardel, Osin, and by Cantat, Lamy. We give two proofs of a Small Cancellation Theorem for groups acting on a simplicial tree. We discuss the application to the group of plane polynomial automorphisms over any ground field.

Group Theory,Geometric Topology

A Gentle Introduction to a Beautiful Theorem of Molien

Towards solid abelian groups: A formal proof of Nöbeling's theorem

On an elementary proof of the fundamental theorem of algebra

An Introduction to Mordell Weil Theorem

Remarks on two theorems in linear algebra

A note on "The Cartan-Hadamard conjecture and the Little Prince"

A note on the action of the primitive Milnor operations on the Dickson invariants

The invariants of the Weil representation of $\mathrm{SL}_2(\mathbb{Z})$

The Fundamental Theorem of Algebra: From The Four Basic Operations

On the theorem of Amitsur--Levitzki

A short proof of the Hilton-Milner Theorem

On a Theorem by Lin and Shinder through the Lens of Median Geometry

An elementary proof of Grothendieck's Non-vanishing Theorem

A short ODE proof of the Fundamental Theorem of Algebra

One curious proof of Fermat's little theorem

A Geometric Proof of Fermat’s Little Theorem

Motivated exposition of combinatorial Nullstellensatz

Invariant Theory: a Third Lease of Life

Fermat's Little Theorem and Gauss Congruence: Matrix Versions and Cyclic Permutations

A unified approach to some rigidity and stability problems in algebra

Introduction to a small cancellation theorem