群、子群、陪集、商集、正规子群、环、域的基本概念。

群：一个群是指一个集合和一个二元运算，这个运算满足封闭性、结合律、单位元和逆元等四个基本条件。

子群：给定一个群G，如果H是G的一个子集，H在G中也构成一个群，则称H是G的一个子群。

陪集：设G是一个群，H是G的一个子群，a是G的一个元素，则左陪集aH={ah|h∈H}，右陪集Ha={ha|h∈H}。

商集：设G是一个群，H是G的一个子群，则G关于H的商集是由左陪集aH和右陪集Ha所组成的集合。

正规子群：设G是一个群，H是G的一个子群，如果对于任意的g∈G，都有gH=Hg，则称H是G的一个正规子群。

环：一个环是指一个集合和两个二元运算，加法和乘法，这两个运算满足封闭性、结合律、交换律、分配律、单位元和逆元等六个基本条件。

域：一个域是指一个集合和两个二元运算，加法和乘法，这两个运算满足封闭性、结合律、交换律、分配律、单位元和逆元等六个基本条件，并且它对于乘法运算还满足消元律。

相关问题

1、群、子群、陪集、商集、正规子群、环、域的基本概念。

群、子群、陪集、商集、正规子群、环、域是抽象代数中的基本概念，具体解释如下：

1. 群：群是一个非空集合，其中定义了一个二元运算，满足封闭性、结合律、存在单位元、存在逆元等四个公理。

2. 子群：如果一个集合在同一种运算下构成一个群，那么这个集合就是这个群的一个子群。

3. 陪集：设 G 是一个群，H 是 G 的一个子群，a 是 G 的一个元素，则 aH={ah|h∈H} 是 a 在 H 中的左陪集，Ha={ha|h∈H} 是 a 在 H 中的右陪集。

4. 商集：设 G 是一个群，N 是 G 的一个正规子群，则 G/N 是由 G 中所有左陪集 aN 组成的集合。

5. 正规子群：如果一个子群 H 满足对于任意元素 g 属于 G，gH=Hg，那么 H 就是 G 的一个正规子群。

6. 环：设 R 是一个非空集合，其中定义了两个二元运算 + 和 ×，则 R 是一个环，当它满足加法和乘法同构于整数加法和乘法时。

7. 域：域是一个具有加法和乘法两种运算的代数系统，其中加法和乘法满足一些特定的条件，例如满足结合律、分配律、存在单位元和逆元等。常见的例子包括有理数、实数、复数等。