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

What problem does this paper attempt to address?

The Unicritical Branner-Hubbard Conjecture

Tan Lei,Yin Yongcheng

DOI: https://doi.org/10.1201/b10617-6

2009-01-01

Abstract:The topics of these notes are group-theoretical and combinatorial aspects of iteration of post-critically ﬁnite polynomials, including topological polynomials and post-critically ﬁnite non-autonomous backward iterations.
On Theorems of Sinajova, Rankin and Kuperberg Concerning Spherical Point Configurations

A. Y. Alfakih

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

2019-08-16

Abstract:This note presents simple linear algebraic proofs of theorems due to Sinajova, Rankin and Kuperberg concerning spherical point configurations. The common ingredient in these proofs is the use of spherical Euclidean distance matrices and the Perron-Frobenius theorem.

Metric Geometry
On the arithmetic of polynomials over a number field

William Duke

2024-07-08

Abstract:Counterparts of several classical results of number theory are proven for the ring of polynomials with coefficients in a number field. A theorem of Milnor that determines the Witt ring of a function field is applied to prove an analogue of Gauss's principal genus theorem for binary quadratic forms with polynomial coefficients. This is used to help understand when and why quadratic reciprocity fails in these polynomial rings. Another application is a count of the number of cyclic subgroups whose order is divisible by four in the primary decomposition of the torsion subgroup of the Jacobian of certain hyperelliptic curves. Invariant theory is applied to prove an analogue of a classical theorem of Fueter to give criteria for an elliptic curve with a polynomial discriminant and zero $j$-invariant to have no affine points over the associated function field.

Number Theory
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 remark on a theorem of Narasimhan and Ramanan

Jagadish Pine

2024-11-24

Abstract:In this short note, we provide an alternative proof of a notable theorem by Narasimhan and Ramanan. The theorem states that the moduli space of $S$-equivalence classes of semistable rank $2$ vector bundles over a curve $X$ of genus $2$ with trivial determinant is isomorphic to $\mathbb{P}^3$. Our proof relies on a criterion by Bauer and Szemberg, which characterizes projective spaces among smooth Fano varieties using Seshadri constants.

Algebraic Geometry
The Cayley–Hamilton Theorem and Resolvent Representation

I. D. Kostrub

DOI: https://doi.org/10.1134/s001626632304010x

2024-04-03

Functional Analysis and Its Applications

Abstract:For the Frobenius matrix accompanying an algebraic (differential) equation in a complex Banach algebra, the Cayley–Hamilton theorem is proved, which is used to obtain a representation of the resolvent.

mathematics, applied
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
On the BCSS Proof of the Fundamental Theorem of Algebra

J. Maurice Rojas

2024-06-20

Abstract:Section 10.4 of the 1998 Springer-Verlag book {\em Complexity and Real Computation}, by Blum, Cucker, Shub, and Smale, contains a particularly elegant proof of the Fundamental Theorem of Algebra: The central idea of the proof naturally leads to a homotopy continuation algorithm for finding the roots of univariate polynomials, and extends naturally to a proof of Bézout's Theorem (on the number of roots of systems of $n$ equations in $n$ unknowns). We present a more detailed version of the BCSS Proof which is hopefully useful for students and researchers not familiar with algebraic geometry. So while there are no new results in this paper, the exposition is arguably more elementary. Any errors here are solely the responsibility of the current author.

Algebraic Geometry
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
Lectures on Linear Algebra over Division Ring

Aleks Kleyn

DOI: https://doi.org/10.48550/arXiv.math/0701238

2007-01-09

General Mathematics

Abstract:In this book i treat linear algebra over division ring. A system of linear equations over a division ring has properties similar to properties of a system of linear equations over a field. However, noncommutativity of a product creates a new picture. Matrices allow two products linked by transpose. Biring is algebra which defines on the set two correlated structures of the ring. As in the commutative case, solutions of a system of linear equations build up right or left vector space depending on type of system. We study vector spaces together with the system of linear equations because their properties have a close relationship. As in a commutative case, the group of automorphisms of a vector space has a single transitive representation on a frame manifold. This gives us an opportunity to introduce passive and active representations. Studying a vector space over a division ring uncovers new details in the relationship between passive and active transformations, makes this picture clearer. Considering of twin representations of division ring in Abelian group leads to the concept of D vector space and their linear map. Based on polyadditive map I considered definition of tensor product of rings and tensor product of D vector spaces.
On Rank Equalities of Partitioned Matrices over a Division Ring

Yong-hui LIU,Wen-bin GUO

DOI: https://doi.org/10.3770/j.issn.2095-2651.2005.02.024

2005-01-01

Abstract:By applying the decomposition of the pairwise matrices over a division ring, we give a new proof of Marsaglia-Styan rank formula. We also obtain some equivalent characterizations of some new rank equalities of the partitioned matrices.
An Elementary Problem and Techniques in Linear Algebra

XIE Qihong,SHAO Meiyue

DOI: https://doi.org/10.3969/j.issn.1008-1399.2013.04.019

2013-01-01

Abstract:In this paper,we reduce an elementary problem to a problem of Linear Algebra,and provide some proofs,which reviews some important notions and techniques in Linear Algebra.
A proof of the Quadratic Reciprocity Law

Math Dicker

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

2012-10-26

History and Overview

Abstract:A proof of the Quadratic Reciprocity Law is presented using a Lemma of Gauss, the theory of finite fields and the Frobenius automorfism.
Remarks on the Bottcher-Wenzel Inequality

Zhiqin Lu

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

2011-06-09

Rings and Algebras

Abstract:In 2005, B\"ottcher and Wenzel raised the conjecture that if $X,Y$ are real square matrices, then $||XY-YX||^2\leq 2||X||^2||Y||^2$, where $||\cdot||$ is the Frobenius norm. Various proofs of this conjecture were found in the last few years by several authors. We here give another proof. This proof is highly conceptual and requires minimal computation. We also briefly discuss related inequalities, in particular, the classical Chern-do Camo-Kobayashi inequality.
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
Towards a conjecture on a special class of matrices over commutative rings of characteristic 2

Baofeng Wu

2024-10-11

Abstract:In this paper, we prove the conjecture posed by Keller and Rosemarin at Eurocrypt 2021 on the nullity of a matrix polynomial of a block matrix with Hadamard type blocks over commutative rings of characteristic 2. Therefore, it confirms the conjectural optimal bound on the dimension of invariant subspace of the Starkad cipher using the HADES design strategy. Moreover, we reveal the algebraic structure formed by Hadamard matrices over commutative rings from the perspectives of group algebra and polynomial algebra. An interesting relation between block-Hadamard matrices and Hadamard-block matrices is obtained as well.

Cryptography and Security,Information Theory,Combinatorics
A note on Rubin’s methods of the use of two Euler systems

Linsheng Yin

DOI: https://doi.org/10.1007/BF02884177

2000-01-01

Abstract:Here we show that Rubin’s method of the use of two Euler systems to the proofs of Iwasawa main conjectures of the rational number field and of an imaginary quadratic field is only proper to these two kinds of number fields. We mainly use the properties of adéle ring and idéle group in class field theory to get the result.
A Note on the Image of Polynomials and Waring Type Problems on Upper Triangular Matrix Algebras

Q. Chen

DOI: https://doi.org/10.48550/arxiv.2305.11734

2023-01-01

Abstract:In the present paper we shall obtain a result on the image of polynomials with zero constant term on upper triangular matrix algebras over an algebraically closed field. This is a supplement to a result obtained by Panja and Prasad recently.
On Kawamata's theorem

Osamu Fujino

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

2009-10-07

Abstract:We give an alternate proof of the main theorem of Kawamata's paper: Pluricanonical systems on minimal algebraic varieties. Our proof also works for varieties in class $\mathcal C$. We note that our proof is completely different from Kawamata's.

Algebraic Geometry
Some proofs of the Poincaré-Birkhoff-Witt theorem and related matters

Gyula Lakos

2024-07-24

Abstract:This expository paper focuses on free Lie $K$-algebras and the basic PBW theorem. We argue in various ways that the basic PBW theorem is a quite close consequence of the Magnus-Witt theorems concerning free Lie algebras.

Rings and Algebras

Remarks on two theorems in linear algebra

The Unicritical Branner-Hubbard Conjecture

On Theorems of Sinajova, Rankin and Kuperberg Concerning Spherical Point Configurations

On the arithmetic of polynomials over a number field

On the theorem of Amitsur--Levitzki

A remark on a theorem of Narasimhan and Ramanan

The Cayley–Hamilton Theorem and Resolvent Representation

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

On the BCSS Proof of the Fundamental Theorem of Algebra

On an elementary proof of the fundamental theorem of algebra

Lectures on Linear Algebra over Division Ring

On Rank Equalities of Partitioned Matrices over a Division Ring

An Elementary Problem and Techniques in Linear Algebra

A proof of the Quadratic Reciprocity Law

Remarks on the Bottcher-Wenzel Inequality

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

Towards a conjecture on a special class of matrices over commutative rings of characteristic 2

A note on Rubin’s methods of the use of two Euler systems

A Note on the Image of Polynomials and Waring Type Problems on Upper Triangular Matrix Algebras

On Kawamata's theorem

Some proofs of the Poincaré-Birkhoff-Witt theorem and related matters