Related papers: Linear Algebra In A Jiffy

Recently, in Axioms 10(2): 119 (2021), a nonclassical first-order theory T of sets and functions has been introduced as the collection of axioms we have to accept if we want a foundational theory for (all of) mathematics that is not weaker…

In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…

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…

It is proved the existence of large algebraic structures \break --including large vector subspaces or infinitely generated free algebras-- inside, among others, the family of Lebesgue measurable functions that are surjective in a strong…

The celebrated Johnson-Lindenstrauss lemma states that for all $\varepsilon \in (0,1)$ and finite sets $X \subseteq \mathbb{R}^N$ with $n>1$ elements, there exists a matrix $\Phi \in \mathbb{R}^{m \times N}$ with…

Suppose that a Lie algebra $L$ admits a finite Frobenius group of automorphisms $FH$ with cyclic kernel $F$ and complement $H$ such that the characteristic of the ground field does not divide $|H|$. It is proved that if the subalgebra…

Finite elements, which are well-known and studied in the framework of vector lattices, are investigated in $\ell$-algebras, preferably in $f$-algebras, and in product algebras. The additional structure of an associative multiplication leads…

With the advent of computers, one needs algebraic structures that can simultaneously work with bulk data. One such algebraic structure, namely, n-linear algebras of type I are introduced in this book and its applications to n-Markov chains…

We study the quantum finite W-algebras W(gl_N,f), associated to the Lie algebra gl_N, and its arbitrary nilpotent element f. We construct for such an algebra an r_1 x r_1 matrix L(z) of Yangian type, where r_1 is the number of maximal parts…

Results about the following classes of finite-dimensional Lie algebras over a field of characteristic zero are presented: anisotropic (i.e., Lie algebras for which each adjoint operator is semisimple), regular (i.e., Lie algebras in which…

Every m by n matrix A with rank r has exactly r independent rows and r independent columns. The fact has become the most fundamental theorem in linear algebra such that we may favor it in an unconscious way. The sole aim of this paper is to…

Every atomic JBW-algebra is known to be a direct sum of JBW-algebra factors of type I. Extending Kadison's anti-lattice theorem, we show that each of these factors is a disjointness free anti-lattice. We characterise disjointness, bands,…

Suppose that A is a C*-algebra for which A is isomorphic to A tensor Z, where Z is the Jiang-Su algebra: a unital, simple, stably finite, separable, nuclear, infinite dimensional C*-algebra with the same Elliott invariant as the complex…

We study relatively free associative algebras $F^{(n)}_r$ of ranks $r=2,3$ with the identity $[x_1,\dots, x_n]=0$ of Lie nilpotency of step $n\geqslant 3$ over a field $K$ of characteristic $\neq 2,3$. First we prove a Theorem on the…

In Part I of this paper, we introduced a class of certain algebras of finite dimension over a field. All these algebras are split, symmetric and local. Here we continue to investigate their Loewy structure. We show that in many cases their…

We observe that a recent theorem of Sato, Toms-White-Winter and Kirchberg-Rordam also holds for certain nonunital C*-algebras. Namely, we show that an algebraically simple, separable, nuclear, nonelementary C*-algebra with strict…

The aim of this note is to understand the injectivity of Feigin's map $\mathbf{F_w}$ by representation theory of quivers, where $\mathbf{w}$ is the word of a reduced expression of the longest element of a finite Weyl group. This is achieved…

Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…

We present a new look at description of real finite-dimensional Lie algebras. The basic element turns out to be a pair $(F,v)$ consisting of a linear mapping $F\in End(V)$ and its eigenvector $v$. This pair allows to build a Lie bracket on…

Let $\mathbb K$ be a field of characteristic zero, $A$ an integral domain over $\mathbb K$ with the field of fractions $R = \text{Frac}(A),$ and $\text{Der}_{\mathbb{K}}A$ the Lie algebra of all $\mathbb K$-derivations on $A$. Let…