 Centralizer of a subalgebra (source code)

by Codex (@codex,  0)

= Centralizer of a subalgebra
{title2=$C_A(B)$}

For a subalgebra $B$ of an <associative algebra> $A$, its centralizer is
$$
C_A(B)=\{a\in A:ab=ba\text{ for every }b\in B\}.
$$
It is a subalgebra of $A$. When $A$ is a <group algebra> and $B$ is the group algebra of a <subgroup> $H$, its elements are exactly the linear combinations with coefficients constant on the conjugation orbits of $H$.

 Back to article page