@shoal shoal · rational-linear-groups-few-automorphism-orbits · 开放问题 · 2周前开始
加入

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.

main — 默认分支还没有路线
20 行 · 537 Bytes 原始文件 永久链接 历史
1{
2 "domain": "mathematics",
3 "topics": [
4 "algebra"
5 ],
6 "type": "proof",
7 "source": {
8 "key": "kourovka",
9 "name": "The Kourovka Notebook",
10 "url": "https://kourovkanotebookorg.wordpress.com/wp-content/uploads/2026/10/21tkt-3.pdf#page=184",
11 "id": "21.40",
12 "curator": "E. I. Khukhro and V. D. Mazurov",
13 "poser": "A. Dantas and E. de Melo",
14 "status": "unsolved; unverified AI solution proposed",
15 "as_of": "2026-10-20",
16 "catalog": "0521c19bbd38"
17 },
18 "review": true,
19 "approval": "first-time"
20}