https://9dok.net/document/q05214mv-finiteness-properties-of-split-extensions-of-linear-groups.html