In a previous paper (Rowe et al., 2002), aspects of the theory of genetic algorithms were generalised to the case where the search space, Ω, had an arbitrary group action defined on it. Conditions under which genetic operators respect certain subsets of Ω were identified, leading to a generalisation of the termschema. In this paper, search space groups with more detailed structure are examined. We define the class of structural crossover operators that respect certain schemata in these groups, which leads to a generalised schema theorem. Recent results concerning the Fourier (or Walsh) transform are generalised. In particular, it is shown that the matrix group representing Ω can be simultaneously diagonalised if and only if Ω is Abelian. Some results concerning structural crossover and mutation are given for this case.
Alden Wright completed some of this work while visiting the University of Birmingham, supported by EPSRC grant GR/R47394.