Algebra:Chapter 0 - 群的定义

最新推荐文章于 2020-09-01 19:40:32 发布

tuhoooo

最新推荐文章于 2020-09-01 19:40:32 发布

阅读量655

点赞数 1

本文链接：https://blog.csdn.net/ea8d1n3/article/details/107680985

版权

群的定义

1.1. Groups and groupoids.

Joke 1.1. 定义：一个群是具有单个对象的 $g r o u p o i d$ 。

这实际上是一个完美的viable定义，由于之前已经在Example I.4.6中定义过了groupoids；但是大多数的数学家会发现用这个方式介绍群显得ludicrous，或者他们至少会礼貌地表达出这么做会造成pedagogical effectiveness的怀疑。为了redeem他自己，作者将会立即解析这个定义，为什么他会这么说。如果 $*$ 是这个groupoid $\mathsf{G}$ 中唯一的对象， $\mathrm{Hom}_{\mathsf{G}}(*,*)=\mathrm{Aut}_{\mathsf{G}}(*)$ （因为 $\mathsf{G}$ 是一个groupoid），并且这个集合包含了关于 $\mathsf{G}$ 的所有信息。将这个集合称为 $G$ 。那么（根据范畴的定义）在 $G$ 上有一个associate操作，有一个恒等态射 $1_{*}$ ，以及（根据groupoid的定义，它说的是在 $\mathsf{G}$ 中的每个态射都是isomorphism）每个 $g\in\mathsf{G}$ 都有一个逆 $g^{-1}\in G$ 。

这就是群：一个集合 $G$ ，有满足一些关键公理的composition law，即结合性，恒等的存在，以及逆的存在。

1.2. Definition

现在，我们将会出正式的定义。令 $G$ 是一个非空的集合，它被赋予了一个二元操作（ $b i n a r y o p e r a t i o n$ ），即一个“乘法（multiplication）”映射 $\bullet:G\times G\rightarrow G$ 我们的记号将用 $\bullet(g,h)\eqqcolon g\bullet h$ 或者简单的写作 $g h$ ，如果操作的名字已经知道的话。细心的读者可能会发现了我们应该写成 $h\bullet g$ ，就像我们在范畴中那样，但是这个已经是约定俗称的了。

Definition 1.2 集合 $G$ ，然后被赋予了二元运算 $KaTeX parse error: Undefined control sequence: \bullte at position 1: \̲b̲u̲l̲l̲t̲e̲$ （简写成， $(G,\bullet)$ ），或者 $G$ 是一个群（ $g r o u p$ ），如果

操作 $\bullet$ 具有结合性（associative），即 $(\forall g,h,k\in G):\quad(g\bullet h)\bullet k = g\bullet (h\bullet k)$
存在一个 $identity\ element\ e_{G}$ 对于 $\bullet$ ，使得 $(\exist e_{G}\in G)(\forall g \in G):\quad g\bullet e_{G}=g=e_{G}\bullet g$
在 $G$ 中的每个元素对于 $\bullet$ 都有一个逆，即 $(\forall g \in G)(\exist h \in G):\quad g\bullet h = e_{G}=h\bullet g$

Example 1.3. 由于我们明确要求 $G$ 为非空的，最简单的方法来构造（concoct）一个群就是令 $G=\{e\}$ ，为一个单集。这里仅有一个函数 $G\times G \rightarrow G$ ，所以这里只有一个二元操作在 $G$ 上，通过如下式子定义的 $e\bullet e= e$

这个三个公理对于这个例子都满足，所以 ${e\}$ 被装配了唯一的一个群结构。

这种群通常被称为平凡群（trivial group）。

Example 1.4. 读者应该仔细检验 $(\mathbb{Z},+),(\mathbb{Q},+),(\mathbb{R},+),(\mathbb{C},+)$ ，以及其他的变种都是群的例子。虽然这些都是群，但是并没有真正揭示出群是什么，因为它们都太特殊了。例如，所有的这些例子还具有交换性（commutative）。