gruppverkan

群作用

1. (algebra) en avbildning ⋅: G × S → S sådan att g1⋅(g2⋅s) = (g1g2)⋅s och 1G⋅s = s för varje g, g1, g2 ∈ G och s ∈ S