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
Lattice of subgroups lattice of subgroups can sometimes be used to infer information about the original group, an idea that goes back to the work of . For instance, as Ore proved, a group is locally cyclic if and only if its lattice of subgroups is distributive. If additionally the lattice satisfies the ascending chain condition, then the group is cyclic. The groups whose lattice of subgroups is a complemented lattice are called complemented groups , and the groups whose lattice of subgroups are modular lattices are called Iwasawa groups or modular groups . Lattice-theoretic characterizations of this type also exist for solvable