Source author record

Aleks Kleyn

Aleks Kleyn appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

35works
8topics
2close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

35 published item(s)

preprint2022arXiv

Eigenvector in Non-Commutative Algebra

$\newcommand{\Vector}[1]{\bar{#1}{}}$ $\newcommand{\Basis}[1]{\bar{\bar{#1}}{}}$ $\newcommand{\RC}{{}_*{}^*-}$ Let $\Basis e$ be a basis of vector space $V$ over non-commutative $D$-algebra $A$. Endomorhism $\Vector{\Basis eb}$ of vector space $V$ whose matrix with respect to given basis $\Basis e$ has form $Eb$ where $E$ is identity matrix is called similarity transformation with respect to the basis $\Basis e$. Let $V$ be a left $A$-vector space and $\Basis e$ be basis of left $A$-vector space $V$. The vector $v\in V$ is called eigenvector of the endomorphism \[\Vector f:V\rightarrow V\] with respect to the basis $\Basis e$, if there exists $b\in A$ such that \[ \Vector f\circ{v}= \Vector{\Basis eb} \circ{v} \] $A$-number $b$ is called eigenvalue of the endomorphism $\Vector f$ with respect to the basis $\Basis e$. There are two products of matrices: ${}_*{}^*$ (row column: $(ab)^i_j=a^i_kb^k_j$) and ${}^*{}_*$ (column row: $(ab)^i_j=a^k_jb^i_k$). $A$-number $b$ is called $\RC$ eigenvalue of the matrix $f$ if the matrix $f-bE$ is $\RC$ singular matrix. The $A$-number $b$ is called right $\RC$ eigenvalue if there exists the column vector $u$ which satisfies to the equality \[a{}_*{}^* u=ub\] The column vector $u$ is called eigencolumn for right $\RC$ eigenvalue $b$. The $A$-number $b$ is called left $\RC$ eigenvalue if there exists the row vector $u$ which satisfies to the equality \[u{}_*{}^* a=bu\] The row vector $u$ is called eigenrow for right $\RC$ eigenvalue $b$. The set $\RC$ $\mathrm{spec}(a)$ of all left and right $\RC$ eigenvalues is called $\RC$ spectrum of the matrix a.

preprint2019arXiv

Diagram of Representations of Universal Algebras

Theory of representations of universal algebra is a natural development of the theory of universal algebra. In the book, I considered representation of universal algebra, diagram of representations and examples of representation. Morphism of the representation is the map that conserve the structure of the representation. Exploring of morphisms of the representation leads to the concepts of generating set and basis of representation.

preprint2016arXiv

Linear Map of $D$-Algebra

Module is effective representation of ring in Abelian group. Linear map of module over commutative ring is morphism of corresponding representation. This definition is the main subject of the book. To consider this definition from more general point of view I started the book from consideration of Cartesian product of representations. Polymorphism of representations is a map of Cartesian product of representations which is a morphism of representations with respect to each separate independent variable. Reduced morphism of representations allows us to simplify the study of morphisms of representations. However a representation has to satisfy specific requirements for existence of reduced polymomorphism of representations. It is possible that Abelian group is only $Ω$-algebra, such that representation in this algebra admits polymorphism of representations. However, today, this statement has not been proved. Multiplicative $Ω$-group is $Ω$-algebra in which product is defined. The definition of tensor product of representations of Abelian multiplicative $Ω$-group is based on properties of reduced polymorphism of representations of Abelian multiplicative $Ω$-group. Since an algebra is a module in which the product is defined, then we can use this theory to study linear map of algebra. For instance, we can study the set of linear transformations of $D$-algebra $A$ as representation of algebra $A\otimes A$ in algebra $A$.

preprint2015arXiv

Derivative of Map of Banach algebra

Let $A$ be Banach algebra over commutative ring $D$. The map $f:A\rightarrow A\ $ is called differentiable in the Gateaux sense, if $$f(x+a)-f(x)=\partial f(x)\circ a+o(a)$$ where the Gateaux derivative $\partial f(x)$ of map $f$ is linear map of increment $a$ and $o$ is such continuous map that $$ \lim_{a\rightarrow 0}\frac{|o(a)|}{|a|}=0 $$ Assuming that we defined the Gateaux derivative $\partial^{n-1} f(x)$ of order $n-1$, we define $$ \partial^n f(x)\circ(a_1\otimes...\otimes a_n) =\partial(\partial^{n-1} f(x)\circ(a_1\otimes...\otimes a_{n-1}))\circ a_n $$ the Gateaux derivative of order $n$ of map $f$. Since the map $f(x)$ has all derivatives, then the map $f(x)$ has Taylor series expansion $$ f(x)=\sum_{n=0}^{\infty}(n!)^{-1}\partial^n f(x_0)\circ(x-x_0)^n $$

preprint2015arXiv

Representation of Universal Algebra

Theory of representations of universal algebra is a natural development of the theory of universal algebra. Morphism of the representation is the map that conserve the structure of the representation. Exploring of morphisms of the representation leads to the concepts of generating set and basis of representation. In the book I considered the notion of tower of representations of $F_i$-algebras, i=1 ..., n, as the set of coordinated representations of $F_i$-algebras.

preprint2014arXiv

Integral of Map into Abelian $Ω$-group

The common in ring, module and algebra is that they are Abelian group with respect to addition. This property is enough to study integration. I treat integral of measurable map into normed Abelian $Ω$-group. Theory of integration of maps into $Ω$-group has a lot of common with theory of integration of functions of real variable. However I had to change some statements, since they implicitly assume either compactness of range or total order in $Ω$-group.

preprint2014arXiv

Lectures on Linear Algebra over Division Ring

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.

preprint2013arXiv

Introduction into Calculus over Division Ring

Based on twin representations of division ring in an Abelian group I consider $D$\Hyph vector spaces over division ring. Morphism of $D$\Hyph vector spaces is linear map of $D$\Hyph vector spaces. I consider derivative of function $f$ of continuous division ring as linear map the most close to function $f$. I explore expansion of map into Taylor series and method to find solution of differential equation. The norm in $D$\Hyph vector space allows considering of continuous mapping of $D$\Hyph vector spaces. Differential of mapping $f$ of $D$\Hyph vector spaces is defined as linear mapping the most close to map $f$.

preprint2012arXiv

Orthonormal Basis in Minkowski Space

Finsler space is differentiable manifold for which Minkowski space is the fiber of the tangent bundle. To understand structure of the reference frame in Finsler space, we need to understand the structure of orthonormal basis in Minkowski space. In this paper, we considered the definition of orthonormal basis in Minkowski space, the structure of metric tensor relative to orthonormal basis, procedure of orthogonalization. Linear transformation of Minkowski space mapping at least one orthonormal basis into orthonormal basis is called motion. The set of motions of Minkowski space V generates not complete group SO(V) which acts single transitive on the basis manifold. Passive transformation of Minkowski space mapping at least one orthonormal basis into orthonormal basis is called quasimotion of Minkowski space. The set of passive transformations of Minkowski space generates passive representation of not complete group SO(V) on basis manifold. Since twin representations (active and passive) of not complete group SO(V) on basis manifold are single transitive, then we may consider definition of geometric object.

preprint2011arXiv

Basis of Representation of Universal Algebra

We say that there is a representation of the universal algebra B in the universal algebra A if the set of endomorphisms of the universal algebra A has the structure of universal algebra B. Therefore, the role of representation of the universal algebra is similar to the role of symmetry in geometry and physics. Morphism of the representation is the mapping that conserves the structure of the representation. Exploring of morphisms of the representation leads to the concepts of generating set and basis of representation. The set of automorphisms of the representation of the universal algebra forms the group. Twin representations of this group in basis manifold of the representation are called active and passive representations. Passive representation in basis manifold is underlying of concept of geometric object and the theory of invariants of the representation of the universal algebra.

preprint2011arXiv

Orthogonal Basis and Motion in Finsler Geometry

Finsler space is differentiable manifold for which Minkowski space is the fiber of the tangent bundle. To understand structure of the reference frame in Finsler space, we need to understand the structure of orthonormal basis in Minkowski space. In this paper, I considered the definition of orthonormal basis in Minkowski space, the structure of metric tensor relative to orthonormal basis, procedure of orthogonalization. Linear transformation of Minkowski space which preserves the scalar product is called a motion. Linear transformation which maps the orthonormal basis into an infinitely close orthonormal basis is infinitesimal motion. An infinitesimal motion maps orthonormal basis into orthonormal basis. The set of infinitesimal motions generates Lie algebra, which acts single transitive on basis manifold of Minkowski space. Element of twin representation is called quasimotion of Minkowski space. Quasimotion of event space is called Lorentz transformation.

preprint2010arXiv

Linear Mappings of Free Algebra

For arbitrary F-algebra, in which the operation of addition is defined, I explore biring of matrices of mappings. The sum of matrices is determined by the sum in F-algebra, and the product of matrices is determined by the product of mappings. The system of equations, whose matrix is a matrix of mappings, is called a system of additive equations. I considered the methods of solving system of additive equations. As an example, I consider the solution of a system of linear equations over the complex field provided that the equations contain unknown quantities and their conjugates. Linear mappings of algebra over a commutative ring preserve the operation of addition in algebra and the product of elements of the algebra by elements of the ring. The representation of tensor product A\otimes A in algebra A generates the set of linear transformations of algebra A. The results of this research will be useful for mathematicians and physicists who deal with different algebras.

preprint2010arXiv

The Matrix of Linear Mappings

On the set of mappings of the given set, we define the product of mappings. If A is associative algebra, then we consider the set of matrices, whose elements are linear mappings of algebra A. In algebra of matrices of linear mappings we define the operation of product. The operation is based on the product of mappings. If the matrix a of linear mappings has an inverse matrix, then the quasideterminant of the matrix a and the inverse matrix are matrices of linear mappings. In the paper, I consider conditions when a matrix of linear mappings has inverse matrix, as well methods of solving a system of linear equations in an associative algebra.

preprint2009arXiv

The Gateaux Derivative of Map over Division Ring

I consider differential of mapping $f$ of continuous division ring as linear mapping the most close to mapping $f$. Different expressions which correspond to known deffinition of derivative are supplementary. I explore the Gateaux derivative of higher order and Taylor series. The Taylor series allow solving of simple differential equations. As an example of solution of differential equation I considered a model of exponent. I considered application of obtained theorems to complex field and quaternion algebra. In contrast to complex field in quaternion algebra congugation is linear function of original number \bar a=a+iai+jaj+kak . In quaternion algebra this difference leads to the absence of analogue of the Cauchy Riemann equations that are well known in the theory of complex function.

preprint2007arXiv

Fibered Correspondence

Base of fibered correspondence is arbitrary correspondence. Fibered correspondence is interesting when we consider relationship between different bundles. However composition of fibered correspondences may not always be defined. Reduced fibered correspondence is defined only between fibers over the same point of base. Reduced fibered correspondence in bundle is called 2-ary fibered relation. We considered fibered equivalence and isomorphism theorem in case of fibered morphisms.