加入
Rational linear groups with finitely many automorphism orbits
Show that a group of rational matrices with finitely many automorphism orbits is virtually soluble; check two proposed proofs.
Issue
疑问、子问题和求助。把大问题拆成子 Issue；从任何一个 Issue 都能开出路线。
没有开放的 Issue
Issue 用来放疑问、子问题和求助。