Related papers: If $R^m \cong R^n$ must $m=n$?
In this paper, we give a matrix-theoretic criterion for the Leavitt path algebra of a finite graph has Invariant Basis Number. Consequently, we show that the Cohn path algebra of a finite graph has Invariant Basis Number, as well as provide…
This survey is meant to provide an introduction to the fundamental theorem of linear algebra and the theories behind them. Our goal is to give a rigorous introduction to the readers with prior exposure to linear algebra. Specifically, we…
In this expositional paper, we discuss commutative algebra -- a study inspired by the properties of integers, rational numbers, and real numbers. In particular, we investigate rings and ideals, and their various properties. After, we…
The invariants of solvable triangular Lie algebras with one nilindependent diagonal element are studied exhaustively. Bases of the invariant sets of all such algebras are constructed using an original algebraic algorithm based on Cartan's…
For any row-finite graph $E$ and any field $K$ we construct the {\its Leavitt path algebra} $L(E)$ having coefficients in $K$. When $K$ is the field of complex numbers, then $L(E)$ is the algebraic analog of the Cuntz Krieger algebra…
The Fundamental Theorem of Algebra can be thought of as a statement about the real numbers as a space, considered as an algebraic set over the real numbers as a field. This paper introduces what it means for an algebraic set or affine…
The Steinitz exchange lemma is a basic theorem in linear algebra used, for example, to show that any two bases for a finite-dimensional vector space have the same number of elements. The result is named after the German mathematician Ernst…
Linear algebra's main concerns are sets of vectors, linear functions, subspaces, linear systems, matrices and concepts about those, such as whether the solution of linear system exists or is unique; a set of vectors is linearly independent…
We give the necessary and sufficient condition for a separated Cohn-Leavitt path algebra of a finite digraph to have IBN. As a consequence, separated Cohn path algebras have IBN. We determine the non-stable K-theory of a corner ring in…
Our starting point is Mumford's conjecture, on representations of Chevalley groups over fields, as it is phrased in the preface of "Geometric Invariant Theory". After extending the conjecture appropriately, we show that it holds over an…
We introduce a new framework called linear algebraic number theory (LANT) that reformulates the number-theoretic problem as a regression model and solves it using matrix algebra. This framework restricts all computations to log space,…
In this Note we show that the notion of a basis of a finite-dimensional vector space could be introduced by an argument much weaker than Gauss' reduction method. Our aim is to give a short proof of a simply formulated lemma, which in fact…
Let $G$ be a complex classical group, and let $V$ be its defining representation (possibly plus a copy of the dual). A foundational problem in classical invariant theory is to write down generators and relations for the ring of…
Let E be an arbitrary directed graph and let K be any field. It is shown that the Leavitt path algebra A of the graph E over the field K is a Zorn ring if and only if the graph E satisfies the Condition (L), that is, every cycle in E has an…
A weak version of Birkhoff's generalization of the Perron-Frobenius theorem states that every endomorphism of a finite-dimensional real vector that leaves invariant a non-degenerate closed convex cone has an eigenvector in that cone. Here,…
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…
Wigner's celebrated theorem, which is particularly important in the mathematical foundations of quantum mechanics, states that every bijective transformation on the set of all rank-one projections of a complex Hilbert space which preserves…
This is the first installment of an exposition of an ACL2 formalization of elementary linear algebra, focusing on aspects of the subject that apply to matrices over an arbitrary commutative ring with identity, in anticipation of a future…
Rota's basis conjecture, open since 1989, states that if B_1, B_2, ..., B_n are n bases of a vector space of rank n, then there is an nxn grid of vectors such that the vectors in the ith row are precisely the elements of B_i and such that…
We prove First Fundamental Theorems of Coinvariant Theory for the standard coactions of the quantum general and special linear groups on tensor products of quantum matrix algebras. More precisely, let m,n,t be arbitrary positive integers,…