群论中一个无限群"G"称为just-infinite，如果"G"的所有真商群都是有限群，也就是说所有非平凡正规子群都有有限指数。