Mutation (algebra)

I teorin om algebror över ett fält är mutation en konstruktion av en ny binär operation relaterad till multiplikationen av algebra. I specifika fall kan den resulterande algebra hänvisas till som en homotop eller en isotop av originalet.

Definitioner

Låt A vara en algebra över ett fält F med multiplikation (antas inte vara associativ ) betecknad med sida. För ett element a av A , definiera den vänstra a -homotopen för att vara algebra med multiplikation

Definiera på liknande sätt den vänstra ( a , b ) mutationen

Höger homotop och mutation definieras analogt. Eftersom den högra ( p , q ) mutationen av A är den vänstra (− q , − p ) mutationen av den motsatta algebra till A räcker det att studera vänstermutationer.

Om A är en enhetlig algebra och a är inverterbar hänvisar vi till isotopen med a .

Egenskaper

  • Om A är associativ så är det också vilken homotop av A som helst , och varje mutation av A är Lie-tillåten .
  • Om A är alternativ så är det också vilken homotop av A som helst, och varje mutation av A är Malcev-tillåten .
  • Varje isotop av en Hurwitz-algebra är isomorf till originalet.
  • En homotop av en Bernstein-algebra med ett element av vikt som inte är noll är återigen en Bernstein-algebra.

Jordan algebror

En Jordan-algebra är en kommutativ algebra som uppfyller Jordan-identiteten . Jordan trippelprodukten definieras av

För y i A definieras mutationen eller homotopen Ay som vektorrummet A med multiplikation

och om y är inverterbar kallas detta för en isotop . En homotop av en Jordanalgebra är återigen en Jordanalgebra: isotopi definierar en ekvivalensrelation. Om y är nukleär är isotopen av y isomorf till originalet.