Algebra jako matematická struktura je vektorový prostor A nad tělesem F (anebo obecněji modul nad okruhem), na kterém je dána další operace násobení, které je lineární, tj.
![{\displaystyle \mathbf {a} \cdot (\alpha \mathbf {b} +\beta \mathbf {c} )=\alpha \mathbf {a} \cdot \mathbf {b} +\beta \mathbf {a} \cdot \mathbf {c} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5384a17f938df27181f840015b8361fb46293dd0)
pro
.
- Algebra s jednotkou – algebra, ve které existuje jednotkový prvek vzhledem k násobení.
- Asociativní algebra – násobení je asociativní.
- Komutativní algebra – násobení je komutativní.
- Lieova algebra – násobení je antisymetrické a splňuje Jacobiho identitu
- Jordanovy algebry – komutativní algebra splňující
pro každé x,y (Jordanova identita)
- Alternující algebra – algebra, pro kterou je funkce
(asociátor) totálně antisymetrický.
- Podílová algebra – algebra, ve které má každý nenulový prvek inverzi vzhledem k násobení.
- Normovaná algebra – je dána norma || taková, že
![{\displaystyle |xy|=|x||y|}](https://wikimedia.org/api/rest_v1/media/math/render/svg/300f8d06cfdb034ade2c439bb2b0935c448114a5)
Čtvercové matice řádu n spolu se sčítáním, násobením a násobením prvky tělesa tvoří asociativní algebru s jednotkou, tzv. maticovou algebru.
Oktoniony tvoří normovanou podílovou alternující algebru nad tělesem reálných čísel.
Každá podílová algebra nad libovolným tělesem může mít dimenzi jenom 1,2,4 nebo 8. Jediné normované podílové algebry nad tělesem reálných čísel jsou reálná čísla, komplexní čísla, kvaterniony a oktoniony.