Сравнивайте с английским: нажмите на абзац — оригинал откроется в окне. Кнопка EN под абзацем показывает его прямо в тексте.
Содержание
Введение
В группе сопряжённый элемент h относительно g равен ghg⁻¹.
In a group, the conjugate by g of h is ghg−1.
Ротация
В 3D конъюгат вращения вокруг оси относительно преобразования переноса является соответствующим вращением вокруг перенесенной оси. Такая конъюгация порождает винтовое движение, которое, как известно, выражает произвольное евклидово движение согласно теореме Чейслса. Класс конъюгации в евклидовой группе E(3) вращения вокруг оси – это вращение на тот же угол вокруг любой оси. Конъюгированное замыкание синглетона, содержащего вращение в 3D, равно E+(3). В 2D это отличается в случае k-кратного вращения: конъюгированное замыкание содержит k вращений (включая тождественное) в сочетании со всеми переносами. E(2) имеет фактор-группу O(2) / Ck, а E+(2) – фактор-группу SO(2) / Ck. Для k = 2 это уже было рассмотрено выше.
In 3D, the conjugate by a translation of a rotation about an axis is the corresponding rotation about the translated axis. Such a conjugation produces the screw displacement known to express an arbitrary Euclidean motion according to Chasles' theorem. The conjugacy class within the Euclidean group E(3) of a rotation about an axis is a rotation by the same angle about any axis. The conjugate closure of a singleton containing a rotation in 3D is E+(3). In 2D it is different in the case of a k fold rotation: the conjugate closure contains k rotations (including the identity) combined with all translations. E(2) has quotient group O(2) / Ck and E+(2) has quotient group SO(2) / Ck For k = 2 this was already covered above.
Отражение
Конъюгаты отражения — это отражения с зеркальной плоскостью, сдвинутой, повернутой и отраженной. Конъюгированное замыкание синглетона, содержащего отражение, — это всё E(n).
The conjugates of a reflection are reflections with a translated, rotated, and reflected mirror plane. The conjugate closure of a singleton containing a reflection is the whole E(n).
Изометрические группы
Две изометрические группы считаются равными с точностью до сопряженности относительно аффинных преобразований, если существует аффинное преобразование, такое что все элементы одной группы можно получить, беря сопряженные этим аффинным преобразованием элементы другой группы. Это применимо, например, к группам симметрии двух орнаментов, оба из которых относятся к определенному типу обоев. Если бы мы рассматривали только сопряженность относительно изометрий, мы бы не допускали масштабирование, а в случае параллелограмматической решетки – изменение формы параллелограмма. Однако следует отметить, что сопряженное аффинным преобразованием изометрическое преобразование, как правило, само не является изометрией, хотя объем (в 2D: площадь) и ориентация сохраняются.
Two isometry groups are said to be equal up to conjugacy with respect to affine transformations if there is an affine transformation such that all elements of one group are obtained by taking the conjugates by that affine transformation of all elements of the other group. This applies for example for the symmetry groups of two patterns which are both of a particular wallpaper group type. If we would just consider conjugacy with respect to isometries, we would not allow for scaling, and in the case of a parallelogrammatic lattice, change of shape of the parallelogram. Note however that the conjugate with respect to an affine transformation of an isometry is in general not an isometry, although volume (in 2D: area) and orientation are preserved.
Циклические группы
Циклические группы являются абелевыми, поэтому сопряжение любого элемента к любому элементу дает сам этот элемент. Zmn / Zm ≅ Zn. Zmn является прямым произведением Zm и Zn тогда и только тогда, когда m и n взаимно просты. Таким образом, например, Z12 является прямым произведением Z3 и Z4, но не Z6 и Z2.
Cyclic groups are Abelian, so the conjugate by every element of every element is the latter. Zmn / Zm Zn. Zmn is the direct product of Zm and Zn if and only if m and n are coprime. Thus e. g. Z12 is the direct product of Z3 and Z4, but not of Z6 and Z2.