Symmetriegroep

Een regelmatig viervlak kan door middel van rotatie in 12 verschillende posities worden geplaatst. Deze worden hiernaast geïllustreerd hierboven in een cyclische graaf, samen met de 180° (blauwe pijlen) en de 120° (rode pijlen) rotaties, die de tetraëder door de twaalf posities permuteren. Deze 12 rotaties vormen de symmetrische rotatiegroep van het viervlak.

In de groepentheorie is de symmetriegroep van een object in een, twee of drie dimensies de groep van zijn symmetriën. Een symmetrie is een afbeelding die het object op zichzelf afbeeldt (invariant laat) en daarbij de afstanden behoudt (isometrie). De bewerking in de groep is de samenstelling van afbeeldingen. Als object komen zeer algemeen niet alleen concrete objecten, zoals voorwerpen, gebouwen e.d. in aanmerking, maar ook wiskundige concepten als meetkundige figuren en patronen.

Zo bestaat bijvoorbeeld de symmetriegroep van een gelijkzijdige driehoek in het platte vlak uit de identiteit, de draaiingen om het zwaartepunt over 120° en 240°, en de spiegelingen om de hoogtelijnen.

De symmetriegroep is een isometriegroep, dus een subgroep van de euclidische groep . Deze moet worden onderscheiden van de abstracte (algebraïsche) groep: verschillende symmetriegroepen kunnen als abstracte groep gelijk zijn. Dit wordt ook aangeduid met het hebben van dezelfde abstracte structuur of dezelfde algebraïsche structuur.

Men kan zich een voorstelling maken van een symmetriegroep door de symmetrieën na te gaan van een concrete tweedimensionale figuur of een driedimensionaal object. Soms kan men hetzelfde object gebruiken voor het beschrijven van meerdere symmetrieën, door verschillende beschilderingen van het object te onderscheiden; de symmetriegroep van het beschilderde object is een subgroep van die van het blanco object.

ChiraliteitBewerken

Isometrieën kunnen worden onderscheiden in die zonder en die met verandering van oriëntatie. Verandering van oriëntatie vindt plaats:

  • in één dimensie bij spiegeling in een punt
  • in twee dimensies bij spiegeling in een lijn, inclusief glijspiegeling
  • in drie dimensies spiegeling in een vlak, inclusief glijspiegeling en draaispiegeling

Puntspiegeling in twee dimensies valt hier niet onder.

Een symmetriegroep bevat óf alleen isometrieën zonder verandering van oriëntatie (zo'n symmetriegroep en figuren/objecten met zo'n symmetriegroep heten chiraal), óf zowel met als zonder. In het laatste geval vormen de isometrieën zonder verandering van oriëntatie een subgroep: de chirale versie van de symmetriegroep, corresponderend met de chirale versie van de betreffende symmetrie.

Als de positie en stand van spiegels[1] buiten beschouwing gelaten wordt zijn alle eindige chirale symmetriegroepen in één dimensie en twee dimensies de chirale versie van precies één achirale symmetriegroep, maar in drie dimensies zijn alle eindige chirale symmetriegroepen de chirale versie van meerdere achirale symmetriegroepen, behalve bij octahedrale en icosahedrale symmetrie (zie onder). Ook zijn alle chirale strookpatroongroepen de chirale versie van meerdere achirale symmetriegroepen. Van de chirale behangpatroongroepen is alleen p6 de chirale versie van maar één achirale symmetriegroep.

In drie dimensies is elke eindige chirale symmetriegroep de chirale versie van precies één achirale symmetriegroep die   (de groep voortgebracht door puntspiegeling) bevat, namelijk de directe som van die chirale symmetriegroep en  .[2][3]

In drie dimensies is ook elke translatiegroep de chirale versie van precies één achirale symmetriegroep die   bevat, die ook gevormd door toevoeging van de combinaties van een translatie en de inverse, alleen commuteren die niet. Iets dergelijks kan ook gelden bij andere chirale symmetriegroepen, maar dan met dien verstande dat het gaat om de inversie t.o.v. een geschikt punt, bijvoorbeeld op een rotatie-as.

GroepsstructuurBewerken

Soms heeft een symmetriegroep   twee subgroepen   en   met de volgende eigenschappen:

  •   en   hebben alleen de identieke functie gemeenschappelijk.
  • Ieder element van   kan geschreven worden als   met   en  .
  • Voor alle   en   geldt  .

Ieder element   kan dan op precies één manier geschreven worden als   met   en  . De groepsoperatie van   kan teruggebracht worden tot die binnen   en  :  .

In één dimensie, twee dimensies en drie dimensies kan bijvoorbeeld   de groep zijn voortgebracht door inversie, en   een groep die de inversie niet bevat. In drie dimensies is een ander voorbeeld:   bestaat uit rotaties om een as en eventueel spiegelingen om vlakken door die as, en   wordt voortgebracht door spiegeling in een vlak loodrecht op de as.

Een en ander kan de structuur van de symmetriegroep verduidelijken; hieronder wordt de notatie   gebruikt. Een gevolg van deze relatie (niet hetzelfde!) is dat de algebraïsche structuur van   het product is van die van   en die van  . Ter onderscheiding wordt daarbij het teken   gebruikt.

Zie ook directe som, direct product.

Gelijkstelling van symmetriegroepenBewerken

Bij de indeling van symmetriegroepen in één dimensie, twee dimensies en drie dimensies is een eerste vereenvoudiging om ze te beschouwen "afgezien van translatie en rotatie". Bij een verplaatsbaar fysiek object (star lichaam) is dit des te meer voor de hand liggend omdat de positie of stand van het fysieke object eigenlijk geen eigenschappen zijn van het object zelf. In één dimensie is er geen rotatie, in twee dimensies is er alleen rotatie in het vlak.

Als object B uit A ontstaat door een directe isometrie dan zijn hun symmetriegroepen geconjugeerde subgroepen van de euclidische groep, dat wil zeggen dat de precieze symmetriegroep van B verkregen wordt uit die van A door de directe isometrie   toe te passen op de eventuele spiegelvlakken en rotatieassen (inclusief die van schroefdraaiing en draaispiegeling), en de translatievectoren. Verder geldt dat als   een symmetrie van A is,   de bijbehorende symmetrie van B is.

Ook bij deze gelijkstelling kunnen verschillende symmetriegroepen, zelfs een chirale en een achirale, nog algebraïsch gelijk zijn.

Een verdere gelijkstelling van symmetriegroepen is om ze te beschouwen "afgezien van uniforme verschaling". Bij eindige symmetriegroepen is dit niet aan de orde omdat bij uniforme verschaling van een object ten opzichte van een gegeven punt de meetkundige symmetriegroep exact gelijk blijft, maar wel als er translaties en/of glijspiegelingen tot symmetriegroepen behoren. Deze verdere gelijkstelling ligt voor de hand omdat de structuur van de meetkundige symmetriegroep niet verandert.

Met deze gelijkstelling zijn er zeven strookpatroongroepen.

Het geheel van symmetrie van een tweedimensionaal patroon met minstens translatiesymmetrie in twee richtingen kan worden ingedeeld in 17 categorieën, de behangpatroongroepen. Binnen een categorie kunnen parameters variëren, maar is het geheel van symmetrie in essentie hetzelfde. De hiervoor genoemde categorieën zijn bij acht hogere soorten symmetrie steeds een eigen behangpatroongroep, terwijl de overige negen behangpatroongroepen ook na de gelijkstellingen nog steeds categorieën van meerdere symmetriegroepen zijn. Het zijn de gevallen met hoogstens rotatiesymmetrie van orde 2, omdat daarbij de lengteverhouding tussen de translatievectoren en/of de hoek ertussen niet vastligt.

Eindige symmetriegroepenBewerken

  Zie ook Puntgroep

Een achirale symmetriegroep bevat evenveel chirale als achirale elementen.

Men kan een object dat qua vorm een bepaalde symmetrie heeft beschilderen (bijvoorbeeld in het geval van een veelvlak door de zijvlakken te kleuren of te nummeren[4]) zodanig dat er geen symmetrie meer is. Elke stand van het object waarin het dezelfde ruimte inneemt als in de oorspronkelijke stand correspondeert met een element van de symmetriegroep van het onbeschilderde object; de standen zijn te onderscheiden door de beschildering (zie de afbeelding). De standen waarin men het object als fysiek object daadwerkelijk kan plaatsen zijn die waarbij men alleen hoeft te draaien; deze corresponderen met de elementen van de chirale versie van de symmetriegroep. Als het object qua vorm achirale symmetrie heeft, kan men de standen die corresponderen met de overige elementen van de symmetriegroep in een spiegel zien.

Eén dimensieBewerken

De symmetriegroepen zijn de triviale groep (geen symmetrie) en de groep van orde 2 die bestaat uit de identieke afbeelding en een puntspiegeling. In de notatie van orthogonale groepen zijn dit   en  .

Twee dimensiesBewerken

Van een chirale figuur is de symmetriegroep de cyclische groep   van orde  , corresponderend met rotatiesymmetrie van orde   t.o.v. een punt ( ). Het geval   geldt voor een figuur zonder symmetrie.

Van de overige figuren is de symmetriegroep de dihedrale groep   van orde   ( ). Er zijn   spiegels, die hoeken maken van  . Als   oneven is, verkrijgt men deze uit één spiegel door steeds te draaien over de hoek corresponderend met de rotatiesymmetrie:  . Als   even is, krijgt men op deze wijze maar de helft van de spiegels, doordat men na   draaiingen weer de oorspronkelijke spiegel krijgt. De overige spiegels zitten hier tussenin. Het geval   geldt voor een figuur met alleen enkelvoudige spiegelsymmetrie.

Voorbeelden van figuren met als symmetriegroep de dihedrale groep zijn de regelmatige veelhoeken. Voorbeelden van chirale figuren zijn die zonder symmetrie ( ) en die met een S-vorm ( ); voor   zijn ze iets minder eenvoudig en gebruikelijk, voorbeelden zijn de verkeersborden voor een rotonde, en het hakenkruis.

Drie dimensiesBewerken

De volgende soorten isometrie kunnen voorkomen in eindige symmetriegroepen:

  • zonder verandering van oriëntatie (in de zin van "zonder spiegeling")
    • identieke afbeelding (zit er altijd in)
    • draaiing om een as over een hoek die een rationaal getal maal 360° is
  • met verandering van oriëntatie:
    • spiegeling in een vlak
    • draaiing om een as over een hoek die een rationaal getal maal 360° is en een spiegeling in een vlak loodrecht op die as

Er zijn zeven reeksen symmetriegroepen (met indices  ) en zeven aparte.

De symmetriegroepen in de zeven reeksen met   zijn de symmetriegroepen met één as van rotatiesymmetrie van een orde groter dan twee, en wel van orde n. De zeven aparte hebben er meer, ze hebben alle zeven meerdere assen van rotatiesymmetrie van orde 3, in drie gevallen ook van orde 4, en in twee gevallen niet van orde 4 maar wel van orde 5. Verder zijn er enkele symmetriegroepen zonder rotatiesymmetrie van een orde groter dan twee, ze vallen onder de zeven reeksen, met   en  , maar het zijn er 10 in plaats van 14, want 8 zijn er twee aan twee hetzelfde. Meer mogelijkheden zijn er voor eindige symmetriegroepen niet, dus als er bijvoorbeeld een as van rotatiesymmetrie van orde 6 is dan is er geen andere as van rotatiesymmetrie van een orde groter dan twee; verder bestaat er bijvoorbeeld geen eindige symmetriegroep met een as van rotatiesymmetrie van orde 4 en een andere van orde 5.

Als een veelvlak waarvan de zijvlakken regelmatige veelhoeken zijn, dient als voorbeeld voor een achirale symmetrie(groep) dan kan men een voorbeeld van de chirale versie van de symmetriegroep construeren door voor een of meer van de van toepassing zijnde waarden van   elk zijvlak dat een regelmatige  -hoek is te voorzien van dezelfde chirale figuur met rotatiesymmetrie van orde  , in steeds dezelfde stand ten opzichte van de  -hoek[5]. Alle chirale symmetrie blijft dan intact, terwijl alle achirale vervalt.

De zeven reeksenBewerken

 
Voorbeelden voor  [6]

De symmetriegroepen in de zeven reeksen zijn gerelateerd aan de zeven strookpatroongroepen, met rotatie in plaats van translatie. In dezelfde volgorde als de strookpatroongroepen zijn dit (met voorbeelden):

  • Met chirale versie  :
    •  [7] (orde  ): een ronde plaat met op één zijde een figuur met rotatiesymmetrie van orde  ; het draaiende deel van een windturbine / propeller / scheepsschroef / ventilator e.d. met n bladen heeft ook vaak deze symmetrie (geen extra symmetrie)
    •   (orde  )[8]: een ronde plaat met op één zijde een figuur met rotatiesymmetrie van orde   en op de andere zijde, gezien vanaf dezelfde zijde dezelfde figuur maar dan   gedraaid; voor oneven   geldt  ; de groep is cyclisch en wordt voortgebracht door een draaispiegeling; de notatie   betekent niet dat als speciaal geval een even subscript wordt genomen:   met oneven   bestaat bij de hier gebruikte notatieconventie niet
    •  [9] (orde  ): een ronde plaat met door en door een figuur met rotatiesymmetrie van orde  ;[10] voor even   geldt ook  
    •   (orde  ): een ronde plaat met op één zijde een figuur met symmetrie  ; een regelmatige piramide (orde als voor de figuur / het grondvlak; er is geen extra symmetrie)
  • Met chirale versie  [11]:
    •   (orde  ): een ronde plaat met op beide zijden dezelfde figuur met rotatiesymmetrie van orde  
    •   (orde  ): een ronde plaat met op één zijde een figuur met symmetrie   en op de andere zijde dezelfde figuur maar dan   gedraaid; een regelmatig antiprisma; voor oneven   geldt  
    •  (orde  ): een ronde plaat met door en door een figuur met symmetrie  ; een regelmatig prisma; een regelmatige bipiramide; voor even   geldt ook  .

Van alle Johnson-lichamen is de symmetriegroep in deze categorieën met  .

De symmetriegroepen zonder rotatiesymmetrie van een orde groter dan tweeBewerken

Voor   en   geeft het bovenstaande 14 gevallen waarvan er 8 twee aan twee gelijk zijn, dus 10 verschillende, als volgt. Bij twee gelijke is per notatie een voorbeeld gegeven dat overeenkomt met het boven gegeven voorbeeld.

Met chirale versie  :

  •   (orde 1) een ronde plaat met op één zijde een asymmetrische figuur (chiraal)
  •   (=  ) (orde 2): een ronde plaat met op één zijde een asymmetrische figuur en op de andere zijde, gezien vanaf dezelfde zijde dezelfde figuur maar dan 180° gedraaid (puntsymmetrie, de groep voortgebracht door puntspiegeling)
  •   (=  ) (orde 2), spiegelsymmetrie; twee voorbeelden van deze symmetrie:
    •  : een ronde plaat met door en door een asymmetrische figuur
    •  : een ronde plaat met op één zijde een figuur met spiegelsymmetrie

Met chirale versie  :

  •   (=  ) (orde 2): rotatiesymmetrie van orde 2; twee voorbeelden van deze symmetrie:
    •  : een ronde plaat met op één zijde een figuur met rotatiesymmetrie van orde 2
    •  : een ronde plaat met op beide zijden dezelfde asymmetrische figuur
  •   (orde 4): een ronde plaat met op één zijde een figuur met rotatiesymmetrie van orde 2 en op de andere zijde, gezien vanaf dezelfde zijde dezelfde figuur maar dan 90° gedraaid[12]
  •   (orde 4): twee loodrechte spiegels, wat impliceert dat de snijlijn een rotatie-as van orde 2 is, twee dezelfde:
    •  : een ronde plaat met op één zijde een figuur met symmetrie  
    •  : een ronde plaat met door en door een figuur met spiegelsymmetrie
  •   (=  ) (orde 4): een rotatie-as van orde 2 loodrecht op een spiegel, twee dezelfde:
    •  : een ronde plaat met door en door een figuur met rotatiesymmetrie van orde 2
    •  : een ronde plaat met op één zijde een figuur met spiegelsymmetrie en op de andere zijde dezelfde figuur maar dan 180° gedraaid

Met chirale versie  :

  •   (orde 4): een ronde plaat met op beide zijden dezelfde figuur met rotatiesymmetrie van orde 2 (chiraal)
  •   (orde 8): een ronde plaat met op één zijde een rechthoek en op de andere zijde dezelfde rechthoek maar dan 90° gedraaid
  •   (orde 8): een rechthoekige plaat

Polyhedrale symmetrieBewerken

  Zie ook Tetrahedrale en octahedrale symmetrie en Icosahedrale symmetrie

Er zijn zeven symmetriegroepen met meer dan één as van rotatiesymmetrie van een orde groter dan twee. Deze corresponderen met symmetrieën die soms gezamenlijk worden aangeduid als polyhedrale symmetrie.

Van de drie symmetriegroepen met assen van rotatiesymmetrie van orde 3 zonder assen van hogere orde corresponderen er twee met tetrahedrale symmetrie (volledige versie   en chirale versie  ). De orde is 24, resp. 12.   is de symmetrie van het viervlak en een archimedisch lichaam, de afgeknotte tetraëder.   is algebraïsch de symmetrische groep  , want de elementen van   komen 1-op-1 overeen met de permutaties van de 4 hoekpunten.   is algebraïsch de alternerende groep  , want de elementen van   komen 1-op-1 overeen met de even permutaties van de 4 hoekpunten. De derde,  , is pyritohedrale symmetrie, dit is de symmetrie van een kubus met op elk zijvlak een lijnstuk dat de middens van twee tegenover elkaar liggende zijden verbindt, zodanig dat zulke lijnstukken elkaar niet raken. De orde is 24.   en dus algebraïsch  . De groep   is niet alleen de chirale versie van   maar ook van  .

De twee symmetriegroepen met assen van rotatiesymmetrie van orde 3 en assen van orde 4 corresponderen met octahedrale symmetrie (volledige versie   en chirale versie  ; zie ook Symmetriegroep van de kubus). De orde is 48, resp. 24.   is de symmetrie van de kubus, de octaëder en vijf archimedische lichamen. Twee archimedische lichamen, namelijk de beide versies van de stompe kubus, zijn chiraal met   als totale symmetriegroep.   is algebraïsch de symmetrische groep  , waarbij de elementen 1-op-1 overeenkomen met de permutaties van de lichaamsdiagonalen van de kubus, .[13]   en dus algebraïsch  . Naast   zijn ook   en   (en dus  ) subgroepen van  . De groep   is een subgroep van O. De groepen  ,  ,  ,   en   zijn de symmetriegroepen van de kubus met:

  • voor   blanco zijden
  • voor   op elk zijvlak dezelfde chirale figuur met rotatiesymmetrie van orde 4
  • voor   op elk zijvlak een diagonaal zo dat die samen een tetraëder vormen
  • voor   op elk zijvlak een lijnstuk dat de middens van twee tegenover elkaar liggende zijden verbindt, zodanig dat zulke lijnstukken elkaar niet raken
  • voor   zowel het bij   als   genoemde

De twee symmetriegroepen met assen van rotatiesymmetrie van orde 3 en assen van orde 5 corresponderen met icosahedrale symmetrie (volledige versie   en chirale versie  ). De orde is 120, resp. 60.   is de symmetrie van de dodecaëder, icosaëder, vijf archimedische lichamen waaronder de als voetbal zeer bekende afgeknotte icosaëder, en alle vier de kepler-poinsot-lichamen. Twee archimedische lichamen, namelijk de beide versies van de stompe dodecaëder, zijn chiraal met   als totale symmetriegroep.   is algebraïsch   (de even permutaties van 5 elementen). De 20 hoekpunten van een dodecaëder kunnen namelijk (op twee manieren) worden verdeeld over 5 groepen van 4 die elk de hoekpunten vormen van een tetraëder. De elementen van   corresponderen 1-op-1 met de even permutaties van de 5 tetraëders.   en dus algebraïsch  .

Eigenschappen en aantallenBewerken

Het aantal symmetriegroepen van orde   is, zoals uit het bovenstaande volgt, 7 voor   een viervoud, 1 voor   een viervoud plus 1, 5 voor   een viervoud plus 2 en 1 voor   een viervoud plus 3, met als uitzonderingen voor   = 2, 4, 12, 24, 48, 60. 120 resp. 3, 5, 8, 10, 8, 8, 8 (waarvan chiraal resp. 2, 1, 2, 1 en 1, 2, 3, 3, 2, 3, 2).

Cyclisch (en dus abels) zijn  , en   voor oneven  . Ook abels zijn   voor even     en  .

Voor   een viervoud plus 0, 1, 2 of 3 is het aantal cyclische symmetriegroepen van orde   dus respectievelijk 2, 1, 3 of 1 en het aantal abelse symmetriegroepen van orde   resp. 3, 1, 3 of 1, met als uitzonderingen voor   resp. 5, 4.

Anders gerangschikt:

  • Voor oneven   is er één symmetriegroep; deze is cyclisch, dus abels, en chiraal.
  • Voor   een viervoud plus 2 zijn er vijf symmetriegroepen (drie voor  ):
    • één is cyclisch en chiraal
    • twee zijn cyclisch en achiraal
    • één is niet-abels en chiraal (niet voor  )
    • één is niet-abels en achiraal (niet voor  )
  • Voor k een viervoud zijn er zeven symmetriegroepen (vijf voor  , acht voor  , tien voor  ):
    • één is cyclisch en chiraal
    • één is cyclisch en achiraal
    • één is niet-abels en chiraal (voor  , twee; voor   is de groep niet-cyclisch maar wel abels)
    • één is niet-cyclisch maar wel abels, en achiraal (twee voor  )
    • drie zijn niet-abels en achiraal (niet voor  , twee voor  , vier voor  , vijf voor  )

De kleinste abstracte groepen die van geen enkele symmetriegroep de abstracte structuur is, zijn   en de dicyclische groepen   (quaternionengroep) en  .

Er zijn twee symmetriegroepen met een even aantal elementen zonder ondergroep met de helft van het aantal elementen:   en  .

Zie ook de lijst van kleine groepen.

Algebraïsche groepen met unieke symmetriegroepBewerken

Algebraïsche groepen van eindige symmetriegroepen in één dimensie, twee dimensies en drie dimensies zijn dat per dimensie van een unieke symmetriegroep, behoudens translatie en rotatie, bij alle symmetriegroepen in één dimensie en twee dimensies, en bij de volgende in drie dimensies (tussen haakjes staan de abstracte groepen):

  •   ( , orde  )
  •   vanaf   ( , orde  ):
    •   ( , orde  )
    •   vanaf   ( , orde  )
  •   ( , orde  ):
    •   ( , orde  )
    •   ( , orde  )
  •   (alternerende groep  , orde 12)
  •   ( , orde 24)
  •   (  , orde 48)
  •   (alternerende groep  , orde 60)
  •   ( , orde 120)

Bij de overige eindige symmetriegroepen impliceert de abstracte groep niet eenduidig de symmetriegroep.

Oneindige symmetriegroepenBewerken

Een symmetriegroep heeft aftelbaar oneindig veel elementen o.m. als er translaties bij zijn, zie ook strookpatroongroep en behangpatroongroep.

Een symmetriegroep met overaftelbaar veel elementen is in twee dimensies bijvoorbeeld de symmetriegroep corresponderend met cirkelsymmetrie, de orthogonale groep  . Een ander voorbeeld is die waarbij in één richting niets verandert.

Symmetriegroepen met overaftelbaar veel elementen zijn in drie dimensies bijvoorbeeld cilindersymmetrie en bolsymmetrie.

Een ander voorbeeld is de symmetriegroep die een schroefdraaiing om een bepaalde as bevat, en wel, gezien vanuit een bepaald punt op de as, draaiing met de klok mee over een hoek  , in combinatie van een translatie van de waarnemer af over een afstand  , en dat voor iedere  . Bij positieve   is dit rechtsdraaiende schroefsymmetrie, bij negatieve   linksdraaiend. Het is de symmetrie van een helix en van een naar twee kanten oneindige cilindervormige schroef (zonder kop). Bij een rechtsdraaiende schroef die verticaal wordt gehouden lopen de groeven van de zijkant gezien van linksonder naar rechtsboven, en als hij horizontaal wordt gehouden van rechtsonder naar linksboven. Bij een linksdraaiende schroef is dit andersom. Een fundamenteel domein van de symmetrie is een willekeurig vlak loodrecht op de as.

In de aftelbare variant van deze symmetrie neemt   als waarden alleen veelvouden van een vaste hoek tussen 0° en 180° aan.

Tussenvormen tussen discrete en continue symmetrieBewerken

Als het gaat om visuele symmetrie kunnen bepaalde tussenvormen tussen discrete en continue symmetrie buiten beschouwing worden gelaten, zoals met een symmetriegroep die in een bepaalde richting willekeurig kleine, maar niet alle translaties bevat, of ten opzichte van een bepaald punt willekeurig kleine, maar niet alle rotaties. Voor een symmetriegroep   kan men daarbij formeel het criterium hanteren of voor elk punt   de verzameling   een gesloten verzameling is. Bij de "tussenvormen" is dat niet het geval. Als deze buiten beschouwing worden gelaten worden overzichten van alle symmetriegroepen voor een bepaalde ruimte eenvoudiger.

Een voorbeeld van een "tussenvorm" voor de eendimensionale ruimte   is de translatiegroep voortgebracht door translaties met afstand 1 en √2. De verzameling translatie-afstanden is aftelbaar, maar ligt dicht in  . Deze verzameling is dus niet gesloten. Deze translatiegroep is bijvoorbeeld de symmetriegroep van  .

De symmetriegroepen in één dimensie en twee dimensies, uitgezonderd de tussenvormenBewerken

Als de tussenvormen buiten beschouwing worden gelaten blijven voor de eendimensionale ruimte   de volgende symmetriegroepen over:

  • de triviale groep
  • de groep isomorf met de cyclische groep  
  • de groepen isomorf met   (een voor elke positieve translatie-afstand)
  • de groepen isomorf met de symmetriegroep van   (oneindige dihedrale groep), met als parameter de positieve translatie-afstand (de spiegelpunten hebben een onderlinge afstand van de halve translatie-afstand)
  • de isometriegroep van  

De groep van alle translaties is van geen enkel object de symmetriegroep.

Voor het vlak   blijven de volgende symmetriegroepen over (zie ook boven):

  • de triviale groep
  • de groepen isomorf met de cyclische groep  , met als parameter   (rotatiesymmetrie van orde n).
  • de groepen isomorf met de dihedrale groep van orde  , met als parameter   (de spiegels gaan door het draaipunt en maken een onderlinge hoek van 180 graden gedeeld door  )
  • de groep van alle rotaties om een punt en alle spiegelingen met een spiegel door dat punt (het is de symmetriegroep van cirkelsymmetrie ten opzichte van dat punt)
  • de groepen van het type strookpatroongroep, met per strookpatroongroep als parameter de translatieafstand
  • de groepen van het type behangpatroongroep, met afhankelijk van de behangpatroongroep nog een of meer parameters
  • de groepen die de directe som zijn van de symmetriegroep van   (voor één richting) en een van de bovengenoemde symmetriegroepen voor   (voor de richting loodrecht daarop)

Onder meer de groep van alle rotaties om een punt is van geen enkel object de symmetriegroep.

Objecten met minder dimensies dan de euclidische ruimteBewerken

De symmetriegroep van een object dat zich uitstrekt over een verzameling van twee of meer punten op een rechte lijn hangt volgens bovenstaande definitie ervan af of het een object in bijvoorbeeld de een-, twee- of driedimensionale euclidische ruimte is. Vergeleken met de symmetrie van het object als object in de eendimensionale euclidische ruimte komt er als object in de tweedimensionale euclidische ruimte spiegelsymmetrie in de betreffende lijn bij, en als object in de driedimensionale euclidische ruimte meer spiegelsymmetrie en ook rotatiesymmetrie met de betreffende lijn als as. De symmetriegroep van het object op zich is de symmetriegroep van dit object in de verzameling waarover dit object zich uitstrekt, met de geïnduceerde metriek. Deze symmetriegroep komt in het voorbeeld in essentie overeen met die van het object in de eendimensionale euclidische ruimte (niet alleen algebraïsch isomorf, maar ook qua meetkundige aspecten).

In plaats van rechtstreeks kan de symmetriegroep van een object in een euclidische ruimte ook worden gedefinieerd uitgaande van de genoemde definitie van de symmetriegroep van een object op zich, en wel door het geheel van het object en de rest van de ruimte als nieuw object te beschouwen (zoals bij een afbeelding een egale achtergrond wel of niet tot de afbeelding gerekend kan worden).

ScheikundeBewerken

  Zie Moleculaire symmetrie voor het hoofdartikel over dit onderwerp.

In de scheikunde is de symmetriegroep van een molecuul of van een rooster van belang; als deze alleen directe isometrieën bevat heet het molecuul of rooster chiraal. In een chiraal molecuul of rooster komen dus geen spiegelingen voor die het molecuul of rooster hetzelfde laten.

Zie ookBewerken