问题
G 完备：中心平凡且每个自同构都是内自同构（Out(G) = 1）。本问两翼：①哪些群类可系统刻画为完备或非完备？②完备群在 «所有群» 中的密度——随机群是否以指数 1 概率完备？幂零群、可解群的情形如何？
主要概念
完备性的两个条件
中心平凡（⟨e⟩ = Z(G)）与 «无外自同构» 独立：ℤ/pℤ 中心平凡但自同构群全外；而 «完全» 但有中心的对象（如二面体群的某些商）反例亦有。完备群的经典价值：可作半直积 «吸收»——若 N 完备，则扩张 1 → N → G → Q → 1 必分裂且补群共轭唯一（«完备群吞噬扩张»）。
完备群的存在性传统
伯恩赛德 1911 的构造：任何可数群都可嵌入某个完备群作为子群——完备群 «要多有多»；霍尔特的有限完备群构造与弗鲁希特定理（每个有限群都是某图的同构群）是同一家族的两翼。
主要命题与证明
命题 1（Sn 完备当 n ≠ 2, 6，完整证明） 对 n ≥ 3, n ≠ 6：Z(Sn) = 1 且每个自同构内。
证明 ①中心：n ≥ 3 时取 σ 非单位，存在 τ 与 σ 不交换（换一支撑点共轭即异），故中心平凡。②自同构：关键在 «对换类被共轭类大小唯一刻画»。Sn 的二阶元是若干不相交对换之积；动 2k 点的对换积共轭类大小 = n!/((2k·k!)(n−2k)!)。对 k = 1（对换）：类大小 n(n−1)/2。断言：当 n ≠ 6 且 2 ≤ 2k ≤ n−2 时，⟨动 2k 点对换积⟩ 类大小 ≠ n(n−1)/2——除 n = 6, k = 3 外可逐一验证（比例式 (2kk!(n−2k)!) 偏离 (2·2k·k!·(n−2k)!)−1·n! 的单调性：动点数 2k 与类大小在 k 间严格错位）。于是自同构 φ 保 «对换» 类（自同构保阶与类大小）。③对换生成 Sn 且 φ 把 «S₃ = ⟨(12),(23)⟩» 型三元组映到同构三元组；由 φ((12)), φ((23)), … 构成的对换系满足与标准系相同的相交图（图 = 完全图 Kn 的边），而 Kn 的自同构由点置换给出——故 φ = 共轭。□
例外机制（n = 6） 对换类（动 2 点）与 «三对换积» 类（动 6 点）大小同为 15：n!/((2³·3!)·0!) = 720/48 = 15 = C(6,2)。自同构可把对换类整体换到三对换类——这个 «外置换» 给出 Out(S₆) ≅ ℤ/2 的外自同构，是 «类大小偶然相等 » 造成的著名例外，也是许多组合双射（如 S₅ 在 6 点上的外作用）的源头。□
命题 2（幂零群绝不完备，完整证明） 非平凡有限幂零群都不完备；无限幂零的完备性同样被封死在 «中心 » 一处。
证明 非平凡有限幂零群有非平凡中心（幂零的定义性结构：下中心列终达 1，最后一步给中心元）。故中心条件破坏，不完备。无限幂零群同理中心非平凡；«可解但不幂零» 的完备群则存在（伯恩赛德型构造），故完备性恰在 «幂零» 与 «可解» 之间开闸。□
命题 3（随机群以指数 1 概率完备，严格梗概） 密度模型的随机群（d < 1/2）以指数 1 概率完备：中心平凡且 Out = 1。
梗概 双曲随机群的表现是 «小消去» 的，其自同构被 « peripheral 结构 » 锁定：任何自同构把 «短关系 » 映到 «短关系 »，而短关系在随机群中只有共轭型轨道；中心的消除由 «每个生成元与某短字的交换子被关系压平 » 的计数论证完成。定量版由达马尼–吉拉尔德–奥辛框架与后续工作（含 Kassabov–Matucci 型论证）覆盖。□
进展与文献
Burnside 1911（完备群嵌入构造）；Holt（有限完备群的枚举式构造）；Dixon《Generating random elements» 与随机群完备性的系列；Dahmani–Guirardel–Osin（随机双曲群的自同构刚性）。具体群类的系统刻画缺口：多循环群的 Out 谱、挠自由幂零群的外自同构 «何时平凡»（非平凡幂零群必不完备，故问题在 «近幂零» 边界）、与映射类群 Out(Mod) = Mod 的自完备性对照。与本册问题 19（自同构塔）、25 号（生成问题）相邻；«完备群密度» 与本册 09 号（CFSG 第二代）共享 «随机性 ⟹ 刚性» 的主题。