Source author record

Aleks Kleyn

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GM math.RA math.DG math.AT math.HO gr-qc math-ph math.MP

Catalog footprint

Research overview

35works

8topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

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

English Russian Scientific Dictionary

English Russian and Russian English dictionaries presented in this paper are dedicated to help translate a scientific text from one language to another. I also included the bilingual name index into this book.

preprint2015arXiv

Polynomial over Associative D-Algebra

In the paper I considered algebra of polynomials over associative D-algebra with unit. Using the tensor notation allows to simplify the representation of polynomial. I considered questions related to divisibility of polynomial of any power over polynomial of power 1.

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

Division in Associative $D$ -Algebra

From the symmetry between definitions of left and right divisors in associative $D$ -algebra $A$ , the possibility to define quotient as $A\otimes A$ -number follows. In the paper, I considered division and division with remainder. I considered also definition of prime $A$ -number.

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$ .

preprint2013arXiv

Linear Representation of Lie Group

In this book, I explored differential equations for operation in Lie group and for representations of group Lie in a vector space.

preprint2013arXiv

Normed Ω-Group

Since sum which is not necessarily commutative is defined in Ω-algebra A, then Ω-algebra A is called Ω-group. I also considered representation of Ω-group. Norm defined in Ω-group allows us to consider continuity of operations and continuity of representation.

preprint2012arXiv

Algebra of Fractions of Algebra with Conjugation

In the paper, I considered construction of algebra of fractions of algebra with conjugation. I also considered algebra of polynomials and algebra of rational mappings over algebra with conjugation.

preprint2012arXiv

Algebra with Conjugation

In the paper, I consider properties and mappings of free algebra with unit. I consider also conjugation of free algebra with unit.

preprint2012arXiv

Free Algebra with Countable Basis

In this book I treat the structure of D-module which has countable basis. If we do not care for topology of D-module, then we consider Hamel basis. If norm is defined in D-module, then we consider Schauder basis. In case of Schauder basis, we consider vectors whose expansion in the basis converges normally.

preprint2012arXiv

Linear Equation in Finite Dimensional Algebra

In the paper I considered methods for solving equations of the form axb+cxd=e in the algebra which is finite dimensional over the field.

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.

preprint2012arXiv

The Gateaux Derivative and Integral over Banach Algebra

In the paper I considered definition and structure of linear mapping of Banach algebra over commutative ring. Based on this definition I explore derivative of continuous mapping.

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

C*-Rhapsody

In the paper I considered linear and antilinear mappings of finite dimensional algebra over complex field, as well I considered involution. I considered also an example of $C^*$ \Hyph algebra.

preprint2011arXiv

Correspondence between Row-Column Determinants and Quasideterminants of Matrices over Quaternion Algebra

In this paper, we considered the theory of quasideterminants and row and column determinants. We considered the application of this theory to the solving of a system of linear equations in quaternion algebra. We established correspondence between row and column determinants and quasideterminants of matrix over quaternion algebra.

preprint2011arXiv

Linear Mappings of Quaternion Algebra

In the paper I considered linear and antilinear automorphisms of quaternion algebra. I proved the theorem that there is unique expansion of R-linear mapping of quaternion algebra relative to the given set of linear and antilinear automorphisms.

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.

preprint2011arXiv

Polymorphism of Representations of Universal Algebra

In this paper I consider the polymorpism of representations of universal algebra and tensor product of representations of universal algebra.

preprint2011arXiv

Quaternion Rhapsody

In this paper I explore the set of quaternion algebras over field. Quaternion algebra E(C,-1,-1) is isomorphic to tensor product of complex field C and quaternion algebra H=E(R,-1,-1). Considered two sets of quaternion functions, which satisfy to equation similar to Cauchy-Riemann equation for a complex function.

preprint2010arXiv

Biring of Matrices

Matrices allow two products linked by transpose. Biring is algebra which defines on the set two correlated structures of the ring. According to each product we can extend the definition of a quasideterminant given in [1, 2] and introduce two different types of a quasideterminant.

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

Polylinear Mapping of Free Algebra

In this paper I consider the structure of the polylinear mapping of the free algebra over the commutative ring.

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.

preprint2010arXiv

Vector Space Over Division Ring

A system of linear equations over a skew field has properties similar to properties of a system of linear equations over a field. Even noncommutativity of a product creates a new picture the properties of system of linear equations and of vector space over skew-field have a close relationship.

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.

preprint2008arXiv

Tidal Force in Metric-Affine Gravity

Generalization of an idea may lead to very interesting result. Learning how torsion influences on tidal force reveals similarity between tidal equation for geodesic and the Killing equation of second type. The relationship between tidal acceleration, curvature and torsion gives an opportunity to measure torsion.

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.

preprint2007arXiv

Fibered F-Algebra

The concept of F-algebra and its representation can be extended to an arbitrary bundle. We define operations of fibered F-algebra in fiber. The paper presents the representation theory of of fibered F-algebra as well as a comparison of representation of F-algebra and of representation of fibered F-algebra.

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.

Aleks Kleyn

Research overview

Is this your work?

35 publications

Eigenvector in Non-Commutative Algebra

Diagram of Representations of Universal Algebras

Linear Map of DDD-Algebra

Derivative of Map of Banach algebra

English Russian Scientific Dictionary

Polynomial over Associative D-Algebra

Representation of Universal Algebra

Division in Associative DDD-Algebra

Integral of Map into Abelian ΩΩΩ-group

Lectures on Linear Algebra over Division Ring

Introduction into Calculus over Division Ring

Linear Representation of Lie Group

Normed Ω-Group

Algebra of Fractions of Algebra with Conjugation

Algebra with Conjugation

Free Algebra with Countable Basis

Linear Equation in Finite Dimensional Algebra

Orthonormal Basis in Minkowski Space

The Gateaux Derivative and Integral over Banach Algebra

Basis of Representation of Universal Algebra

C*-Rhapsody

Correspondence between Row-Column Determinants and Quasideterminants of Matrices over Quaternion Algebra

Linear Mappings of Quaternion Algebra

Orthogonal Basis and Motion in Finsler Geometry

Polymorphism of Representations of Universal Algebra

Quaternion Rhapsody

Biring of Matrices

Linear Mappings of Free Algebra

Polylinear Mapping of Free Algebra

The Matrix of Linear Mappings

Vector Space Over Division Ring

The Gateaux Derivative of Map over Division Ring

Tidal Force in Metric-Affine Gravity

Fibered Correspondence

Fibered F-Algebra

See the researcher in context

Building this map preview

Linear Map of $D$ -Algebra

Division in Associative $D$ -Algebra

Integral of Map into Abelian $Ω$ -group