Grupa ago
El Vikipedio
Ĉi tiu artikolo estas pri matematika koncepto. Pro la sociologia termino vidu artikolon grupa ago (sociologio).
En matematiko, simetria grupo priskribas ĉiujn simetriojn de objektoj. Ĉi tio estas formaligita per nocio de grupa ago: ĉiu ero de la grupo "agas" tiel ke ĝi surĵetas laŭ "simetrio" erojn de iu aro. En ĉi tiu okazo, la grupo estas ankaŭ nomata kiel permuta grupo (aparte se la aro estas finia aŭ ne estas vektora spaco) aŭ transforma grupo (aparte se la aro estas vektora spaco kaj la grupo agas kiel linearaj transformoj de la aro). Permuta prezento de grupo G estas prezento de G kiel grupo de permutoj de la aro (kutime se la aro estas finia), kaj povas esti priskribita kiel grupa prezento de G per permutaj matricoj, kaj estas kutime konsiderita en la finidimensia okazo - ĝi estas la sama kiel grupa ago de G sur ordita bazo de vektora spaco.
[redaktu] Difino
Se G estas grupo kaj X estas aro, tiam grupa ago de G sur X estas duuma funkcio
(kie la surĵeto de
kaj
estas skribita kiel
) kiu kontentigas jenajn du aksiomojn:
por ĉiuj
kaj 
por ĉiu
(e estas identa ero de G)
De ĉi tiuj du aksiomoj sekvas ke por ĉiu
kiu estas funkcio kiu surĵetas
al
estas reciproke unuvalora surĵeto de X al X. Pro tio oni povas alternative kaj ekvivalente difini grupan agon de G sur X kiel grupa homomorfio
, kie
estas grupo de ĉiuj reciproke unuvaloraj surĵetoj de X al X.
Se grupa ago
estas donita, oni ankaŭ diras ke G agas sur aro X aŭ X estas G-aro.
| <!-- --> | Ĉi tiu artikolo enhavas dume forkomentitajn partojn de la teksto ĉar ili ankoraŭ ne estas sufiĉe bonaj. Vi povas redakti la paĝon kaj plibonigi kaj malkomenti la forkomentitajn partojn. |

