Namespaces
Variants
Actions

Difference between revisions of "Frattini subalgebra"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
 
Line 1: Line 1:
 +
{{TEX|done}}
 
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.
 
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.
  
Line 6: Line 7:
 
See also [[#References|[a3]]], [[#References|[a1]]].
 
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" />.
+
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 ideal]]; [[Nilpotent algebra|Nilpotent algebra]]).
 
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]]).

Latest revision as of 13:52, 25 April 2014

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.

See also [a3], [a1].

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

References

[a1] A. Elduque, "A Frattini theory for Malcev algebras" Algebras, Groups, Geom. , 1 (1984) pp. 247–266
[a2] L.A. Shemeltkov, A.N. Skiba, "Formations of algebraic systems" , Nauka (1989) (In Russian)
[a3] D.A. Towers, "A Frattini theory for algebras" Proc. London Math. Soc. , 27 : 3 (1973) pp. 440–462
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