Fermionic fieldIn quantum field theory, a fermionic field is a quantum field whose quanta are fermions; that is, they obey Fermi–Dirac statistics. Fermionic fields obey canonical anticommutation relations rather than the canonical commutation relations of bosonic fields. The most prominent example of a fermionic field is the Dirac field, which describes fermions with spin-1/2: electrons, protons, quarks, etc. The Dirac field can be described as either a 4-component spinor or as a pair of 2-component Weyl spinors.
Plan projectifEn mathématiques, la notion de plan projectif a deux sens distincts, suivant que l'approche est algébrique ou par les axiomes d'incidence entre pointe et droites, l'approche axiomatique donnant une notion qui s'avère un peu plus générale que l'approche algébrique. Un plan projectif en géométrie algébrique est une variété particulière : l'espace projectif de dimension 2. On peut associer un plan projectif à tout corps commutatif (corps des réels, corps des complexes, corps finis) ou non commutatif (quaternions.
Projective linear groupIn mathematics, especially in the group theoretic area of algebra, the projective linear group (also known as the projective general linear group or PGL) is the induced action of the general linear group of a vector space V on the associated projective space P(V). Explicitly, the projective linear group is the quotient group PGL(V) = GL(V)/Z(V) where GL(V) is the general linear group of V and Z(V) is the subgroup of all nonzero scalar transformations of V; these are quotiented out because they act trivially on the projective space and they form the kernel of the action, and the notation "Z" reflects that the scalar transformations form the center of the general linear group.
Œuvre dérivéeEn droit de la propriété intellectuelle, une œuvre dérivée est une œuvre créée à partir d'une ou plusieurs œuvres préexistantes. Parmi les travaux dérivés on peut citer les traductions, les arrangements musicaux, les adaptations à un autre média, les résumés, etc. La notion d’œuvre dérivée est assimilée à celle d'œuvre composite par une partie de la doctrine. Pour la Convention de Berne pour la protection des œuvres littéraires et artistiques, un travail dérivé suppose une transformation, modification ou adaptation qui constitue par elle-même une œuvre de l'esprit, originale et susceptible d'être protégée par le droit d'auteur.
Simply typed lambda calculusThe simply typed lambda calculus (), a form of type theory, is a typed interpretation of the lambda calculus with only one type constructor () that builds function types. It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus was originally introduced by Alonzo Church in 1940 as an attempt to avoid paradoxical use of the untyped lambda calculus. The term simple type is also used to refer extensions of the simply typed lambda calculus such as products, coproducts or natural numbers (System T) or even full recursion (like PCF).