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