En géométrie, un solide d'Archimède est un polyèdre convexe semi-régulier, fortement symétrique, composé d'au moins deux sortes de polygones réguliers se rencontrant à des sommets identiques. Ils sont distincts des solides de Platon, qui sont composés d'une seule sorte de polygones se rencontrant à des sommets identiques, et des solides de Johnson, dont les faces polygonales régulières ne se rencontrent pas à des sommets identiques. La symétrie des solides d'Archimède exclut les membres du groupe diédral, les prismes et les antiprismes.
En géométrie, un solide de Johnson est un polyèdre strictement convexe dont chaque face est un polygone régulier et qui n'est pas isogonal (qui n'est donc ni un solide de Platon, ni un solide d'Archimède, ni un prisme ni un antiprisme). Il n'est pas nécessaire que chaque face soit un polygone identique, ou que les mêmes polygones se rejoignent autour de chaque sommet. Un exemple de solide de Johnson est la pyramide à base carrée avec des côtés triangulaires équilatéraux (J1) ; il possède une face carrée et quatre faces triangulaires.
En géométrie euclidienne, un solide de Platon est l’un des cinq polyèdres à la fois réguliers et convexes. En référence au nombre de faces (4, 6, 8, 12 et 20) qui les composent, ils sont nommés couramment tétraèdre (régulier), hexaèdre (régulier) ou cube, octaèdre (régulier), dodécaèdre (régulier) et icosaèdre (régulier), les adjectifs « régulier » et « convexe » étant souvent implicites ou omis quand le contexte le permet. Depuis les mathématiques grecques, les solides de Platon furent un sujet d’étude des géomètres en raison de leur esthétique et de leurs symétries.
En géométrie classique, la forme permet d’identifier ou de distinguer des figures selon qu’elles peuvent ou non être obtenues les unes à partir des autres par des transformations géométriques qui préservent les angles en multipliant toutes les longueurs par un même coefficient d’agrandissement. Au sens commun, la forme d’une figure est en général décrite par la donnée combinatoire d’un nombre fini de points et de segments ou d’autres courbes délimitant des surfaces, des comparaisons de longueurs ou d’angles, d’éventuels angles droits et éventuellement du sens de courbure.
En mathématiques, et plus particulièrement en algèbre commutative, le théorème fondamental des fonctions symétriques, souvent appelé « théorème fondamental des polynômes symétriques » ou « théorème de Newton », stipule que tout polynôme symétrique en n indéterminées à coefficients dans un anneau (commutatif) A s'exprime de façon unique par une fonction polynomiale des n polynômes symétriques élémentaires. Autrement dit, les n polynômes symétriques élémentaires forment une partie génératrice de l'algèbre des polynômes symétriques en n indéterminées sur A et sont algébriquement indépendants sur A.