What concept investigates geometric elements that stay stable under group action? [SEP] Finite symmetry groups such as the Mathieu groups are used in coding theory, which is in turn applied in error correction of transmitted data, and in CD players.
entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment entailment entailment entailment not_entailment entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment entailment entailment entailment entailment entailment entailment not_entailment not_entailment entailment entailment entailment entailment not_entailment entailment entailment not_entailment not_entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment not_entailment entailment entailment entailment not_entailment not_entailment entailment not_entailment not_entailment not_entailment entailment entailment