半直積？

まったくわからない。

半直積と言う概念があるようだが、まるで理解できない。
べき零群と半直積で立ち止まっている。