Algebra subgroup
From Groupprops
Definition
Suppose is the algebra group corresponding to an associative algebra
(that admits an algebra group) over a field
, i.e.,
. A subgroup
of
is termed an algebra subgroup of
if
for some subalgebra
of
.
Note that any algebra subgroup of an algebra group becomes an algebra group in its own right.