变换群
变换群设G是一个非空集合,G的元素间定义一种运算"○ ”。如果G满足以下的条件:
⒈(运算封闭性)对于G中的任意两个元素a、b,恒有a○b∈G;
2.(结合律)对于G中的任意三个元素a、b、c,恒有(a○b)○c=a○(b○c);
3.(单位元)存在单位元e∈G,使得对于G中的任意元素a,都有e○a=a;
4.(逆元)对于G中的任意元素a,存在a的逆元b∈G,使得b○a=e。
则称G关于运算"○”作为一个群。简称G是一个群。
变换群设G是一个非空集合,G的元素间定义一种运算"○ ”。如果G满足以下的条件:
⒈(运算封闭性)对于G中的任意两个元素a、b,恒有a○b∈G;
2.(结合律)对于G中的任意三个元素a、b、c,恒有(a○b)○c=a○(b○c);
3.(单位元)存在单位元e∈G,使得对于G中的任意元素a,都有e○a=a;
4.(逆元)对于G中的任意元素a,存在a的逆元b∈G,使得b○a=e。
则称G关于运算"○”作为一个群。简称G是一个群。