View source for Frattini subalgebra

A notion imported from group theory (cf. also [[Group|Group]]), where the [[Frattini-subgroup(2)|Frattini subgroup]] of a group plays an important role. Due to the many close connections which Lie algebras have with groups, these concepts have been mainly studied for Lie algebras.

The Frattini subalgebra of a non-associative (that is, not necessarily associative) algebra (cf. also [[Associative rings and algebras|Associative rings and algebras]]; [[Non-associative rings and algebras|Non-associative rings and algebras]]) is the intersection of its maximal subalgebras. Unlike the group case, where the Frattini subgroup is always a [[Normal subgroup|normal subgroup]], the Frattini subalgebra is not an [[Ideal|ideal]] in general; the Frattini ideal is then the largest ideal contained in the Frattini subalgebra.

==Key features.==
See also [[#References|[a3]]], [[#References|[a1]]].

i) An element <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120120/f1201201.png" /> belongs to the Frattini subalgebra of a non-associative algebra <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120120/f1201202.png" /> if and only if whenever <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120120/f1201203.png" /> generates <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120120/f1201204.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120120/f1201205.png" /> alone suffices to generate <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f120/f120120/f1201206.png" />.

ii) For finite-dimensional algebras from the usual varieties (associative, Lie, Jordan, alternative or Mal'tsev algebras), the Frattini ideal is nilpotent and an algebra is nilpotent if so is its quotient modulo the Frattini ideal (cf. also [[Nilpotent ideal|Nilpotent ideal]]; [[Nilpotent algebra|Nilpotent algebra]]).

iii) Finite-dimensional algebras with trivial Frattini ideal have some nice decomposition properties based on the fact that any ideal whose square is zero is complemented by a subalgebra.

==Generalizations.==
Related concepts are being studied in very general algebraic systems [[#References|[a2]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  A. Elduque,   "A Frattini theory for Malcev algebras"  ''Algebras, Groups, Geom.'' , '''1'''  (1984)  pp. 247–266</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  L.A. Shemeltkov,   A.N. Skiba,   "Formations of algebraic systems" , Nauka  (1989)  (In Russian)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  D.A. Towers,   "A Frattini theory for algebras"  ''Proc. London Math. Soc.'' , '''27''' :  3  (1973)  pp. 440–462</TD></TR></table>