The only scalars in are . Hence

where .

Theorem

The group is simple, except for .