主張：一般線性群中不包含矩陣群。
領域：其他
判定：refutes