首先，先把你的问题明确一下：

证明集合${\sigma \mid \sigma(i)\le i \text{ for }1\le i\le 6 }$是$S_6$的子群。

我卡在了该如何推导这个问题上。我想我应该先检查封闭性，再验证群公理，但面对这么多可能的像的选择，我该怎么处理？是不是有一个我没发现的、证明封闭性的非常明显的方法？

别慌，其实你可能被“大量可能的置换”这个假象误导了——这个集合里其实只有恒等置换！我们一步步拆解：

第一步：先确认集合的实际元素 #

假设$\sigma$是集合中的非恒等置换，那必然存在某个$i$使得$\sigma(i)\neq i$。根据集合条件，$\sigma(i)\le i$，所以$\sigma(i)<i$。

但$\sigma$是双射（置换的核心性质），所以必须存在某个$j$使得$\sigma(j)=i$。而根据集合条件，$\sigma(j)\le j$，所以$i\le j$。

现在，$\sigma(i)$是一个小于$i$的数，设为$k$，那又得存在某个$l$使得$\sigma(l)=k$，且$k\le l$。这样一直追溯下去，最终会到最小的元素1：必须有某个$m$使得$\sigma(m)=1$，而$\sigma(m)\le m$意味着$m\ge1$。但同时，$\sigma(1)\le1$，所以$\sigma(1)$只能是1，这就要求$m=1$，但$\sigma(1)=1$，矛盾！

这说明不存在非恒等的置换满足条件，所以这个集合就是${\text{id}}$——仅包含恒等置换的单元素集合。

第二步：验证它是子群 #

既然集合只有恒等置换，验证子群就非常简单了：

• 非空：集合里明确包含$\text{id}$，满足；
• 封闭性：$\text{id}\circ\text{id}=\text{id}$，结果仍在集合里，满足；
• 逆元存在：恒等置换的逆元就是它自己，显然在集合里，满足。

当然，这里可能存在题目笔误的情况（比如条件写成$\sigma(i)\ge i$或者$\sigma^{-1}(i)\le i$的话，集合会有更多元素），但根据你给出的题目条件，上述推导完全成立。

备注：内容来源于stack exchange，提问作者Jason Xu