Algebra Maltsev
Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od
verze recenzované 18. března 2022; kontroly vyžadují
2 úpravy .
Maltsevova algebra je neasociativní algebra přes pole , ve kterém se binární multiplikativní operace řídí následujícími axiomy:
![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/545fd099af8541605f7ee55f08225526be88ce57)
- podmínka antisymetrie :
pro všechny .![{\displaystyle A,B\in M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25dba9ee954674e959e45a68b8c267adcb49f989)
- Maltsevova identita:
pro všechny , kde a![{\displaystyle A_{k}\in M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/db24a03647d13c7fe9163f11b2e5fc90fb416db1)
![{\displaystyle k=1,2,\tečky ,6}](https://wikimedia.org/api/rest_v1/media/math/render/svg/79c95d4838e2a8e3ecd60e00fb516944609fcdc1)
- podmínka bilinearity:
pro všechny a .
![{\displaystyle A,B,C\in M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4909fb5be6ae5024f706e5a9d5b9076e2e5d598)
![a,b\in F](https://wikimedia.org/api/rest_v1/media/math/render/svg/40b0ed72d499490ba23dc89160fb8dac6664949b)
Malcevova algebra byla představena v roce 1955 sovětským matematikem Anatolijem Ivanovičem Malcevem .
Mezi alternativními algebrami a Maltsevovou algebrou existuje následující vztah. Nahrazením násobení g(A,B) v algebře M operací komutace [A,B]=g(A,B)-g(B,A) se z ní stane algebra . Navíc, pokud M je alternativní algebra , pak to bude Maltsevova algebra. (Jinými slovy, pro Maltsevovy algebry existuje analogie Poincarého–Birkhoff–Wittova teorému .) Maltsevova algebra je jedním ze zobecnění Lie algebry , což je konkrétní příklad Maltsevovy algebry.
![M^{(-)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f1d51538527572dcaf27d1a0d543b0b80357dea)
![M^{(-)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f1d51538527572dcaf27d1a0d543b0b80357dea)
Pro Maltsevovy algebry existuje věta podobná klasické větě o spojení mezi Lieovou algebrou a Lieovou grupou . Tangentová algebra lokální analytické smyčky Moufang je Maltsevova algebra. Opak je také pravdivý: jakákoli konečnorozměrná Mal'tsevova algebra přes kompletní normované pole charakteristiky 0 je tečnou algebrou nějaké lokální analytické Moufangovy smyčky .
![M](https://wikimedia.org/api/rest_v1/media/math/render/svg/f82cade9898ced02fdd08712e5f0c0151758a0dd)
![F](https://wikimedia.org/api/rest_v1/media/math/render/svg/545fd099af8541605f7ee55f08225526be88ce57)
Literatura
- Maltsev A. I. Matematická sbírka. - 1955. - Ročník 36. - č. 3. - S. 569-76.
- Maltsev A. I. Selected Works. Svazek 1. Klasická algebra. — M.: Nauka, 1976.
- Maltsev AI Algebraické systémy. — M.: Nauka, 1970. — 392 s.
- Mal'tsev AI, Algebraické systémy. - Springer, 1973.
- Filippov VT, "Mal'tsev algebra", v Hazewinkel, Michiel, Encyklopedie matematiky, Springer, 2001. ISBN 978-1-55608-010-4
- Koulibaly AA "Contributions a la theorie des algebres de Mal'cev" Montpellier : Université des Sciences et Techniques du Languedoc, 1984. Archivováno 21. března 2019 na Wayback Machine
- Skornyakov L. A., Shestakov I. P. . Kapitola III. Kruhy a moduly // Obecná algebra / Ed. vyd. L. A. Skornyaková . - M .: Science , 1990. - T. 1. - S. 291-572. — 592 s. — (Referenční matematická knihovna). — 30 000 výtisků. — ISBN 5-02-014426-6 .
Odkazy
Viz také