Block induction ($b^G$)

Let $b$ be a block of a group algebra of $kH$ with defect group of a block $D$, where $D{C}_G(D)\le H\le G$. Apply Brauer first main theorem inside $H$ to obtain its correspondent in $N_H(D)$. Composing that correspondent's central character of a block with the Brauer morphism from $Z(kG)$ selects a unique block of a group algebra $b^G$. It is the unique block of a group algebra whose restriction to $H\times H$ contains the block bimodule $b$ as a direct summand. Its defect group of a block can be larger than $D$ when $H$ does not contain $N_G(D)$.

The centralizer condition defining block induction refers to a defect group of a block of the actual source block. Containment of the centralizer of an unrelated p-subgroup does not suffice. For example, in characteristic $3$ take $G=A_5$, $H=A_4$ and $D=C_3$. Then $D{C}_G(D)\le H$, but the unique defect-zero block of $k{A}_4$ occurs on bimodule restriction of both three-dimensional defect-zero blocks of $k{A}_5$. The two ordinary degree-three characters have identical restriction to $A_4$, namely its degree-three character, and defect-zero reduction gives the same simple projective module. Thus the unique-block characterization fails if $D$ is not the defect group of the source block.