نظرية الزمر

كانت زمر التبديلات أول فئة من الزمر التي خضعت لدراسة منهجية . إذا أُعطيت أي مجموعة X ومجموعة G من التطبيقات التقابلية من X إلى نفسها (المعروفة بالتبديلات ) المغلقة تحت التركيبات والمعكوسات، فإن G هي زمرة تؤثر على X. إذا كانت X تتكون من n عنصرًا و G تتكون من جميع التبديلات، فإن G هي الزمرة المتناظرة S_{_n} ؛ وبشكل عام، أي زمرة تبديلات G هي زمرة جزئية من الزمرة المتناظرة لـ X. أظهر بناء مبكر لكايلي أن أي زمرة هي زمرة تبديلات تؤثر على نفسها ( X = G ) باستخدام التمثيل المنتظم الأيسر .

في كثير من الحالات، يمكن دراسة بنية زمرة التبديلات باستخدام خصائص تأثيرها على المجموعة المناظرة. على سبيل المثال، بهذه الطريقة يُثبت أنه بالنسبة لـ n ≥ 5 ، فإن الزمرة المتناوبة A_{_n} بسيطة ، أي أنها لا تقبل أي زمر جزئية طبيعية فعلية . تلعب هذه الحقيقة دورًا رئيسيًا في استحالة حل معادلة جبرية عامة من الدرجة n ≥ 5 في الجذور .

تُعرف الفئة المهمة التالية من الزمر باسم زمر المصفوفات ، أو الزمر الخطية . هنا، G هي مجموعة تتكون من مصفوفات قابلة للعكس من رتبة معينة n على حقل K مغلق تحت عمليات الضرب والمعكوس. تؤثر هذه الزمرة على الفضاء المتجهي ذي البعد n ، K n ، بتحويلات خطية . هذا التأثير يجعل زمر المصفوفات مشابهة من حيث المفهوم لزمر التبديل، ويمكن استغلال هندسة هذا التأثير بشكل مفيد لتحديد خصائص الزمرة G.

تُعدّ مجموعات التبديل ومجموعات المصفوفات حالات خاصة من مجموعات التحويل : وهي مجموعات تؤثر على فضاء معين X مع الحفاظ على بنيته الجوهرية. في حالة مجموعات التبديل، يكون X مجموعة؛ أما في حالة مجموعات المصفوفات، فيكون X فضاءً متجهيًا . يرتبط مفهوم مجموعة التحويل ارتباطًا وثيقًا بمفهوم مجموعة التناظر : فغالبًا ما تتألف مجموعات التحويل من جميع التحويلات التي تحافظ على بنية معينة.

تشكل نظرية مجموعات التحويل جسراً يربط نظرية المجموعات بالهندسة التفاضلية . وقد تناول خط بحثي طويل، بدأ مع لي وكلاين ، تأثيرات المجموعات على المتشعبات بواسطة التشاكلات الموضعية أو التشاكلات التفاضلية . وقد تكون المجموعات نفسها منفصلة أو متصلة .

كانت معظم المجموعات التي تمّت دراستها في المرحلة الأولى من تطوير نظرية المجموعات "ملموسة"، حيث تمّ تمثيلها من خلال الأعداد أو التباديل أو المصفوفات. ولم يبدأ مفهوم المجموعة المجردة بالظهور إلا في أواخر القرن التاسع عشر، حيث تعني كلمة "مجردة" تجاهل طبيعة العناصر بحيث تُعتبر مجموعتان متماثلتان مجموعة واحدة. ومن الطرق الشائعة لتحديد المجموعة المجردة تمثيلها بواسطة المولدات والعلاقات .

${\displaystyle G=\langle S|R\rangle .}$

يُعدّ بناء زمرة عاملية ، أو زمرة خارج القسمة ، G / H ، لزمرة G بواسطة زمرة جزئية طبيعية H ، مصدرًا هامًا للمجموعات المجردة . وكانت زمر الأصناف لحقول الأعداد الجبرية من أوائل الأمثلة على الزمر العاملية، والتي حظيت باهتمام كبير في نظرية الأعداد . إذا كانت الزمرة G زمرة تبديل على مجموعة X ، فإن الزمرة العاملية G / H لا تؤثر على X ؛ ولكن فكرة الزمرة المجردة تسمح بتجاهل هذا التناقض.

يُسهّل الانتقال من منظور المجموعات الملموسة إلى المجردة دراسة خصائص المجموعات المستقلة عن أي تمثيل محدد، أو ما يُعرف في اللغة الحديثة بالثبات تحت التشاكل ، بالإضافة إلى فئات المجموعات التي تتمتع بهذه الخاصية: المجموعات المنتهية ، والمجموعات الدورية ، والمجموعات البسيطة ، والمجموعات القابلة للحل ، وما إلى ذلك. فبدلاً من استكشاف خصائص مجموعة واحدة، يسعى الباحث إلى التوصل إلى نتائج تنطبق على فئة كاملة من المجموعات. وقد كان لهذا النموذج الجديد أهمية بالغة في تطور الرياضيات، إذ بشّر بظهور الجبر المجرد في أعمال هيلبرت ، وإميل آرتين ، وإيمي نوثر ، وعلماء الرياضيات من مدرستهم.

يتحقق توسيع مهم لمفهوم المجموعة إذا ما زُوِّدت G ببنية إضافية، ولا سيما فضاء طوبولوجي ، أو متعدد شعب قابل للتفاضل ، أو تنوع جبري . إذا كان ضرب المجموعة وانعكاسها متوافقين مع هذه البنية، أي إذا كانا دالتين متصلتين أو سلستين أو منتظمتين (بمعنى الهندسة الجبرية)، فإن G تكون مجموعة طوبولوجية ، أو مجموعة لي ، أو مجموعة جبرية . ^{[ 6 ]}

إن وجود بنية إضافية يربط هذه الأنواع من المجموعات بفروع رياضية أخرى، مما يعني توفر المزيد من الأدوات لدراستها. تُشكل المجموعات الطوبولوجية مجالًا طبيعيًا للتحليل التوافقي المجرد ، بينما تُعد مجموعات لي (التي غالبًا ما تُمثل مجموعات تحويلية) الركائز الأساسية للهندسة التفاضلية ونظرية التمثيل الوحدوي . يمكن تناول بعض مسائل التصنيف التي لا يمكن حلها بشكل عام وحلها لفئات فرعية خاصة من المجموعات. وهكذا، تم تصنيف مجموعات لي المتصلة والمتراصة تصنيفًا كاملًا. ثمة علاقة مثمرة بين المجموعات المجردة اللانهائية والمجموعات الطوبولوجية: فكلما أمكن تمثيل مجموعة Γ كشبكة في مجموعة طوبولوجية G ، فإن الهندسة والتحليل المتعلقين بـ G يُسفران عن نتائج مهمة حول Γ . يستغل اتجاه حديث نسبياً في نظرية المجموعات المنتهية علاقاتها مع المجموعات الطوبولوجية المدمجة ( المجموعات شبه المنتهية ): على سبيل المثال، تحتوي مجموعة تحليلية واحدة من النوع p -adic G على عائلة من المجموعات الجزئية التي هي مجموعات p منتهية من رتب مختلفة، وتترجم خصائص G إلى خصائص مجموعاتها الجزئية المنتهية.

خلال القرن العشرين، بحث علماء الرياضيات بعمق في بعض جوانب نظرية الزمر المنتهية، ولا سيما النظرية المحلية للزمر المنتهية ونظرية الزمر القابلة للحل والزمر العديمة القوة . ونتيجة لذلك، تم التوصل إلى تصنيف كامل للزمر البسيطة المنتهية ، مما يعني أن جميع الزمر البسيطة التي يمكن بناء جميع الزمر المنتهية منها أصبحت معروفة الآن.

خلال النصف الثاني من القرن العشرين، ساهم علماء رياضيات مثل شيڤالي وستاينبرغ في تعزيز فهمنا للنظائر المنتهية للمجموعات الكلاسيكية ، وغيرها من المجموعات ذات الصلة. ومن هذه المجموعات ، مجموعة المجموعات الخطية العامة على الحقول المنتهية . وتظهر المجموعات المنتهية غالبًا عند دراسة تناظر الأجسام الرياضية أو الفيزيائية، عندما لا تقبل هذه الأجسام سوى عدد محدود من التحويلات التي تحافظ على بنيتها. وتتأثر نظرية مجموعات لي ، التي يمكن اعتبارها معنية بـ" التناظر المستمر "، تأثرًا كبيرًا بمجموعات فايل المرتبطة بها. وهذه مجموعات منتهية تتولد عن طريق الانعكاسات التي تؤثر على فضاء إقليدي محدود الأبعاد . وبالتالي ، يمكن أن تلعب خصائص المجموعات المنتهية دورًا في مجالات مثل الفيزياء النظرية والكيمياء .

القول بأن مجموعة G تؤثر على مجموعة X يعني أن كل عنصر من G يُعرّف تطبيقًا تقابليًا على المجموعة X بطريقة تتوافق مع بنية المجموعة. عندما يكون لـ X بنية أكثر تعقيدًا، يكون من المفيد تقييد هذا المفهوم أكثر: تمثيل G على فضاء متجهي V هو تشاكل مجموعة .

${\displaystyle \rho :G\to \operatorname {GL} (V),}$

حيث تتكون GL ( V ) من التحويلات الخطية القابلة للعكس لـ V. بعبارة أخرى، يتم تعيين تشاكل ذاتي ρ ( g ) لكل عنصر من عناصر المجموعة g بحيث يكون ρ ( g ) ∘ ρ ( h ) = ρ ( gh ) لأي h في G .

يمكن فهم هذا التعريف من زاويتين، كلتاهما تُفضي إلى مجالات جديدة كليًا في الرياضيات. ^{[ 7 ]} فمن جهة، قد يُسفر عن معلومات جديدة حول المجموعة G : غالبًا ما تكون عملية المجموعة في G مُعطاة بشكل مجرد، ولكن عبر ρ ، تُقابل ضرب المصفوفات ، وهو أمر واضح جدًا. ^{[ 8 ]} ومن جهة أخرى، إذا كانت لدينا مجموعة مفهومة جيدًا تؤثر على كائن معقد، فإن هذا يُبسط دراسة هذا الكائن. على سبيل المثال، إذا كانت G منتهية، فمن المعروف أن V المذكورة أعلاه تتحلل إلى أجزاء غير قابلة للاختزال (انظر نظرية ماشكه ). وهذه الأجزاء، بدورها، أسهل بكثير في التعامل معها من V ككل (عبر مبرهنة شور ).

بالنظر إلى مجموعة G ، فإن نظرية التمثيل تتساءل عن تمثيلات G الموجودة. توجد عدة سياقات، وتختلف الطرق المستخدمة والنتائج المُتحصل عليها اختلافًا كبيرًا في كل حالة: تُعد نظرية تمثيل المجموعات المنتهية وتمثيلات مجموعات لي مجالين فرعيين رئيسيين لهذه النظرية. تخضع مجمل التمثيلات لخصائص المجموعة . على سبيل المثال، يمكن تفسير كثيرات حدود فورييه على أنها خصائص U(1) ، وهي مجموعة الأعداد المركبة ذات القيمة المطلقة 1 ، والتي تؤثر على فضاء الدوال الدورية ^L² .

زمرة لي هي زمرة تُعدّ أيضًا فضاءً تفاضليًا ، وتتميز بخاصية توافق عملياتها مع بنيتها الملساء . سُميت زمر لي نسبةً إلى سوفوس لي ، الذي وضع أسس نظرية زمر التحويل المستمر . ظهر مصطلح " groupes de Lie" لأول مرة باللغة الفرنسية عام 1893 في أطروحة آرثر تريس ، أحد طلاب لي ، في الصفحة 3. ^{[ 9 ]}

تمثل زمر لي النظرية الأكثر تطورًا للتناظر المستمر للكائنات والبنى الرياضية ، مما يجعلها أدوات لا غنى عنها في العديد من فروع الرياضيات المعاصرة، وكذلك في الفيزياء النظرية الحديثة . فهي توفر إطارًا طبيعيًا لتحليل التناظرات المستمرة للمعادلات التفاضلية ( نظرية غالوا التفاضلية )، تمامًا كما تُستخدم زمر التبديل في نظرية غالوا لتحليل التناظرات المنفصلة للمعادلات الجبرية . وكان توسيع نظرية غالوا لتشمل زمر التناظر المستمر أحد أهم دوافع لي.

يمكن وصف الزمر بطرق مختلفة. يمكن وصف الزمر المنتهية بكتابة جدول الزمرة الذي يتضمن جميع عمليات الضرب الممكنة g • h . وهناك طريقة أكثر إيجازًا لتعريف الزمرة وهي باستخدام المولدات والعلاقات ، وتُسمى أيضًا تمثيل الزمرة. لأي مجموعة F من المولدات،${\displaystyle \{g_{i}\}_{i\in I}}$، المجموعة الحرة المولدة بواسطة F تُسقط على المجموعة G. تُسمى نواة هذه الخريطة المجموعة الجزئية للعلاقات، المولدة بواسطة مجموعة جزئية D. ويُرمز إلى هذا التمثيل عادةً بـ${\displaystyle \langle F\mid D\rangle .}$على سبيل المثال، العرض التقديمي الجماعي${\displaystyle \langle a,b\mid aba^{-1}b^{-1}\rangle }$يصف مجموعة متماثلة مع${\displaystyle \mathbb {Z} \times \mathbb {Z} .}$تُسمى السلسلة المكونة من رموز المولد ومعكوساتها كلمة .

تدرس نظرية الزمر التوافقية الزمر من منظور المولدات والعلاقات. ^{[ 10 ]} وهي مفيدة بشكل خاص عندما تتحقق افتراضات التناهي، مثل الزمر المولدة نهائيًا، أو الزمر المعروضة نهائيًا (أي أن العلاقات فيها منتهية أيضًا). يستفيد هذا المجال من ربط الرسوم البيانية عبر زمرها الأساسية . ومن النظريات الأساسية في هذا المجال أن كل زمرة جزئية من زمرة حرة هي زمرة حرة.

تنشأ عدة أسئلة طبيعية عند إعطاء مجموعة من خلال طريقة عرضها. تتساءل مسألة الكلمات عما إذا كانت كلمتان تمثلان فعليًا نفس عنصر المجموعة. بربط هذه المسألة بآلات تورينج ، يمكن إثبات أنه لا توجد عمومًا خوارزمية لحل هذه المهمة. هناك مسألة أخرى، أصعب عمومًا، وغير قابلة للحل خوارزميًا، وهي مسألة تماثل المجموعات ، التي تتساءل عما إذا كانت مجموعتان معطيتان بطرق عرض مختلفة متماثلتين بالفعل. على سبيل المثال، المجموعة ذات طريقة العرض${\displaystyle \langle x,y\mid xyxyx=e\rangle ,}$هي متماثلة مع المجموعة الجمعية Z للأعداد الصحيحة، على الرغم من أن هذا قد لا يكون واضحًا على الفور. (كتابة)${\displaystyle z=xy}$، لدى المرء${\displaystyle G\cong \langle z,y\mid z^{3}=y\rangle \cong \langle z\rangle .}$)

تتناول نظرية الزمر الهندسية هذه المشكلات من منظور هندسي، إما باعتبار الزمر كائنات هندسية، أو بإيجاد كائنات هندسية مناسبة تؤثر عليها الزمرة. ^{[ 11 ]} تُوضَّح الفكرة الأولى بدقة باستخدام مخطط كايلي ، حيث تُمثل رؤوسه عناصر الزمرة، وتُمثل حوافه الضرب من اليمين في الزمرة. عند إعطاء عنصرين، يُنشأ مقياس الكلمة المُعطى بطول أقصر مسار بين العنصرين. وتنص نظرية ميلنور وسفارك على أنه إذا كانت لدينا زمرة G تؤثر بطريقة معقولة على فضاء متري X ، على سبيل المثال مشعب متراص ، فإن G تكون شبه متساوية القياس (أي تبدو مشابهة من مسافة بعيدة ) للفضاء X.

تستخدم نظرية غالوا الزمر لوصف تناظرات جذور كثير الحدود (أو بتعبير أدق، التشاكلات الذاتية للجبر الناتج عن هذه الجذور). توفر النظرية الأساسية لنظرية غالوا صلةً بين امتدادات الحقول الجبرية ونظرية الزمر. وهي تقدم معيارًا فعالًا لحل معادلات كثيرات الحدود بدلالة قابلية حل زمرة غالوا المقابلة . على سبيل المثال، الزمرة المتناظرة S₅ ، المكونة من ₅ عناصر، غير قابلة للحل، مما يعني أن المعادلة الخماسية العامة لا يمكن حلها بالجذور كما هو الحال مع المعادلات ذات الدرجات الأدنى. ولا تزال هذه النظرية، باعتبارها أحد الجذور التاريخية لنظرية الزمر، تُطبَّق بنجاح في مجالات مثل نظرية حقول الأصناف، مما يُسفر عن نتائج جديدة .

الطوبولوجيا الجبرية مجالٌ آخر يربط بشكلٍ بارزٍ بين الزمر والأشياء التي تهتم بها النظرية. تُستخدم الزمر في هذا المجال لوصف بعض الثوابت في الفضاءات الطوبولوجية . تُسمى هذه الثوابت "ثوابت" لأنها مُعرَّفة بطريقةٍ لا تتغير إذا ما تعرض الفضاء لتشوهٍ ما . على سبيل المثال، تُحسب الزمرة الأساسية عدد المسارات المختلفة جوهريًا في الفضاء. تُعدُّ حدسية بوانكاريه ، التي أثبتها غريغوري بيرلمان في عامي 2002/2003 ، تطبيقًا بارزًا لهذه الفكرة. مع ذلك، فإن التأثير ليس أحادي الاتجاه. على سبيل المثال، تستخدم الطوبولوجيا الجبرية فضاءات إيلنبرغ-ماكلين، وهي فضاءات ذات زمر تماثل مُحدَّدة . وبالمثل، تعتمد نظرية K الجبرية، بشكلٍ ما، على تصنيف فضاءات الزمر. أخيرًا، يُظهر اسم الزمرة الجزئية الالتوائية لزمرةٍ لانهائيةٍ إرث الطوبولوجيا في نظرية الزمر.

تستخدم الهندسة الجبرية نظرية الزمر بطرق عديدة. وقد سبق تقديم المتنوعات الأبيلية . يوفر وجود عملية الزمرة معلومات إضافية تجعل هذه المتنوعات سهلة الفهم. كما أنها تُستخدم غالبًا لاختبار فرضيات جديدة (مثل فرضية هودج في بعض الحالات). وتُدرس الحالة أحادية البعد، أي المنحنيات الإهليلجية، بتفصيل خاص. وهي مثيرة للاهتمام من الناحيتين النظرية والعملية. ^{[ 12 ]} وفي سياق آخر، تُعد المتنوعات الطورية من المتنوعات الجبرية التي يؤثر عليها سطح طوري . وقد أدت عمليات التضمين الطورية مؤخرًا إلى تطورات في الهندسة الجبرية، ولا سيما في حل النقاط الشاذة . ^{[ 13 ]}

تستخدم نظرية الأعداد الجبرية المجموعات في بعض التطبيقات المهمة. على سبيل المثال، صيغة أويلر للضرب ،

$\begin{aligned}\sum_{n\geq 1}{\frac{1}{n^{s}}}&=\prod_{p\text{prime}}}{\frac{1}{1-p^{-s}}},\\\end{aligned}}\!}$

يُجسّد هذا حقيقة أن أي عدد صحيح يتحلل بطريقة فريدة إلى أعداد أولية . ويؤدي عدم صحة هذه العبارة بالنسبة للحلقات الأكثر عمومية إلى ظهور مجموعات الفئات والأعداد الأولية المنتظمة ، والتي تظهر في معالجة كومر لنظرية فيرما الأخيرة .

يُطلق على التحليل على زمر لي وبعض الزمر الأخرى اسم التحليل التوافقي . وتُستخدم مقاييس هار ، أي التكاملات الثابتة تحت الإزاحة في زمرة لي، في التعرف على الأنماط وتقنيات معالجة الصور الأخرى . ^{[ 14 ]}

في علم التوافيق ، غالبًا ما يتم استخدام مفهوم مجموعة التبديل ومفهوم فعل المجموعة لتبسيط عد مجموعة من الأشياء؛ انظر على وجه الخصوص إلى ليمّة بيرنسايد .

يُتيح وجود التكرار الدوري ذي الاثني عشر وترًا في دائرة الخمسات تطبيقاتٍ لنظرية الزمر الأولية في نظرية المجموعات الموسيقية . وتُصوّر نظرية التحويلات التحويلات الموسيقية كعناصر في زمرة رياضية.

في الفيزياء ، تُعدّ الزمر ذات أهمية بالغة لأنها تصف التناظرات التي تبدو قوانين الفيزياء خاضعة لها. ووفقًا لنظرية نوثر ، فإن كل تناظر مستمر لنظام فيزيائي يُقابله قانون حفظ لهذا النظام. يهتم الفيزيائيون اهتمامًا كبيرًا بتمثيلات الزمر، ولا سيما زمر لي، لأن هذه التمثيلات غالبًا ما تُشير إلى النظريات الفيزيائية "الممكنة". ومن أمثلة استخدام الزمر في الفيزياء: النموذج القياسي ، ونظرية القياس ، وزمرة لورنتز ، وزمرة بوانكاريه .

يمكن استخدام نظرية الزمر لحل عدم اكتمال التفسيرات الإحصائية للميكانيكا التي طورها ويلارد جيبس ، والمتعلقة بجمع عدد لا نهائي من الاحتمالات للحصول على حل ذي معنى. ^{[ 15 ]}

في الكيمياء وعلوم المواد ، تُستخدم مجموعات النقاط لتصنيف المجسمات المنتظمة، وتناظرات الجزيئات ، بينما تُستخدم المجموعات الفراغية لتصنيف البنى البلورية . ويمكن استخدام المجموعات المُحددة لتحديد الخصائص الفيزيائية (مثل القطبية الكيميائية والكيرالية )، والخصائص الطيفية (المفيدة بشكل خاص في مطيافية رامان ، ومطيافية الأشعة تحت الحمراء ، ومطيافية الاستقطاب الدائري، ومطيافية الاستقطاب الدائري المغناطيسي، ومطيافية الأشعة فوق البنفسجية/المرئية، ومطيافية التألق)، ولإنشاء المدارات الجزيئية .

يُعدّ التناظر الجزيئي مسؤولاً عن العديد من الخصائص الفيزيائية والطيفية للمركبات، كما يُوفّر معلوماتٍ قيّمة حول كيفية حدوث التفاعلات الكيميائية. ولتحديد المجموعة النقطية لأي جزيء، من الضروري إيجاد مجموعة عمليات التناظر الموجودة عليه. عملية التناظر هي فعلٌ ما، كالدوران حول محور أو الانعكاس عبر مستوى مرآة. بعبارة أخرى، هي عملية تُحرّك الجزيء بحيث لا يمكن تمييزه عن تكوينه الأصلي. في نظرية الزمر، تُسمى محاور الدوران ومستويات المرآة "عناصر التناظر". يمكن أن تكون هذه العناصر نقطةً أو خطًا أو مستوىً تُجرى عملية التناظر بالنسبة إليه. تُحدّد عمليات التناظر للجزيء مجموعته النقطية الخاصة.

في الكيمياء ، توجد خمس عمليات تناظر أساسية. وهي: عملية التطابق ( E )، وعملية الدوران أو الدوران الصحيح ( C _{_n} )، وعملية الانعكاس ( σ )، والانقلاب ( i )، وعملية الدوران والانعكاس أو الدوران غير الصحيح ( S _{_n} ). تتمثل عملية التطابق ( E ) في إبقاء الجزيء على حاله. وهذا يُعادل أي عدد من الدورات الكاملة حول أي محور. يُعد هذا تناظرًا لجميع الجزيئات، بينما تتكون مجموعة التناظر للجزيء الكيرالي من عملية التطابق فقط. تُعد عملية التطابق سمة مميزة لكل جزيء حتى لو لم يكن له تناظر. أما الدوران حول محور ( C_{_n} ) فيتمثل في تدوير الجزيء حول محور محدد بزاوية محددة. وهو دوران بزاوية 360°/ n ، حيث n عدد صحيح، حول محور الدوران. على سبيل المثال، إذا دار جزيء الماء 180° حول المحور الذي يمر عبر ذرة الأكسجين وبين ذرات الهيدروجين ، فإنه يبقى في نفس التكوين الذي بدأ به. في هذه الحالة، n = 2 ، لأن تطبيق العملية مرتين يُنتج عملية التطابق. في الجزيئات التي تحتوي على أكثر من محور دوران، يكون محور C_{_n} ذو القيمة الأكبر لـ n هو محور الدوران ذو الرتبة الأعلى أو المحور الرئيسي. على سبيل المثال، في ثلاثي فلوريد البورون (BF_₃ )، يكون محور الدوران ذو الرتبة الأعلى هو C_₃ ، لذا فإن محور الدوران الرئيسي هو C _₃ .

في عملية الانعكاس ( σ )، تمتلك العديد من الجزيئات مستويات انعكاس، وإن لم تكن واضحة للعيان. تُبدّل عملية الانعكاس بين اليسار واليمين، كما لو أن كل نقطة قد تحركت عموديًا عبر المستوى إلى موضع يبعد عن المستوى مسافةً تُساوي تمامًا المسافة التي كانت عليها في البداية. عندما يكون المستوى عموديًا على محور الدوران الرئيسي، يُسمى σh (أفقي). _أما المستويات الأخرى التي تحتوي على محور الدوران الرئيسي، فتُسمى رأسية ( σv ₎ أو ثنائية السطوح ( σd ₎ .

الانعكاس (i) عملية أكثر تعقيدًا. تتحرك كل نقطة عبر مركز الجزيء إلى موضع مقابل لموضعها الأصلي، وعلى بُعد مسافة من النقطة المركزية تُساوي بُعدها عن نقطة البداية. العديد من الجزيئات التي تبدو للوهلة الأولى وكأنها تمتلك مركز انعكاس، لا تمتلكه؛ على سبيل المثال، الميثان وجزيئات رباعية الأوجه أخرى تفتقر إلى تناظر الانعكاس. لتوضيح ذلك، تخيل نموذجًا للميثان مع ذرتي هيدروجين في المستوى الرأسي على اليمين وذرتي هيدروجين في المستوى الأفقي على اليسار. ينتج عن الانعكاس ذرتي هيدروجين في المستوى الأفقي على اليمين وذرتي هيدروجين في المستوى الرأسي على اليسار. لذلك، لا يُعد الانعكاس عملية تناظر للميثان، لأن اتجاه الجزيء بعد عملية الانعكاس يختلف عن اتجاهه الأصلي. أما العملية الأخيرة فهي الدوران غير الصحيح أو عملية انعكاس الدوران ( S _n )، والتي تتطلب دورانًا بمقدار 360°/ n ، يليه انعكاس عبر مستوى عمودي على محور الدوران.

تُستخدم مجموعات كبيرة جدًا من الأعداد الأولية، المُنشأة في تشفير المنحنيات الإهليلجية، في تشفير المفتاح العام . تستفيد أساليب التشفير من هذا النوع من مرونة الأشكال الهندسية، وبالتالي من بنيتها الجماعية، بالإضافة إلى البنية المعقدة لهذه المجموعات، مما يجعل حساب اللوغاريتم المنفصل صعبًا للغاية. يمكن أيضًا تفسير أحد أقدم بروتوكولات التشفير، وهو شيفرة قيصر ، على أنه عملية جماعية (سهلة جدًا). ​​تستخدم معظم أنظمة التشفير المجموعات بطريقة أو بأخرى. على وجه الخصوص، يستخدم تبادل مفاتيح ديفي-هيلمان مجموعات دورية منتهية . لذا، يشير مصطلح التشفير القائم على المجموعات في الغالب إلى بروتوكولات التشفير التي تستخدم مجموعات غير تبديلية لانهائية، مثل مجموعة الجدائل .