Related papers: Linear algebra over T-pairs
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 study associative multiplications in semi-simple associative algebras over C compatible with the usual one or, in other words, linear deformations of semi-simple associative algebras over C. It turns out that these deformations are in…
The study of images of noncommutative polynomials on algebras has attracted considerable attention. We investigate polynomial images and the additive structures they generate in associative algebras, focusing on sums and products of values.…
In recent years several classes of structured matrices are extended to classes of tensors in the context of tensor complementarity problem. The tensor complementarity problem is a class of nonlinear complementarity problem where the…
We study the complexity of multiplication in noncommutative group algebras which is closely related to the complexity of matrix multiplication. We characterize such semisimple group algebras of the minimal bilinear complexity and show…
We initiate the theory of a quadratic form $q$ over a semiring $R$. As customary, one can write $$q(x+y) = q(x) + q(y)+ b(x,y),$$ where $b$ is a companion bilinear form. But in contrast to the ring-theoretic case, the companion bilinear…
We continue the study of matrices over a supertropical algebra, proving the existence of a tangible adjoint of $A$, which provides the unique right (resp. left) quasi-inverse maximal with respect to the right (resp. left) quasi-identity…
We study the subgroup structure of the semigroup of finitary tropical matrices under multiplication. We show that every maximal subgroup is isomorphic to the full linear automorphism group of a related tropical polytope, and that each of…
We show that the theories of partially ordered sets, lattices, semilattices, Boolean algebras, Heyting algebras with a further coarser partial order, or a linearization, or an auxiliary relation have the strong amalgamation property,…
In this paper we characterize those linear bijective maps on the monoid of all $n \times n$ square matrices over an anti-negative semifield which preserve and strongly preserve each of Green's equivalence relations $\mathcal{L},…
We develop the basic theory of projective modules and splitting in the more general setting of systems. Systems provide a common language for most tropical algebraic approaches including supertropical algebra, hyperrings (specifically…
Let $M$ be a symmetric matrix over $\mathbb F_2$, and let $\diag(M)$ be its diagonal vector. It is known that \[ \diag(M)\in \Img(M). \] Thus the affine system $Mx=\diag(M)$ is always solvable. We strengthen this existence statement to a…
Let $L$ be the language of rings. We provide an axiomatization of the $L$-theories of quaternions and octonions and characterize their models: they coincide, up to isomorphism, with quaternion and octonion algebras over a real closed field,…
In this paper we describe a model of concurrency together with an algebraic structure reflecting the parallel composition. For the sake of simplicity we restrict to linear concurrent programs i.e. the ones with no loops nor branching. Such…
Theoretical and computational frameworks of modern science are dominated by binary structures. This binary bias, seen in the ubiquity of pair-wise networks and formal operations of two arguments in mathematical models, limits our capacity…
Matrix factorization problems over various semirings naturally arise in different contexts of modern pure and applied mathematics. These problems are very hard in general and cause computational difficulties in applications. We give a…
The objective of this paper is to develop a general algebraic theory of supertropical matrix algebra, extending [11]. Our main results are as follows: * The tropical determinant (i.e., permanent) is multiplicative when all the determinants…
In this paper, we prove that Dedekind-Mertens lemma holds only for those semimodules whose subsemimodules are subtractive. We introduce Gaussian semirings and prove that bounded distributive lattices are Gaussian semirings. Then we…
The existence of a semiconjugate relation permits the transformation of a higher order difference equation on a group into an equivalent triangular system of two difference equations of lower orders. Introducing time-dependent form…
In this paper some results on the Lie structure of prime superalgebras are discussed. We prove that, with the exception of some special cases, for a prime superalgebra, $A$, over a ring of scalars $\Phi$ with $1/2\in \Phi$, if $L$ is a Lie…