Animal mesoderm forms by enterocoelic pouching, through invagination of the endoderm. The main deuterostome phyla are the Echinodermata and the Chordata. Echinoderms are exclusively marine and include starfish, sea urchins, and sea cucumbers. The chordates are dominated by the vertebrates (animals with backbones), which consist of fishes, amphibians, reptiles, birds, and mammals. The deuterostomes also include the Hemichordata (acorn worms). The Ecdysozoa are protostomes, named after their shared trait of ecdysis, growth by moulting. They include the largest animal phylum, the Arthropoda, which contains insects, spiders, crabs, and their kin. All of these have a body divided into repeating segments, typically
Klein four-group representation on four points: In this representation, V is a normal subgroup of the alternating group A (and also the symmetric group S) on four letters. In fact, it is the kernel of a surjective group homomorphism from S to S. Other representations within S are: They are not normal subgroups of S According to Galois theory, the existence of the Klein four-group (and in particular, the permutation representation of it) explains the existence of the formula for calculating the roots of quartic equations in terms of radicals, as established by Lodovico Ferrari: the map corresponds to the resolvent cubic,