On semi-automorphisms of division algebras (Q2647323)

Ein Semiautomorphismus eines Ringes \(A\) ist eine eineindeutige Abbildung \(a\to a^S\) von \(A\) auf sich mit \[ (a + b)^S = a^S + b^S \tag{1} \] \[ (ab)^S + (ba)^S = a^Sb^S + b^Sa^S. \tag{2} \] Der Verf. zeigt, daß ein Semiautomorphismus einer halbeinfachen Algebra über einem Körper mit von \(2\) verschiedener Charakteristik entweder ein direkter oder ein inverser Automorphismus ist, d. h. daß statt (2) sogar entweder \((ab)^S = a^Sb^S\) oder \((ab)^S = b^Sa^S\) gilt.