Showing 1–47 of 47 results for author: Kleyn, A

Linear Equation over Non-Commutative Algebra

Authors: Aleks Kleyn

Abstract: I considered solving of the system of linear equations $$a^1_{1s0}x^1a^1_{1s1}+...+a^1_{ns0}x^na^1_{ns1}=b^1$$ $$...$$ $$a^n_{1s0}x^1a^n_{1s1}+...+a^n_{ns0}x^na^n_{ns1}=b^n$$ over non-commutative associative algebra. I considered examples in quaternion algebra. I considered also Newton's method to solve the equation $$f(x)=a$$ over non-commutative associative algebra. I considered solving of the system of linear equations $$a^1_{1s0}x^1a^1_{1s1}+...+a^1_{ns0}x^na^1_{ns1}=b^1$$ $$...$$ $$a^n_{1s0}x^1a^n_{1s1}+...+a^n_{ns0}x^na^n_{ns1}=b^n$$ over non-commutative associative algebra. I considered examples in quaternion algebra. I considered also Newton's method to solve the equation $$f(x)=a$$ over non-commutative associative algebra. △ Less

Submitted 15 March, 2024; originally announced March 2024.

Comments: nglish text - 9 pages; Russian text - 9 pages

Introduction into Noncommutative Algebra, Volume 2

Authors: Aleks Kleyn

Abstract: I dedicated the volume $2$ of monograph 'Introduction into Noncommutative Algebra' to studying of module over non-commutative algebra. I dedicated the volume $2$ of monograph 'Introduction into Noncommutative Algebra' to studying of module over non-commutative algebra. △ Less

Submitted 19 July, 2023; originally announced July 2023.

Comments: English text - 131 pages; Russian text - 135 pages. arXiv admin note: substantial text overlap with arXiv:2207.06506, arXiv:1908.04418

Covariance in Non-Commutative Algebra

Authors: Aleks Kleyn

Abstract: Consider vector space over non-commutative division algebra. Set of automorphisms of this vector space is group $GL$. Group $GL$ acts on the set of bases of vector space (basis manifold) single transitive and generates active representation. Twin representation on basis manifold is called passive representation. There is no automorphism associated with passive transformation. However passive trans… ▽ More Consider vector space over non-commutative division algebra. Set of automorphisms of this vector space is group $GL$. Group $GL$ acts on the set of bases of vector space (basis manifold) single transitive and generates active representation. Twin representation on basis manifold is called passive representation. There is no automorphism associated with passive transformation. However passive transformation generates transformation of coordinates of vector with respect to basis. If we consider homomorphism of vector space $V$ into vector space $W$, then we can learn how passive transformation in vector space $V$ generates transformation of coordinates of vector in vector space $W$. Vector in vector space $W$ is called geometric object in vector space $V$. Covariance principle states that geometric object does not depend on the choice of basis. I considered transformation of coordinates of vector and polylinear map. △ Less

Submitted 1 June, 2023; originally announced June 2023.

Comments: English text - 20 pages; Russian text - 21 pages. arXiv admin note: substantial text overlap with arXiv:2207.06506

Introduction into Noncommutative Algebra, Volume 1

Authors: Aleks Kleyn

Abstract: I dedicated the volume $1$ of monograph 'Introduction into Noncommutative Algebra' to studying of algebra over commutative ring. The main topics that I covered in this volume: definition of module and algebra over commutative ring; linear map of algebra over commutative ring; vector space over associative division algebra; system of linear equations over associative division algebra; homomorphism… ▽ More I dedicated the volume $1$ of monograph 'Introduction into Noncommutative Algebra' to studying of algebra over commutative ring. The main topics that I covered in this volume: definition of module and algebra over commutative ring; linear map of algebra over commutative ring; vector space over associative division algebra; system of linear equations over associative division algebra; homomorphism of vector space over associative division algebra and covariance theory; eigenvalue and eigenvector over associative division algebra. △ Less

Submitted 23 May, 2024; v1 submitted 13 July, 2022; originally announced July 2022.

Comments: English text - 369 pages; Russian text - 387 pages. arXiv admin note: text overlap with arXiv:1908.04418, arXiv:2204.06320

MSC Class: 2020 Mathematics Subject Classification. Primary 16D10; Secondary 16K20; 16K40

Eigenvector in Non-Commutative Algebra

Authors: Aleks Kleyn

Abstract: $\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… ▽ More $\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. △ Less

Submitted 11 April, 2022; originally announced April 2022.

Comments: English text - 50 pages; Russian text - 55 pages. Based on talk given on The 2022 Virtual Joint Mathematics Meetings - April 6-9. arXiv admin note: substantial text overlap with arXiv:1801.01628

Polynomial in Non-Commutative Algebra

Authors: Aleks Kleyn

Abstract: I considered definition and properties of polynomial in no-commutative algebra. There exists polynomial which has finite, infinite or empty set of roots. For instance, the polynomial $$p_1(x)=ix-xi-1$$ have no root and the polynomial $$p_k(x)=ix-xi-k$$ has the set of roots $$x=C_1+C_2i+\frac 12 j$$ I considered division of polynomials with remainder. I considered definition and properties of polynomial in no-commutative algebra. There exists polynomial which has finite, infinite or empty set of roots. For instance, the polynomial $$p_1(x)=ix-xi-1$$ have no root and the polynomial $$p_k(x)=ix-xi-k$$ has the set of roots $$x=C_1+C_2i+\frac 12 j$$ I considered division of polynomials with remainder. △ Less

Submitted 30 November, 2021; originally announced December 2021.

Comments: English text - 24 pages; Russian text - 25 pages. Based on talk given on The Fifth Workshop New Trends in Quaternions and Octonions - NTQO 2021

Diagram of Representations of Universal Algebras

Authors: Aleks Kleyn

Abstract: 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 generat… ▽ More 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. △ Less

Submitted 2 November, 2019; v1 submitted 8 August, 2019; originally announced August 2019.

Comments: English text - 193 pages; Russian text - 202 pages. arXiv admin note: text overlap with arXiv:1801.01628

Differential Equation over Banach Algebra

Authors: Aleks Kleyn

Abstract: In the book, I considered differential equations of order $1$ over Banach $D$\Hyph algebra: differential equation solved with respect to the derivative; exact differential equation; linear homogeneous equation. I considered examples of differential equations in quaternion algebra. In order to study homogeneous system of linear differential equations, I considered vector space over division $D$-alg… ▽ More In the book, I considered differential equations of order $1$ over Banach $D$\Hyph algebra: differential equation solved with respect to the derivative; exact differential equation; linear homogeneous equation. I considered examples of differential equations in quaternion algebra. In order to study homogeneous system of linear differential equations, I considered vector space over division $D$-algebra, solving of linear equations over division $D$-algebra and the theory of eigenvalues in non commutative division $D$-algebra. △ Less

Submitted 29 April, 2022; v1 submitted 4 January, 2018; originally announced January 2018.

Comments: English text - 345 pages; Russian text - 362 pages

MSC Class: 34A05; 35F10; 35F40

Journal ref: talk on seminar http://www.mathnet.ru:8080/PresentFiles/27223/27223.mp4, 2020; I also used section 13.4, 21.5 -21.7 for my talk on joint mathematical meeting in Boston 2022

Introduction into Calculus over Banach algebra

Authors: Aleks Kleyn

Abstract: Let $A$, $B$ be Banach $D$-algebras. The map $f:A\rightarrow B$ is called differentiable on the set $U\subset A$, if at every point $x\in U$ the increment of map $f$ can be represented as $$f(x+dx)-f(x) =\frac{d f(x)}{d x}\circ dx +o(dx)$$ where $$\frac{d f(x)}{d x}:A\rightarrow B$$ is linear map and $o:A\rightarrow B$ is such continuous map that… ▽ More Let $A$, $B$ be Banach $D$-algebras. The map $f:A\rightarrow B$ is called differentiable on the set $U\subset A$, if at every point $x\in U$ the increment of map $f$ can be represented as $$f(x+dx)-f(x) =\frac{d f(x)}{d x}\circ dx +o(dx)$$ where $$\frac{d f(x)}{d x}:A\rightarrow B$$ is linear map and $o:A\rightarrow B$ is such continuous map that $$\lim_{a\rightarrow 0}\frac{\|o(a)\|_B}{\|a\|_A}=0$$ Linear map $\displaystyle\frac{d f(x)}{d x}$ is called derivative of map $f$. I considered differential forms in Banach Algebra. Differential form $ω\in\mathcal{LA}(D;A\rightarrow B)$ is defined by map $g:A\rightarrow B\otimes B$, $ω=g\circ dx$. If the map $g$, is derivative of the map $f:A\rightarrow B$, then the map $f$ is called indefinite integral of the map $g$ $$f(x)=\int g(x)\circ dx=\intω$$ Then, for any $A$-numbers $a$, $b$, we define definite integral by the equality $$\int_a^bω=\int_γω$$ for any path $γ$ from $a$ to $b$. △ Less

Submitted 11 September, 2017; v1 submitted 11 January, 2016; originally announced January 2016.

Comments: English text - 139 pages; Russian text - 144 pages. arXiv admin note: substantial text overlap with arXiv:1505.03625, arXiv:1006.2597, arXiv:0812.4763

Quadratic Equation over Associative D-Algebra

Authors: Aleks Kleyn

Abstract: In this paper, I treat quadratic equation over associative $D$-algebra. In quaternion algebra $H$, the equation $x^2=a$ has either $2$ roots, or infinitely many roots. Since $a\in R$, $a<0$, then the equation has infinitely many roots. Otherwise, the equation has roots $x_1$, $x_2$, $x_2=-x_1$. I considered different forms of the Viete's theorem and a possibility to apply the method of completing… ▽ More In this paper, I treat quadratic equation over associative $D$-algebra. In quaternion algebra $H$, the equation $x^2=a$ has either $2$ roots, or infinitely many roots. Since $a\in R$, $a<0$, then the equation has infinitely many roots. Otherwise, the equation has roots $x_1$, $x_2$, $x_2=-x_1$. I considered different forms of the Viete's theorem and a possibility to apply the method of completing the square. In quaternion algebra, there exists quadratic equation which either has $1$ root, or has no roots. △ Less

Submitted 16 February, 2023; v1 submitted 29 May, 2015; originally announced June 2015.

Comments: English text - 38 pages; Russian text - 39 pages

Derivative of Map of Banach algebra

Authors: Aleks Kleyn

Abstract: 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… ▽ More 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 $$ △ Less

Submitted 14 May, 2015; originally announced May 2015.

Comments: English text - 27 pages; Russian text - 27 pages

Linear Map of $D$-Algebra

Authors: Aleks Kleyn

Abstract: 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… ▽ More 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$. △ Less

Submitted 26 December, 2016; v1 submitted 12 February, 2015; originally announced February 2015.

Comments: English text - 87 pages; Russian text - 91 pages

Division in Associative $D$-Algebra

Authors: Aleks Kleyn

Abstract: 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. 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. △ Less

Submitted 12 December, 2014; originally announced December 2014.

Comments: English text - 12 pages; Russian text - 12 pages

Integral of Map into Abelian $Ω$-group

Authors: Aleks Kleyn

Abstract: 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… ▽ More 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. △ Less

Submitted 12 March, 2014; v1 submitted 11 October, 2013; originally announced October 2013.

Comments: English text - 77 pages; Russian text - 79 pages

Journal ref: Clifford Algebras and their Applications, volume 4, issue 1, pages 1 - 68, 2015

Normed Ω-Group

Authors: Aleks Kleyn

Abstract: 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. 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. △ Less

Submitted 16 October, 2013; v1 submitted 14 May, 2013; originally announced May 2013.

Comments: English text - 51 pages; Russian text - 53 pages. Version 2: I added section dedicated to Ω-ring

Polynomial over Associative D-Algebra

Authors: Aleks Kleyn

Abstract: 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. 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. △ Less

Submitted 12 April, 2015; v1 submitted 25 February, 2013; originally announced February 2013.

Comments: English text - 20 pages; Russian text - 21 pages

MSC Class: 16-02; 12-02

Journal ref: Clifford Analysis, Clifford Algebras and their Applications, volume 2, issue 2, pages 97 - 115, 2013

Free Algebra with Countable Basis

Authors: Aleks Kleyn

Abstract: 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. 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. △ Less

Submitted 27 November, 2012; originally announced November 2012.

Comments: English text - 47 pages; Russian text - 49 pages

Algebra of Fractions of Algebra with Conjugation

Authors: Aleks Kleyn

Abstract: 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. 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. △ Less

Submitted 9 May, 2012; originally announced June 2012.

Comments: English text - 11 pages; Russian text - 12 pages

Mappings of Conjugation of Quaternion Algebra

Authors: Aleks Kleyn

Abstract: In the paper I considered mappings of conjugation 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 mappings of conjugation. In the paper I considered mappings of conjugation 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 mappings of conjugation. △ Less

Submitted 10 June, 2012; v1 submitted 22 February, 2012; originally announced February 2012.

Comments: English text - 14 pages; Russian text - 14 pages. Accepted for publication in journal 'Clifford Analysis, Clifford Algebras and their applications', Issue 2, Vol 1, pages 109 - 121, 2012

Orthonormal Basis in Minkowski Space

Authors: Aleks Kleyn, Alexandre Laugier

Abstract: 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, proced… ▽ More 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. △ Less

Submitted 19 January, 2012; originally announced January 2012.

Comments: English text - 66 pages; Russian text - 66 pages. arXiv admin note: substantial text overlap with arXiv:1107.5037

Basis of Representation of Universal Algebra

Authors: Aleks Kleyn

Abstract: 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 repres… ▽ More 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. △ Less

Submitted 8 November, 2011; originally announced November 2011.

Comments: English text - 22 pages; Russian text - 23 pages. arXiv admin note: substantial text overlap with arXiv:0912.3315 and arXiv:0906.0135

Journal ref: The text of the paper is based on the text of the chapter 3 of my book "Representation Theory: Representation of Universal Algebra" published in 2011 by Lambert Academic Publishing

Orthogonal Basis and Motion in Finsler Geometry

Authors: Aleks Kleyn

Abstract: 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, procedu… ▽ More 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. △ Less

Submitted 12 August, 2011; v1 submitted 24 July, 2011; originally announced July 2011.

Comments: English text - 11 pages; Russian text - 11 pages

Linear Mappings of Quaternion Algebra

Authors: Aleks Kleyn

Abstract: 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. 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. △ Less

Submitted 12 July, 2011; v1 submitted 6 July, 2011; originally announced July 2011.

Comments: English text - 25 pages; Russian text - 25 pages. The goal of this paper is to establish bridge between different views on linear mappings of quaternion algebra

Algebra with Conjugation

Authors: Aleks Kleyn

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

Submitted 9 April, 2012; v1 submitted 22 May, 2011; originally announced May 2011.

Comments: English text - 11 pages; Russian text - 11 pages

Journal ref: Clifford Analysis, Clifford Algebras and their applications, Vol. 3, No. 1, pages 195 - 203, 2012

C*-Rhapsody

Authors: Aleks Kleyn

Abstract: 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. 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. △ Less

Submitted 21 May, 2011; v1 submitted 27 April, 2011; originally announced April 2011.

Comments: English text - 28 pages; Russian text - 30 pages

Polymorphism of Representations of Universal Algebra

Authors: Aleks Kleyn

Abstract: In this paper I consider the polymorpism of representations of universal algebra and tensor product 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. △ Less

Submitted 25 February, 2011; originally announced February 2011.

Comments: English text - 14 pages; Russian text - 14 pages

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

Authors: Aleks Kleyn, Ivan Kyrchei

Abstract: 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. 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. △ Less

Submitted 8 February, 2011; originally announced February 2011.

Comments: English text - 22 pages; Russian text - 24 pages

Journal ref: Advances in Linear Algebra Research, Nova Sci. Publ., New York, 2015, pp. 299-324

Polylinear Mapping of Free Algebra

Authors: Aleks Kleyn

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

Submitted 13 November, 2010; originally announced November 2010.

Comments: English text - 19 pages; Russian text - 20 pages

The Gateaux Derivative and Integral over Banach Algebra

Authors: Aleks Kleyn

Abstract: 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. 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. △ Less

Submitted 4 February, 2012; v1 submitted 14 June, 2010; originally announced June 2010.

Comments: The paper is based on the talk on Spring Eastern Sectional Meeting in New Jersey Institute of Technology, May 22-23, 2010. English text - 54 pages; Russian text - 56 pages

Linear Representation of Lie Group

Authors: Aleks Kleyn

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

Submitted 3 September, 2013; v1 submitted 19 March, 2010; originally announced March 2010.

Comments: English text - 45 pages; Russian text - 47 pages

Linear Mappings of Free Algebra

Authors: Aleks Kleyn

Abstract: 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 additi… ▽ More 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. △ Less

Submitted 8 August, 2010; v1 submitted 7 March, 2010; originally announced March 2010.

Comments: English text - 79 pages; Russian text - 81 pages. Established a link between linear mappings and tensor of order 2. Described the structure of the linear mapping of algebra

Journal ref: On the base of this paper I published book Linear Mappings of Free Algebra: First Steps in Noncommutative Linear Algebra, Lambert Academic Publishing, 2010

The Matrix of Linear Mappings

Authors: Aleks Kleyn

Abstract: 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 quasidet… ▽ More 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. △ Less

Submitted 26 January, 2010; originally announced January 2010.

Comments: English text - 10 pages; Russian text - 11 pages

Linear Equation in Finite Dimensional Algebra

Authors: Aleks Kleyn

Abstract: 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. 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. △ Less

Submitted 30 April, 2012; v1 submitted 20 December, 2009; originally announced December 2009.

Comments: English text - 7 pages; Russian text - 8 pages

Representation of Universal Algebra

Authors: Aleks Kleyn

Abstract: 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=… ▽ More 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. △ Less

Submitted 7 February, 2015; v1 submitted 17 December, 2009; originally announced December 2009.

Comments: English text - 79 pages; Russian text - 79 pages, this paper was published as chapter 2 of book Representation Theory: Representation of Universal Algebra, Lambert Academic Publishing, 2011

Quaternion Rhapsody

Authors: Aleks Kleyn

Abstract: 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. 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. △ Less

Submitted 4 April, 2011; v1 submitted 4 September, 2009; originally announced September 2009.

Comments: English text - 23 pages; Russian text - 23 pages

The Gateaux Derivative of Map over Division Ring

Authors: Aleks Kleyn

Abstract: 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 co… ▽ More 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. △ Less

Submitted 23 August, 2009; originally announced August 2009.

Comments: English text - 44 pages; Russian text - 46 pages

Journal ref: transactions of the XXI International Summer School-Seminar on Recent Problems in Theoretical and Mathematical Physics "Volga'21-2009" (XXI Petrov School)

Introduction into Geometry over Division Ring

Authors: Aleks Kleyn

Abstract: Theory of representations of F-algebra is a natural development of the theory of F-algebra. 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. I explore the geometry of affine space… ▽ More Theory of representations of F-algebra is a natural development of the theory of F-algebra. 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. I explore the geometry of affine space as example of tower of representations. Exploration of curvilinear coordinates allows us to see how look at the main structures of the manifold with affine connection. I explore Euclidean space over division ring. △ Less

Submitted 19 October, 2024; v1 submitted 31 May, 2009; originally announced June 2009.

Comments: English text - 50 pages; Russian text - 52 pages. Version 2: explored curvilinear coordinates in D-affine space

Introduction into Calculus over Division Ring

Authors: Aleks Kleyn

Abstract: 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… ▽ More 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$. △ Less

Submitted 25 February, 2013; v1 submitted 30 December, 2008; originally announced December 2008.

Comments: English text - 97 pages; Russian text - 103 pages. Version 3: Considered definition of Taylor series and integral. arXiv admin note: text overlap with arXiv:math/0701238, arXiv:0908.3307, arXiv:1006.2597

Journal ref: Clifford Analysis, Clifford Algebras and their applications, Issue 4, Volume 7, pages 291 - 355, 2012

Morphism of T*-Representations

Authors: Aleks Kleyn

Abstract: Importance of theorem dedicated to isomorphisms consist in statement that they allow to identify different mathematical objects which have something common from the point of view of certain model. This paper considers morphisms of \Ts representation of $\mathfrak{F}$\Hyph algebra and morphisms of \Ts representation of fibered $\mathfrak{F}$\Hyph algebra. Importance of theorem dedicated to isomorphisms consist in statement that they allow to identify different mathematical objects which have something common from the point of view of certain model. This paper considers morphisms of \Ts representation of $\mathfrak{F}$\Hyph algebra and morphisms of \Ts representation of fibered $\mathfrak{F}$\Hyph algebra. △ Less

Submitted 18 March, 2008; originally announced March 2008.

Comments: English text - 37 pages; Russian text - 40 pages

Fibered Correspondence

Authors: Aleks Kleyn

Abstract: 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… ▽ More 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. △ Less

Submitted 6 December, 2007; v1 submitted 15 July, 2007; originally announced July 2007.

Comments: English text - 19 pages; Russian text - 21 pages

Fibered F-Algebra

Authors: Aleks Kleyn

Abstract: 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. 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. △ Less

Submitted 19 October, 2007; v1 submitted 19 February, 2007; originally announced February 2007.

Comments: English text - 21 pages; Russian text - 23 pages

Lectures on Linear Algebra over Division Ring

Authors: Aleks Kleyn

Abstract: 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 comm… ▽ More 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. △ Less

Submitted 10 October, 2014; v1 submitted 8 January, 2007; originally announced January 2007.

Comments: English text - 158 pages; Russian text - 163 pages. Version 2: Considered definition of tensor product of rings and tensor product of twin vector spaces

Biring of Matrices

Authors: Aleks Kleyn

Abstract: 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. 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. △ Less

Submitted 21 April, 2010; v1 submitted 5 December, 2006; originally announced December 2006.

Comments: English text - 16 pages; Russian text - 17 pages

English Russian Scientific Dictionary

Authors: Aleks Kleyn

Abstract: 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. 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. △ Less

Submitted 13 September, 2015; v1 submitted 17 September, 2006; originally announced September 2006.

Comments: 55 pages

Vector Space Over Division Ring

Authors: Aleks Kleyn

Abstract: 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. 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. △ Less

Submitted 16 July, 2010; v1 submitted 15 January, 2005; originally announced January 2005.

Comments: English text - 41 pages; Russian text - 44 pages

MSC Class: 16D10; 16D20; 15A04; 15A06; 15A15

Basis Manifold

Authors: Aleks Kleyn

Abstract: In this paper we study a symmetry group of vector space. Basis manifold is a homogeneous space of a symmetry group. This concept leads us to the definition of active and passive transformations on basis manifold. Active transformation can be expressed as a transformation of vector space. Passive transformation gives ability to define concepts of invariance and of geometrical object. In this paper we study a symmetry group of vector space. Basis manifold is a homogeneous space of a symmetry group. This concept leads us to the definition of active and passive transformations on basis manifold. Active transformation can be expressed as a transformation of vector space. Passive transformation gives ability to define concepts of invariance and of geometrical object. △ Less

Submitted 12 August, 2007; v1 submitted 19 December, 2004; originally announced December 2004.

Comments: English text - 15 pages; Russian text - 16 pages

Metric-Affine Manifold

Authors: Aleks Kleyn

Abstract: We call a manifold with torsion and nonmetricity the metric-affine manifold. The nonmetricity leads to a difference between the auto parallel line and the extreme line, and to a change in the expression of the Frenet transport and moving basis. The torsion leads to a change in the Killing equation. We also need to add a similar equation for the connection. The analysis of the Frenet transport… ▽ More We call a manifold with torsion and nonmetricity the metric-affine manifold. The nonmetricity leads to a difference between the auto parallel line and the extreme line, and to a change in the expression of the Frenet transport and moving basis. The torsion leads to a change in the Killing equation. We also need to add a similar equation for the connection. The analysis of the Frenet transport leads to the concept of the Cartan transport and an introduction of the connection compatible with the metric tensor. The dynamics of a particle follows to the Cartan transport. We need additional physical constraints to make a nonmetricity observable. △ Less

Submitted 29 February, 2008; v1 submitted 5 May, 2004; originally announced May 2004.

Comments: English text - 20 pages; Russian text - 21 pages; 1 figure. (revised v3): Added Lie derivative of the connection