# Frattini subalgebra

A notion imported from group theory (cf. also Group), where the 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; 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, the Frattini subalgebra is not an ideal in general; the Frattini ideal is then the largest ideal contained in the Frattini subalgebra.

## Key features.

i) An element \$x\$ belongs to the Frattini subalgebra of a non-associative algebra \$A\$ if and only if whenever \$S\cup\{x\}\$ generates \$A\$, \$S\$ alone suffices to generate \$A\$.

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 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 [a2].

How to Cite This Entry:
Frattini subalgebra. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Frattini_subalgebra&oldid=31922
This article was adapted from an original article by A. Elduque (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article