View source for Isotopy of an algebra

In [[mathematics]], an '''isotopy''' from a possibly [[non-associative algebra]] ''A'' to another is a triple of [[Bijection, injection and surjection|bijective]] [[linear map]]s {{nowrap|(''a'', ''b'', ''c'')}} such that if {{nowrap|1=''xy'' = ''z''}} then {{nowrap|1=''a''(''x'')''b''(''y'') = ''c''(''z'')}}. This is similar to the definition of an [[isotopy of loops]], except that it must also preserve the linear structure of the algebra. For {{nowrap|1=''a'' = ''b'' = ''c''}}  this is the same as an isomorphism. The '''autotopy group''' of an algebra is the group of all isotopies to itself (sometimes called autotopies), which contains the group of automorphisms as a subgroup.

Isotopy of algebras was introduced by {{harvs|txt|last=Albert|year=1942|authorlink=A. A. Albert}}, who was inspired by work of Steenrod.
Some authors use a slightly different definition that an isotopy is a triple of bijective linear maps ''a'', ''b'', ''c'' such that if {{nowrap|1=''xyz'' = 1}} then {{nowrap|1=''a''(''x'')''b''(''y'')''c''(''z'') = 1}}. For [[Alternative algebra|alternative]] [[division algebra]]s such as the [[octonion]]s the two definitions of isotopy are equivalent, but in general they are not.

==Examples==

*If {{nowrap|1=''a'' = ''b'' = ''c''}} is an isomorphism then the triple {{nowrap|(''a'', ''b'', ''c'')}} is an isotopy. Conversely, if the algebras have identity elements 1 that are preserved by the maps ''a'' and ''b'' of an isotopy, then {{nowrap|1=''a'' = ''b'' = ''c''}} is an isomorphism.
*If ''A'' is an associative algebra with identity and ''a'' and ''c'' are left multiplication by some fixed invertible element, and ''b'' is the identity then {{nowrap|(''a'', ''b'', ''c'')}} is an isotopy. Similarly we could take ''b'' and ''c'' to be right multiplication by some invertible element and take ''a'' to be the identity. These form two commuting subgroups of the autotopy group, and the full autotopy group is generated by these two subgroups and the automorphism group.
*If an algebra (not assumed to be associative) with an identity element is isotopic to an associative algebra with an identity element, then the two algebras are isomorphic. In particular two associative algebras with identity elements are isotopic if and only if they are isomorphic. However associative algebras with identity elements can be isotopic to algebras without identity elements.
*The autotopy group of the octonions is the [[spin group]] Spin<sub>8</sub>, much larger than its automorphism group [[G2 (mathematics)|''G''<sub>2</sub>]].
*If ''B'' is a [[mutation (algebra)|mutation]] of the associative algebra ''A'' by an invertible element, then there is an isotopy from ''A'' to ''B''.
*If ''a'', ''b'', and ''c'' are any invertible linear maps of an algebra, and one defines a new product {{nowrap|''c''<sup>−1</sup>(''a''(''x'')''b''(''y''))}}, then the algebra defined by this new product is isotopic to the original algebra. For example, the complex numbers with the product ''x''{{overline|''y''}} is isotopic to the complex numbers with the usual product, even though it is not commutative and has no identity element.

==References==

*{{citation|MR=0007747 
|last=Albert|first= A. A.
|title=Non-associative algebras. I. Fundamental concepts and isotopy. 
|journal=Ann. of Math. |series= 2 |volume=43|year=1942|pages= 685–707|doi=10.2307/1968960}} 
*{{eom|id=Isotopy_(in_algebra)}}
*{{citation|MR=0158000 
|last=Kurosh|first= A. G.
|title=Lectures on general algebra
|publisher= Chelsea Publishing Co.|place= New York|year= 1963 }}
*{{Citation | last1=McCrimmon | first1=Kevin | authorlink=Kevin McCrimmon |title=A taste of Jordan algebras | url=https://books.google.com/books?isbn=0387954473 | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Universitext | isbn=978-0-387-95447-9 | doi=10.1007/b97489 | id=[http://www.math.virginia.edu/Faculty/McCrimmon/ Errata] | year=2004 | mr=2014924 | zbl=1044.17001}}
*{{citation|first=R. A. |last=Wilson|url=http://www.maths.qmul.ac.uk/~raw/talks_files/octonions.pdf|title=Octonions|year=2008|series=Pure Mathematics Seminar notes}}

[[Category:Non-associative algebras]]