Alkueliöryhmissä
Alkueliöryhmissä, known in English as primitive groups, refers to a concept in abstract algebra concerning permutation groups. A permutation group G acting on a set X is considered primitive if it is transitive and does not preserve any non-trivial subset of X. Transitive means that for any two elements x and y in X, there exists some element g in G such that g(x) = y. The condition of not preserving any non-trivial subset means that if S is a proper non-empty subset of X, then the image of S under any non-identity element of G, denoted as g(S) = {g(s) | s in S}, is not equal to S. In simpler terms, a primitive group "mixes up" the elements of the set so thoroughly that no smaller, proper part of the set remains invariant under the group's action.
The study of primitive groups is fundamental in group theory and has connections to various other areas