Corps commutatifvignette|Corps commutatif (pour n premier) En mathématiques, un corps commutatif (parfois simplement appelé corps, voir plus bas, ou parfois appelé champ) est une des structures algébriques fondamentales de l'algèbre générale. C'est un ensemble muni de deux opérations binaires rendant possibles les additions, soustractions, multiplications et divisions. Plus précisément, un corps commutatif est un anneau commutatif dans lequel l'ensemble des éléments non nuls est un groupe commutatif pour la multiplication.
Degree of a field extensionIn mathematics, more specifically field theory, the degree of a field extension is a rough measure of the "size" of the field extension. The concept plays an important role in many parts of mathematics, including algebra and number theory — indeed in any area where fields appear prominently. Suppose that E/F is a field extension. Then E may be considered as a vector space over F (the field of scalars). The dimension of this vector space is called the degree of the field extension, and it is denoted by [E:F].
TautologieLa tautologie (du grec ancien ταὐτολογία, composé de ταὐτό, « la même chose », et λέγω, « dire » : le fait de redire la même chose) est une phrase ou un effet de style ainsi tourné que sa formulation ne puisse être que vraie. La tautologie est apparentée au truisme (ou lapalissade) et au pléonasme. En logique mathématique, le mot « tautologie » désigne une proposition toujours vraie selon les règles du calcul propositionnel. On utilise aussi l'adjectif tautologique en mathématiques pour désigner des structures qui émergent naturellement de la définition de certains objets.
Interprétation (logique)En logique, une interprétation est une attribution de sens aux symboles d'un langage formel. Les langages formels utilisés en mathématiques, en logique et en informatique théorique ne sont définis dans un premier temps que syntaxiquement ; pour en donner une définition complète, il faut expliquer comment ils fonctionnent et en donner une interprétation. Le domaine de la logique qui donne une interprétation aux langages formels s'appelle la sémantique formelle.
Idéal premierEn algèbre commutative, un idéal premier d'un anneau commutatif unitaire est un idéal tel que le quotient de l'anneau par cet idéal est un anneau intègre. Ce concept généralise la notion de nombre premier à des anneaux à la structure moins simple d'accès que l'anneau des entiers relatifs. Ils jouent un rôle particulièrement important en théorie algébrique des nombres. thumb|Richard Dedekind (1831-1916), formalisateur du concept d'idéal.
Grandeur molaire partielleEn thermodynamique, une grandeur molaire partielle quantifie l'évolution d'une grandeur extensive d'un système thermodynamique en fonction de l'évolution de la quantité de l'un de ses constituants. La grandeur molaire partielle, notée , d'un corps dans un mélange est définie par la dérivée partielle de la grandeur extensive totale du mélange par rapport à la quantité (nombre de moles) du corps , à pression , température et quantités des autres composants du mélange constantes : La grandeur molaire partielle d'un corps dans un mélange représente la contribution du corps à la grandeur totale du mélange : celle-ci est en effet reliée aux grandeurs molaires partielles de tous les constituants du mélange par le théorème d'Euler.
Process functionIn thermodynamics, a quantity that is well defined so as to describe the path of a process through the equilibrium state space of a thermodynamic system is termed a process function, or, alternatively, a process quantity, or a path function. As an example, mechanical work and heat are process functions because they describe quantitatively the transition between equilibrium states of a thermodynamic system. Path functions depend on the path taken to reach one state from another. Different routes give different quantities.
Proposition contraposéeEn logique, la contraposition est un type de raisonnement consistant à affirmer l'implication « si non B alors non A » à partir de l'implication « si A alors B ». L'implication « si non B alors non A » est appelée contraposée de « si A alors B ». Par exemple, la proposition contraposée de la proposition « s'il pleut, alors le sol est mouillé » est « si le sol n'est pas mouillé, alors il ne pleut pas ». Considérons l'exemple suivant :S'il pleut, alors le sol est mouillé.
Apparent molar propertyIn thermodynamics, an apparent molar property of a solution component in a mixture or solution is a quantity defined with the purpose of isolating the contribution of each component to the non-ideality of the mixture. It shows the change in the corresponding solution property (for example, volume) per mole of that component added, when all of that component is added to the solution. It is described as apparent because it appears to represent the molar property of that component in solution, provided that the properties of the other solution components are assumed to remain constant during the addition.
Théorie SITLa théorie SIT, ou Specific ion interaction theory, est un modèle théorique utilisé en chimie pour estimer les coefficients d'activité d'ions simples dans des solutions électrolytiques à concentrations relativement élevées. Cette estimation repose sur la prise en compte des coefficients d'interaction entre les différents ions présents en solution. Les coefficients d'interactions sont déterminés à partir des valeurs de la constante d'équilibre prises sur des solutions à différentes forces ioniques.
