Prefer a chat interface with context about you and your work?
Component type theorems for finite groups in characteristic 2
< 2 in T centralizes /7(J), contrary to T/Oz(J) acting faithfully on/7(J