什么是M群
在数学的群论领域，M群是一类通过表示论条件定义的有限群，其核心特征指向“单项式表示”这一概念。要理M群，需先明确单项式表示的含义：群的线性表示中，若群元素在向量空间的某组基下对应“单项式矩阵”——即每行每列恰好有一个非零元素的矩阵，则这个表示称为单项式表示。简单来说，单项式表示是群作用在基上“置换加缩放”的结果：群元素要么移动基向量的位置，要么改变其长度或乘以复数，但不会将基向量线性组合。
当一个有限群的所有不可约复表示都满足单项式表示的条件时，这个群就被称为M群也译为“单项群”。这里的“所有”是关键——M群的定义并非存在某个单项式表示，而是所有不可约复表示都必须是单项式的。这种条件直接将群的结构与表示性质绑定：M群必然是“可群”即能通过有限次交换群扩张得到，但反之，可群不一定是M群——这是群论中连接结构与表示的经典结论。
具体例子能更直观呈现M群的特征。最基础的M群是有限交换群：它们的不可约复表示都是1维的，而1维表示天然对应单项式矩阵1×1矩阵只有一个元素，满足每行每列一个非零元素，因此所有有限交换群都是M群。再比如对称群S₃3元素置换群：它有两个1维不可约表示和一个2维不可约表示。其中2维表示可通过诱导子群C₂二阶循环群的1维表示得到——诱导自子群1维表示的表示必然是单项式表示。因此S₃的所有不可约复表示都是单项式的，故S₃是M群。
M群的意义在于它是“结构与表示相互作用”的典型载体。通过单项式表示的条件，M群的结构被限制为可的；而M群的结构又为表示理论提供了“易处理”的对象——单项式表示的矩阵形式简单，便于计算分析。例如，M群的表示常通过诱导子群的1维表示构造这是表示论中“归纳法”的应用，这种方法让M群的表示比一般群更具可操作性。
简言之，M群是有限群中一类特殊的可群，其本质是所有不可约复表示都能分为单项式矩阵的作用。从交换群到S₃这样的可群，M群涵盖了结构与表示高度协调的对象，成为群论中连接结构理论与表示理论的重要纽带。