View source for Glossary of invariant theory

{{Short description|none}}
This page is a glossary of terms  in [[invariant theory]]. 
For descriptions of particular invariant rings, see [[invariants of a binary form]], [[symmetric polynomials]]. 
For geometric terms used in invariant theory see the [[glossary of classical algebraic geometry]]. 
Definitions of many terms used in invariant theory can be found in {{harv|Sylvester|1853}}, {{harv|Cayley|1860}}, {{harv|Burnside|Panton|1881}}, {{harv|Salmon|1885}}, {{harv|Elliott|1895}}, {{harv|Grace|Young|1903}}, {{harv|Glenn|1915}},   {{harv|Dolgachev|2012}}, and the index to the fourth volume of Sylvester's collected works includes many of the terms invented by him.

{{Compact ToC|short1|pre1=Conventions|sym=yes|x=[[#XYZ|XYZ]]|y=|z=|seealso=yes|refs=yes}}

==Conventions==

{{glossary}}

{{term|-an}}
{{defn|Nouns  ending in -an are often  invariants named after people, as in Cayleyan, Hessian, Jacobian, Steinerian.}}

{{term|-ant}}
{{defn|Nouns  ending in -ant are often  invariants, as in determinant, covariant, and so on.}}

{{term|-ary}}
{{defn|Adjectives  ending in -ary often refer to the number of variables of a form, as in unary, binary, ternary, quaternary, quinary, senary, septenary, octonary, nonary, denary.}}

{{term|-ic}}
{{defn|Adjectives or nouns ending in -ic often refer to the degree of a form, as in linear or monic, quadric or quadratic, cubic, quartic or biquadratic, quintic, sextic, septic or septimic, octic or octavic, nonic, decic or decimic, undecic or undecimic, duodecic or duodecimic, and so on.}}

{{glossary end}}

==!$@==

{{glossary}}

{{term|content=(''a''<sub>0</sub>, ''a''<sub>1</sub>, ..., ''a''<sub>''n''</sub>)(''x'',''y'')<sup>''n''</sup>}}
{{defn|Short for the form ({{su|p=''n''|b=0}})''a''<sub>0</sub>''x''<sup>''n''</sup> + ({{su|p=''n''|b=1}})''a''<sub>1</sub>''x''<sup>''n''–1</sup>''y''+ ... + ({{su|p=''n''|b=''n''}})''a''<sub>''n''</sub>''y''<sup>''n''</sup>. When the first ) has a circumflex or arrow on top of it, this means that the binomial coefficients are omitted. The parentheses are sometimes overlapped: <math>(a_0,\ldots,a_n)\!\!(x,y)^n</math>}}

{{term|[]}}
{{defn|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}} }}

{{term|(αβγ...)}}
{{defn|The determinant of the matrix with entries α<sub>''i''</sub>, β<sub>''i''</sub>, γ<sub>''i''</sub>,... For example, (αβ) means α<sub>1</sub>β<sub>2</sub> –  α<sub>2</sub>β<sub>1</sub>.}}

{{glossary end}}

==A==

{{glossary}}

{{term|absolute}}
{{defn|no=1|The absolute invariant is essentially the [[j-invariant]] of an elliptic curve.}}
{{defn|no=2|An absolute invariant is something fixed by a group action, in other words a (relative) invariant (something that transforms according to a character) where the character is trivial.}}

{{term|allotrious}}
{{defn|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}}, Archaic.  }}

{{term|alternant}}
{{defn|no=1|An archaic term for the commutator ''AB''–''BA'' of two operators ''A'' and ''B''. {{harv|Elliott|1895|loc=p.144}} }}
{{defn|no=2|An [[alternant matrix]] is a matrix such that the entries of each column are given by some fixed function of a variable. }}

{{term|annihilator}}
{{defn|An annihilator is a differential operator representing an element of a Lie algebra, so that invariants of a group are killed by the annihilators. {{harv|Elliott|1895|loc=p.108}} }}

{{term|anti-invariant}}
{{defn|A relative invariant transforming according to a character of order 2 of a group such as the symmetric group.}}

{{term|anti-seminvariant}}
{{defn|{{harv|Elliott|1895|loc=p.126}} }}

{{term|apocopated}}
{{defn|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}}. Archaic.}}

{{term|Arf invariant}}
{{defn|{{main|Arf invariant}} An invariant of quadratic forms over a field of order 2.}}

{{term|Aronhold invariant}}
{{defn|One of the two generators of degrees 4 and 6 of the ring of invariants of ternary cubic forms. {{harv|Dolgachev|2012|loc=3.1.1}} }}

{{term|asyzygetic}}
{{defn|Linearly independent.}}

{{glossary end}}

==B==

{{glossary}}

{{term|Bezoutiant}}
{{defn|1={{main|Bezoutiant}} A symmetric square matrix associated to two binary forms. }}

{{term|Bezoutic}}
{{defn|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}}. Archaic.}}

{{term|Bezoutiod}}
{{defn|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}}. Archaic.}}

{{term|bidegree}}
{{defn|An ordered pair of integers, giving the degrees of a form relative to  two sets of variables.}}

{{term|biform}}
{{defn|A polynomial homogeneous in each of two sets of variables. In other words an element of  S<sup>''m''</sup>''V''&times;S<sup>''n''</sup>''W'', usually considered as a representation of  GL<sub>''V''</sub>×GL<sub>''W''</sub>.}}

{{term|binary}}
{{defn|Depending on 2 variables. Same as bivariate.}}

{{term|biquadratic}}
{{defn|Same as quartic, meaning degree 4.}}

{{term|biternary}}
{{defn|A biternary form is one in 6 variables, 3 transforming according to the fundamental representation of SL<sub>3</sub> and 3 transforming according to its dual.}}

{{term|bivariate}}
{{defn|Depending on 2 variables. Same as binary.}}

{{term|Boolean invariant}}
{{defn|An invariant for the orthogonal group. {{harv|Elliott|1895|loc=p.344}} }}

{{term|bordered Hessian}}
{{defn|An alternative name for the reciprocant}}

{{term|bracket}}
{{defn|An invariant given by either the pairing of a vector and a vector in the dual space, or the determinant of a matrix form by ''n'' vectors of an ''n''-dimensional space (in other words their exterior product in the top exterior power).}}

{{term|Brioschi covariant}}
{{defn|This is a degree 12 order 9 covariant of [[ternary cubic form]]s, introduced by {{harvtxt|Brioschi|1863}}. {{harv|Dolgachev|2012|loc=3.4.3}} }}

{{glossary end}}

==C==

{{glossary}}

{{term|canonical form}}
{{defn|A particularly simple representation of a form, such as a sum of powers of linear forms, or with many zero coefficients. For example, the canonical form of a binary form of degree 2''m''+1 is a sum of ''m''+1 powers of linear forms.}}

{{term|canonisant}}
{{term|canonizant|multi=y}}
{{defn|{{main|canonizant}} A covariant of a form, given by the catalecticant of the penultimate emanant. It is related to the  canonical form of a form. For example, the canonizant of a binary form of degree 2''n''–1  has  degree ''n'' and order ''n''. {{harv|Elliott|1895|loc=p.21}} }}

{{term|catalecticant}}
{{defn|{{main|catalecticant}} An invariant vanishing on forms that are the sum of an unusually small number of powers of linear forms.}}

{{term|Cayley Ω process}}
{{defn|{{main|Cayley's Ω process}} A certain differential operator used for constructing invariants.}}

{{term|Cayleyan}}
{{defn|{{main|Cayleyan}} A contravariant. }}

{{term|characteristic}}
{{defn|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}} }}

{{term|class}}
{{defn|The class of a contravariant or concomitant is its degree in the covariant variables. See also degree and order.}}

{{term|Clebsch invariant}}
{{defn|{{harv|Dolgachev|2012|loc=p.283}} }}

{{term|co-Bezoutiant}}
{{defn|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}}. Archaic. }}

{{term|cogredient}}
{{defn|Transforming according to the natural representation of a linear group. {{harv|Elliott|1895|loc=p.55}} }}

{{term|combinant}}
{{defn|A joint relative invariant of several forms of the same degree, that is unchanged if a multiple of one of the forms is added to another. Essentially a relative invariant of a product of two general linear groups. {{harv|Elliott|1895|loc=p.340}} {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}} {{harv|Salmon|1885|loc=p.161}} }}

{{term|combinative}}
{{defn|Related to invariants of a product of groups. For example a combinative covariant is a covariant of a product of two groups.}}

{{term|commutant}}
{{defn|A generalization of the determinant to arrays of dimension greater than 2. {{harv|Cayley|1860}} }}

{{term|complete}}
{{defn|A complete system of invariants is a set of generators for the ring of invariants.}}

{{term|concomitant}}
{{defn|A relative invariant of GL(''V'') acting on the polynomials over ''S''<sup>''n''</sup>(''V'')&oplus;''V''&oplus;V*.}}

{{term|conjunctive}}
{{defn|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}} }}

{{term|connex}}
{{defn|A form in two sets of variables, one set corresponding to a vector space and the other to its dual, or in other words an element of the symmetric algebra of ''V''&oplus;''V''* for a vector space ''V''. Introduced by Clebsch.}}

{{term|continuant}}
{{defn|{{main|Continuant (mathematics)}} A determinant of a [[tridiagonal matrix]].{{harv|Salmon|1885|loc=p.18}} }}

{{term|contragredient}}
{{defn|Transforming according to the dual of the natural  representation of a linear group. {{harv|Elliott|1895|loc=p.74}} }}

{{term|contravariant}}
{{defn|A relative invariant of GL(''V'') acting on the polynomials over ''S''<sup>''n''</sup>(''V'')&oplus;''V''.}}

{{term|convolution}}
{{defn|A method of constructing invariants from two other invariants. {{harv|Glenn|1915|loc=p.87}} }}

{{term|covariancy}}
{{defn|{{harv|Elliott|1895|loc=p.83}} }}

{{term|covariant}}
{{defn|no=1|(Noun) A relative invariant of GL(''V'') acting on the polynomials over ''S''<sup>''n''</sup>(''V'')&oplus;''V''*.}}
{{defn|no=2|(Adjective) Invariant under the action of a group, especially for functions between two spaces acted on by the group.}}

{{term|cross ratio}}
{{defn|The [[cross ratio]] is an invariant of 4 points of a projective line.}}

{{term|cubic}}
{{defn|(Adjective) Degree 3}}
{{defn|(Noun) A form of degree 3}}

{{term|cubicovariant}}
{{defn|A covariant of degree 3, in particular an order 3 degree 3 covariant of a binary cubic given by the Jacobian of the cubic and its Hessian. {{harv|Elliott|1895|loc=p.50}} }}

{{term|cubinvariant}}
{{defn|An invariant of degree 3.}}

{{term|cubo-}}
{{defn|Used to form compound adjectives such as cubo-linear, cubo-quadric, and so on, indicating the bidegree of something. For example, cubo-linear means having degree 3 in the first of two sets of variables and degree 1 in the second.  }}

{{term|cumulant}}
{{defn|The numerator or denominator of a continued fraction, often expressed as a determinant. {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}}.  }}

{{glossary end}}

==D==

{{glossary}}

{{term|decic}}
{{term|decimic|multi=y}}
{{defn|(Adjective) Degree 10}}
{{defn|(Noun) A form of degree 10}}

{{term|degree}}
{{defn|no=1|The degree of a form is the total power of the variables in it.}}
{{defn|no=2|The degree of an invariant or covariant or contravariant means its degree in terms of the coefficients of the form. The degree of a form considered as a form is usually not its degree when considered as a covariant.}}
{{defn|no=3|Some authors exchange the meanings of "degree" and "order" of a covariant or concomitant.}}

{{term|denary}}
{{defn|Depending on 10 variables}}

{{term|determinant}}
{{defn|The [[determinant]] is a joint invariant of ''n'' vectors of an ''n''-dimensional space.}}

{{term|dialytic}}
{{defn|Sylvester's dialytic method is a method for calculating resultants, essentially by expressing them as the determinant of a [[Sylvester matrix]]. See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}}. Archaic. }}

{{term|differentiant}}
{{defn|Another name for an invariant of a binary form. Archaic. }}

{{term|discriminant}}
{{defn|{{main|discriminant}}  The discriminant of a form in ''n'' variables is the multivariate resultant of the ''n'' differentials with respect to each of the variables. For binary forms the discriminant vanishes if the form has multiple roots and is essentially the same as the discriminant of a polynomial of 1 variable. The discriminant of a form vanishes when the corresponding hypersurface has singularities (as a scheme).  }}

{{term|disjunctive}}
{{defn|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}} }}

{{term|divariant}}
{{defn|An alternative name for a concomitant suggested by {{harvtxt|Salmon|1885|loc=p.121}} }}

{{term|duodecic}}
{{term|duodecimic|multi=y}}
{{defn|(Adjective) Degree 12}}
{{defn|(Noun) A form of degree 12}}

{{glossary end}}

==E==

{{glossary}}

{{term|effective}}
{{defn|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}} }}

{{term|effluent}}
{{defn|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}}. Archaic. }}

{{term|eliminant}}
{{defn|De Morgan's name for the (multivariate) [[resultant]], an invariant of ''n'' forms in ''n'' variables that vanishes if they have a common nonzero solution.  {{harv|Elliott|1895|loc=p.16}} }}

{{term|emanant}}
{{defn|The ''r''th emanant of a binary form in variables ''x''<sub>''i''</sub> is a covariant given by the action of the ''r''th power of the differential operator Σ''y''<sub>''i''</sub>∂/∂''x''<sub>''i''</sub>. This is essentially the same as polarization. {{harv|Elliott|1895|loc=p.56}}  {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}} }}

{{term|endoscopic}}
{{defn|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}}. Archaic. }}

{{term|equianharmonic contravariant}}
{{defn|A weight 4 contravariant of binary quartics {{harv|Dolgachev|2012|loc=6.4}} }}

{{term|evectant}}
{{defn|{{main|evectant}} A contravariant given by the action of an evector.}}

{{term|evector}}
{{defn|{{main|evectant}} A differential operator constructed from a binary form.}}

{{term|excess}}
{{defn|The excess of a polynomial in the coefficients ''a''<sub>0</sub>,...''a''<sub>''p''</sub> of a form of  degree ''p'' is ''ip''–2''w'', where ''p'' is the degree of the polynomial and ''w'' is its weight. {{harv|Elliott|1895|loc=p.141}} }}

{{term|exoscopic}}
{{defn|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}}. Archaic. }}

{{term|extensor}}
{{defn|An element of the ''k''th exterior power of a vector space that can be written as the exterior product of ''k'' vectors.}}

{{term|extent}}
{{defn|The extent of a polynomial in ''a''<sub>0</sub>, ''a''<sub>1</sub>,... is the largest value of ''p'' such that the polynomial involves ''a''<sub>''p''</sub>. {{harv|Elliott|1895|loc=p.138}} }}

{{glossary end}}

==F==

{{glossary}}

{{term|facient}}
{{defn|One of the variables of a form {{harv|Cayley|1860}} }}

{{term|facultative}}
{{defn|A facultative point is one where a given function is positive. {{harv|Salmon|1885|loc=p.243}} }}

{{term|form}}
{{defn|A homogeneous polynomial in several variables, also called a quantic.}}

{{term|functional determinant}}
{{defn|An archaic name for Jacobians}}

{{term|fundamental}}
{{defn|no=1|The '''first fundamental theorem''' describes generators (called brackets) for the ring of invariant polynomials on a sum of copies of a vector space ''V'' and its dual (for the special linear group of ''V''). The '''second fundamental theorem''' describes the syzygies between the generators.}}
{{defn|no=2|For '''fundamental scale''' see {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}}. Archaic. }}
{{defn|no=3|A '''fundamental invariant''' is an element of a set of generators for a ring of invariants.}}
{{defn|no=4|A '''fundamental system''' is a set of generators (for a ring of invariants, covariants, and so on).}}

{{glossary end}}

==G==

{{glossary}}

{{term|Gordan}}
{{defn|Named for [[Paul Gordan]].}}
{{defn|no=1|'''Gordan's theorem''' states that the ring of invariants of a binary form (or several binary forms) is finitely generated. }}

{{term|grade}}
{{defn|The highest power of a bracket factor in the symbolic expression for an invariant. {{harv|Glenn|1915|loc=4.8}} }}

{{term|gradient}}
{{defn|A homogeneous polynomial in ''a''<sub>0</sub>, ..., ''a''<sub>''p''</sub> all of whose terms have the same weight, where ''a''<sub>''n''</sub> has weight ''n''. {{harv|Elliott|1895|loc=p.138}} Archaic.  }}

{{term|Gröbner basis}}
{{defn|{{main|Gröbner basis}} A basis for an ideal of a ring of polynomials chosen according to some rule to make computations easier.}}

{{term|ground form}}
{{defn|An element of a minimal set of homogeneous generators for the invariants of a form. Archaic.}}

{{glossary end}}

==H==

{{glossary}}

{{term|hectic}}
{{defn|A joke term for a form of degree 100.}}

{{term|harmonic contravariant}}
{{defn|A weight 6 contravariant of binary quartics {{harv|Dolgachev|2012|loc=6.4}} }}

{{term|harmonizant}}
{{defn|A bilinear invariant of two forms whose vanishing means they are polar. {{harv|Dolgachev|2012|loc=p.75}} }}

{{term|Hermite}}
{{defn|Named after [[Charles Hermite]]}}
{{defn|no=1|The '''Hermite contravariant''' is a  degree 12 class 9 contravariant of [[ternary cubic]]s. {{harv|Dolgachev|2012|loc=3.4.3}} }}
{{defn|no=2|[[Hermite's law of reciprocity]] states that the degree ''m'' covariants of a binary form of degree ''n'' correspond to the degree ''n'' covariants of a binary form of degree ''m''.}}
{{defn|no=3|The '''Hermite invariant''' is the degree 18 skew invariant of a binary quintic.}}

{{term|Hessian}}
{{defn|{{main|Hessian matrix}} A covariant of a form ''u'', given by the determinant of the matrix with entries ∂<sup>2</sup>''u''/∂''x''<sub>''i''</sub>∂''x''<sub>''j''</sub>.}}

{{term|Hilbert}}
{{defn|Named after [[David Hilbert]]}}
{{defn|A '''Hilbert series''' is a formal power series whose coefficients are dimensions of spaces of invariants of various degrees.}} 
{{defn|'''Hilbert's theorem''' states that the ring of invariants of a finite-dimensional representation of a reductive group is finitely generated.}}

{{term|homographic}}
{{defn|no=1|A homographic transformation is a transformation taking ''x'' to (''ax''+''b'')/(''cx''+''d'').}} 
{{defn|no=2|1=A homographic relation between ''x'' and ''y'' is a relation of the form  ''axy'' + ''bx'' + ''cy'' + ''d''=0 . }}

{{term|hyperdeterminant}}
{{defn|{{main|hyperdeterminant}} An invariant of a multidimensional array of coefficients, generalizing the determinant of a 2-dimensional array. }}

{{glossary end}}

==I==

{{glossary}}

{{term|identity covariant}}
{{defn|A form considered as a covariant of degree 1.}}

{{term|immanant}}
{{defn|{{main|immanant of a matrix}} A generalization of the determinant and permanent of a matrix}}

{{term|inertia}}
{{defn|The signature of a real quadratic form. See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}} }}

{{term|integral rational function}}
{{defn|A polynomial.}}

{{term|intercalations}}
{{defn|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}}. Archaic. }}

{{term|intermediate invariant}}
{{defn|An invariant of two forms constructed from two invariants of each of the forms. {{harv|Elliott|1895|loc=p.23}} }}

{{term|intermutant}}
{{defn|A special  form of permutant. {{harv|Cayley|1860}} }}

{{term|invariant}}
{{defn|no=1|(Adjective) Fixed by the action of a group}}
{{defn|no=2|(Noun) An absolute invariant, meaning something fixed by a group action.}}
{{defn|no=3|(Noun) A relative invariant, meaning something transforming according to a character of a group. In classical invariant theory it often refers to relatively invariant polynomials in the coefficients of a quantic, considered as a representation of a general linear group.}}

{{term|involutant}}
{{defn|See Sylvester's collected papers, volume IV, page 135}}

{{term|irreducible}}
{{defn|Not expressible as a polynomial in things of smaller degree.}}

{{term|isobaric}}
{{defn|All terms having the same weight. {{harv|Elliott|1895|loc=p.32}} }}

{{glossary end}}

==J==

{{glossary}}

{{term|Jacobian}}
{{defn|{{main|Jacobian matrix}} A covariant of ''n'' forms ''f''<sub>''i'' </sub> in ''n'' variables ''x''<sub>''j''</sub>, given by the determinant of the matrix with entries ∂''f''<sub>''i''</sub>/∂''x''<sub>''j''</sub>.  }}

{{term|joint invariant}}
{{defn|A relative invariant for polynomials over reducible representation of a group, in particular a relative invariant for several binary forms.}}

{{glossary end}}

==K==

{{glossary}}

{{term|kenotheme}}
{{defn|{{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}} defines this as "A finite system of discrete points defined by one or more homogeneous equations in number one less than the number of variables contained therein." This may mean an intersection of ''n'' hypersurfaces in ''n''-dimensional projective space. Archaic. }}

{{glossary end}}

==L==

{{glossary}}

{{term|linear}}
{{defn|Degree 1}}

{{term|lineo-}}
{{defn|Used to form compound adjectives such as lineo-linear, lineo-quadric, and so on, indicating the bidegree of something. For example, lineo-linear means having degree 1 in each of two sets of variables. In particular the lineo-linear invariant of two binary forms has degree 1 in the coefficients of each form. {{harv|Elliott|1895|loc=p.54}} }}

{{term|Lüroth invariant}}
{{defn|A degree 54 invariant vanishing on [[Lüroth quartic]]s (nonsingular quartic plane curves containing the 10 vertices of a complete pentalateral).
{{harv|Dolgachev|2012|loc=p.295}} }}

{{glossary end}}

==M==

{{glossary}}

{{term|meicatalecticizant}}
{{defn|Sylvester's original term for what he later renamed the [[catalecticant]]. Archaic.}}

{{term|mixed concomitant}}
{{defn|A concomitant that involves both covariant and contravariant variables, in other words one that is not a covariant or contravariant. {{harv|Elliott|1895|loc=p.77}} }}

{{term|modular}}
{{defn|{{main|Modular invariant of a group}} Defined over a finite field.}}

{{term|modulus}}
{{defn|An alternative name for the determinant of a linear transformation. {{harv|Elliott|1895|loc=p.3}} }}

{{term|monic}}
{{defn|no=1|Adjective. Having leading coefficient 1.}}
{{defn|no=2|Adjective. Having degree 1.}}
{{defn|no=3|Noun. A form of degree 1. }}

{{term|monotheme}}
{{defn|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}}. Archaic. }}

{{glossary end}}

==N==

{{glossary}}

{{term|nonary}}
{{defn|Depending on 9 variables}}

{{term|nonic}}
{{defn|(Adjective) Degree 9}}
{{defn|(Noun) A form of degree 9}}

{{term|nullcone}}
{{defn|The cone of nullforms}}

{{term|nullform}}
{{defn|{{main|nullform}} A form on which all invariants with zero constant term vanish.}}

{{glossary end}}

==O==

{{glossary}}

{{term|octavic}}
{{term|octic|multi=y}}
{{defn|(Adjective) Degree 8}}
{{defn|(Noun) A form of degree 8}}

{{term|octonary}}
{{defn|Depending on 8 variables}}

{{term|Omega process}}
{{defn|{{main|Cayley's Ω process}} }}

{{term|order}}
{{defn|no=1|The degree of a covariant or concomitant in the variables of a form.}}
{{defn|no=2|Some authors interchange the meaning of "degree" and "order" of a covariant.}}
{{defn|no=3|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}} }}

{{term|ordinary}}
{{defn|An ordinary invariant means a relative invariant, in other words something transforming according to a character of a group, as opposed to an absolute invariant.}}

{{term|osculant}}
{{defn|{{main|osculant}} An invariant of several forms of the same degree generalizing the tact-invariant of two forms, equal to the discriminant if the number of forms is 1, and to the multivariate resultant if the number of forms is the number of variables. {{harvtxt|Salmon|1885|loc=p.171}} }}

{{glossary end}}

==P==

{{glossary}}

{{term|partial transvectant}}
{{defn|{{main|transvectant}} }}

{{term|partition}}
{{defn|{{main|integer partition}} An expression of  a number as a sum of positive integers.{{harv|Elliott|1895|loc=p.119}} }}

{{term|peninvariant}}
{{defn|Same as seminvariant. {{harv|Cayley|1860}} }}

{{term|permanent}}
{{defn|{{main|permanent (mathematics)}} A variation of the determinant of a matrix}}

{{term|permutant}}
{{defn|{{harv|Cayley|1860}} }}

{{term|perpetuant}}
{{defn|{{main|perpetuant}} Roughly an irreducible covariant of a form of infinite order.}}

{{term|persymmetrical}}
{{defn|A persymmetrical matrix is a [[Hankel matrix]]. See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}}.  Archaic. }}

{{term|Pfaffian}}
{{defn|{{main|Pfaffian}} A square root of the determinant of a skew-symmetric matrix.}}

{{term|pippian}}
{{defn|An old name for the Cayleyan. }}

{{term|plagiogonal}}
{{defn|Related to or fixed by the orthogonal group of some quadratic form. See Sylvester's collected papers, volume I, page 357}}

{{term|plexus}}
{{defn|A set of generators of an ideal, especially if the number of generators needed is larger than the codimension of the corresponding variety.}}

{{term|polarization}}
{{defn|A method of reducing the degree of something by introducing extra variables.}}

{{term|principiant}}
{{defn|A reciprocant that is invariant under homographic substitutions, up to a constant facts. See Sylvester's collected papers, vol IV, page 382}}

{{term|projective invariant}}
{{defn|no=1|An invariant of the projective general linear group.}}
{{defn|no=2|An invariant of a central extension of a group.}}

{{term|protomorph}}
{{defn|A set of protomorphs is a set of seminvariants, such that any seminvariant is a polynomial in the protomorphs and the inverse of the first protomorph. {{harv|Elliott|1895|loc=p.206}} }}

{{glossary end}}

==Q==

{{glossary}}

{{term|quadratic}}
{{term|quadric|multi=y}}
{{defn|(Adjective) Degree 2}}
{{defn|(Noun) A form of degree 2}}

{{term|quadricovariant}}
{{defn|A covariant of degree 2. {{harv|Salmon|1885|loc=p.261}} }}

{{term|quadrinvariant}}
{{defn|An invariant of degree 2. {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}}. }}

{{term|quadro-}}
{{defn|Degree 2. Used to form compound adjectives such as quadro-linear, quadro-quadric, and so on, indicating the bidegree of something. For example, quadro-linear means having degree 2 in the first of two sets of variables and degree 1 in the other.  }}

{{term|quantic}}
{{defn|An archaic name for a homogeneous polynomial in several variables, now usually called a form.}}

{{term|quartic}}
{{defn|(Adjective) Degree 4}}
{{defn|(Noun) A form of degree 4}}

{{term|quarticovariant}}
{{defn|A covariant of degree 4.}}

{{term|quartinvariant}}
{{defn|An invariant of degree 4}}

{{term|quarto-}}
{{defn|Used to form compound adjectives such as quarto-linear, quarto-quadric, and so on, indicating the bidegree of something. For example, quarto-linear means having degree 4 in the first of two sets of variables and degree 1 in the other.  }}

{{term|quaternary}}
{{defn|Depending on 4 variables}}

{{term|quinary}}
{{defn|Depending on 5 variables. }}

{{term|quintic}}
{{defn|(Adjective) Degree 5}}
{{defn|(Noun) A form of degree 5}}

{{term|quintinvariant}}
{{defn|An invariant of degree 5.}}

{{term|quippian}}
{{defn|{{main|quippian}} }}

{{glossary end}}

==R==

{{glossary}}

{{term|rational integral function}}
{{defn|A polynomial.}}

{{term|reciprocal}}
{{defn|The reciprocal of a matrix is the [[adjugate matrix]].}}

{{term|reciprocant}}
{{defn|no=1|A contravariant of a ternary form, giving the equation of a dual curve. {{harv|Elliott|1895|loc=p.400}} }}

{{term|reciprocity}}
{{defn|Exchanging the degree of a form with the degree of an invariant. For example, [[Hermite's law of reciprocity]] states that the degree ''p'' invariants of a form of degree ''n'' correspond to the degree ''n'' invariants of a form of degree ''p''. {{harv|Elliott|1895|loc=p.137}} }}

{{term|reducible}}
{{defn|Expressible as a polynomial in things of smaller degree.}}

{{term|relative invariant}}
{{defn|Something transforming according to a 1-dimensional character of a group, often a power of the determinant. Same as ordinary invariant.}}

{{term|resultant}}
{{defn|no=1|{{main|resultant}} A joint invariant of two binary forms that vanishes when they have a common root. More generally a (multivariate) resultant is a joint invariant of ''n'' forms in ''n'' variables that vanishes if they have a common nontrivial zero. Sometimes called an eliminant in older books. }}
{{defn|no=2|An archaic term for the determinant}}

{{term|revenant}}
{{defn|Suggested by Sylvester (collected works vol 3, page 593) as an alternative name for a [[perpetuant]].}}

{{term|Reynolds operator}}
{{defn|{{main|Reynolds operator}} Projection onto the fixed vectors}}

{{term|rhizoristic}}
{{defn|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}}.  Archaic. }}

{{glossary end}}

==S==

{{glossary}}

{{term|Salmon invariant}}
{{defn|A degree 60 invariant vanishing on ternary quartics with an
inflection bitangent. {{harv|Dolgachev|2012|loc=6.4}} }}

{{term|Scorza covariant}}
{{defn|A covariant of ternary quartics. {{harv|Dolgachev|2012|loc=6.3.4}} }}

{{term|semicovariant}}
{{defn|An analogue of seminvariants for covariants. See {{harv|Burnside|Panton|1881|loc=p.329}} }}

{{term|semi-invariant}}
{{term|seminvariant|multi=y}}
{{defn|no=1|The leading term of a covariant, also called its source. {{harv|Grace|Young|1903|loc=section 33}} }}
{{defn|no=2|An invariant of the group of upper triangular matrices.}}

{{term|senary}}
{{defn|Depending on 6 variables. (Rare)}}

{{term|septenary}}
{{defn|Depending on 7 variables}}

{{term|septic}}
{{term|septimic|multi=y}}
{{defn|(Adjective) Degree 7}}
{{defn|(Noun) A form of degree 7}}

{{term|sextic}}
{{defn|(Adjective) Degree 6}}
{{defn|(Noun) A form of degree 6}}

{{term|sexticovariant}}
{{defn|A covariant of degree 6}}

{{term|sextinvariant}}
{{defn|An invariant of degree 6 {{harv|Salmon|1885|loc=p.262}} }}

{{term|signaletic}}
{{defn|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}}.  Archaic. }}

{{term|singular}}
{{defn|no=1|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}} }}

{{term|skew}}
{{defn|A skew invariant is a relative invariant of a group ''G'' that changes sign under an element of order 2 in its abelianization. In particular for the general linear group it changes sign under elements of determinant –1, and for the symmetric group it changes sign under odd permutations. For binary forms skew invariants are the invariants of odd weight. They do not exist for binary quadrics, cubics, or quartics, but do for binary quintics. {{harv|Elliott|1895|loc=p.112}} }}

{{term|source}}
{{defn|The source of a covariant is its leading term, when the covariant is considered as a form. Also called a seminvariant. {{harv|Elliott|1895|loc=p.126}} }}

{{term|Steinerian}}
{{defn|{{main|Steinerian}} }}

{{term|symbolic}}
{{defn|{{main|symbolic method}} The symbolic method is a way of representing invariants, that repeatedly uses  the identification of the symmetric power of a vector space with the symmetric elements of a tensor power. }}

{{term|syrrhizoristic}}
{{defn|{{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}} defined this as "A syrrhizoristic series is a series of disconnected functions which serve to determine the effective intercalations of the real roots of two functions lying between any assigned limits."  Archaic. This term does not seem to have been used (or understood) by anyone other than Sylvester.}}

{{term|syzygant}}
{{defn|{{harv|Elliott|1895|loc=p.198}} }}

{{term|syzygetic}}
{{defn|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}} }}

{{term|syzygy}}
{{defn|A linear or algebraic relation, especially one between generators of a ring or module.}}

{{glossary end}}

==T==

{{glossary}}

{{term|tacinvariant}}
{{term|tact invariant|multi=y}}
{{defn|An invariant of one or two ternary forms that vanishes if the corresponding curve touches itself, or if the two curves touch each other. It is generalized by the osculant.}}

{{term|tamisage}}
{{defn|Sylvester's name for his method of guessing the degrees of a generating set of invariants or covariants by examining the generating function.{{harv|Elliott|1895|loc=p.175}}.  Archaic. }}

{{term|tantipartite}}
{{defn|An archaic term for multilinear. {{harv|Cayley|1860}} }}

{{term|Tschirnhaus transformation}}
{{defn|{{main|Tschirnhaus transformation}} }}

{{term|ternary}}
{{defn|Depending on 3 variables}}

{{term|Toeplitz invariant}}
{{defn|An invariant of nets of quadrics in 3-dimensional projective space that vanishes on nets with a common polar pentahedron. {{harv|Dolgachev|2012|loc=p.51}} }}

{{term|transfer}}
{{defn|A method of constructing contravariants of forms in ''n''+1 variables from invariants of forms in ''n'' variables. {{harv|Dolgachev|2012|loc=3.4.2}} }}

{{term|transvectant}}
{{defn|{{main|transvectant}} An invariant formed from ''n'' invariants in ''n'' variables using Cayley's omega process. {{harv|Elliott|1895|loc=p.71}} }}

{{term|trinomial}}
{{defn|A polynomial with at most three non-zero coefficients.}}

{{glossary end}}

==U==

{{glossary}}

{{term|ueberschiebung}}
{{defn|Transvectant. {{harv|Elliott|1895|loc=p.171}} }}

{{term|umbrae}}
{{term|umbral|multi=y}}
{{defn|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}} }}

{{term|unary}}
{{defn|Depending on 1 variable. Same as univariate.}}

{{term|undecic}}
{{term|undecimic|multi=y}}
{{defn|(Adjective) Degree 11}}
{{defn|(Noun) A form of degree 11}}

{{term|unimodular}}
{{defn|Having determinant 1}}

{{term|unitarian trick}}
{{defn|Finite-dimensional representations of a semisimple Lie group are equivalent to finite-dimensional representations of a compact form, and are therefore completely reducible.}}

{{term|univariate}}
{{defn|Depending on 1 variable. Same as unary.}}

{{term|universal concomitant}}
{{defn|The pairing between a vector space and its dual, considered as a concomitant. {{harv|Elliott|1895|loc=p.77}} }}

{{glossary end}}

==V==

{{glossary}}

{{glossary end}}

==W==

{{glossary}}

{{term|weight}}
{{defn|no=1|The power of the determinant appearing in the formula for transformation of a relative invariant.}}
{{defn|no=2|A character of a torus}}
{{defn|no=3|See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}} }}
{{defn|no=4|The weight of ''a''<sub>''i''</sub> is ''i'', and the weight of a product of monomials is the sum of their weights. }}

{{glossary end}}

==XYZ==

{{glossary}}

{{term|zeta}}
{{term|ζ|multi=y}}
{{defn|A product of squared differences. See {{harvs|txt|last=Sylvester|year=1853|loc=Glossary p. 543–548}} }}

{{glossary end}}

==See also==

*[[Glossary of classical algebraic geometry]]

==References==
* {{cite journal |last=Brioschi |first=F. |date=1863 |title=Sur la théorie des formes cubiques à trois indéterminées |journal=CR |volume=56 |pages=304–307}}
*{{Citation | last2=Panton | first2=Arthur William | last1=Burnside | first1=William Snow | title=The theory of equations: With an introduction to the theory of binary algebraic forms | year=1881 | url=https://archive.org/details/117770305 | publisher=Hodges, Figgis & co.  | series=2 volumes |mr=0115987}}
*{{Citation | last1=Dieudonné | first1=Jean A. | last2=Carrell | first2=James B. | title=Invariant theory, old and new | doi=10.1016/0001-8708(70)90015-0 | year=1970 | journal=[[Advances in Mathematics]] | issn=0001-8708 | volume=4 | pages=1–80 | mr=0255525| doi-access=free }} Reprinted as {{Citation | last1=Dieudonné | first1=Jean A. | last2=Carrell | first2=James B. | title=Invariant theory, old and new | publisher=[[Academic Press]] | location=Boston, MA | isbn=978-0-12-215540-6 | doi=10.1016/0001-8708(70)90015-0 | year=1971 | mr=0279102 | doi-access=free }}
*{{Citation | last1=Cayley | first1=Arthur | author1-link=Arthur Cayley | title=The English Cyclopaedia | chapter-url=https://archive.org/stream/collectedmathema04cayluoft#page/594/mode/2up | publisher=Charles Knight, London | id=Reprinted in Cayley's collected works, volume IV, pages 594–608 | year=1860 | volume=5 | chapter=Recent terminology in mathematics | pages=534–542}}
*{{Citation | last1=Crilly | first1=Tony | title=Arthur Cayley. Mathematician laureate of the Victorian age  | url=https://books.google.com/books?isbn=0801880114 | publisher=[[Johns Hopkins University Press]] | isbn=978-0-8018-8011-7 | mr=2284396 | year=2006}}
*{{Citation | last1=Dolgachev | first1=Igor | title=Lectures on invariant theory | publisher=[[Cambridge University Press]] | series=London Mathematical Society Lecture Note Series | isbn=978-0-521-52548-0 | doi=10.1017/CBO9780511615436 | year=2003 | volume=296 | mr=2004511}}
*{{Citation | last1=Dolgachev | first1=Igor V. | title=Classical Algebraic Geometry: a modern view | url=http://www.math.lsa.umich.edu/~idolga/CAG.pdf | publisher=[[Cambridge University Press]] | isbn=978-1-107-01765-8 | year=2012 | access-date=2012-04-26 | archive-url=https://web.archive.org/web/20140531105635/http://www.math.lsa.umich.edu/~idolga/CAG.pdf | archive-date=2014-05-31 | url-status=dead }}
*{{Citation | last1=Elliott | first1=Edwin Bailey | title=An introduction to the algebra of quantics | journal=Nature | url=https://archive.org/details/introductiontoal00elliiala | publisher=Oxford, Clarendon Press | id=Reprinted by Chelsea Scientific Books 1964 | year=1895| volume=53 | issue=1364 | page=147 | doi=10.1038/053147a0 | bibcode=1895Natur..53..147G | s2cid=4036717 }}
*{{Citation | last1=Glenn | first1=Oliver E. | title=A Treatise on the Theory of Invariants | url=https://archive.org/details/atreatiseontheth09933gut | publisher=Ginn and company | isbn=978-1-4297-0030-6 | year=1915}}
*{{Citation | last1=Grace|first1= J. H.|last2= Young|first2= Alfred | title=The algebra of invariants | location=Cambridge | publisher=Cambridge University Press | year=1903 |url=https://archive.org/details/algebraofinvaria00graciala}}
*{{Citation | last1=Hilbert | first1=David | author1-link=David Hilbert | title=Ueber die Theorie der algebraischen Formen | doi=10.1007/BF01208503 | year=1890 | journal=[[Mathematische Annalen]] | issn=0025-5831 | volume=36 | issue=4 | pages=473–534| s2cid=179177713 }}
*{{citation|last=Hilbert|first=D.|title=Über die vollen Invariantensysteme (On Full Invariant Systems)|journal=Math. Annalen|volume=42|issue=3|page=313|year=1893|doi=10.1007/BF01444162|s2cid=177808686}}
*{{Citation | author=Olver, Peter J. |author-link=Peter J. Olver | title=Classical invariant theory | location=Cambridge | publisher=Cambridge University Press | year=1999 | isbn=0-521-55821-2}}
*{{Citation | last1=Salmon | first1=George | title=Lessons introductory to the modern higher algebra | orig-year=1859 | url=https://archive.org/details/salmonalgebra00salmrich | publisher=Dublin, Hodges, Figgis, and Co. | edition=4th | isbn=978-0-8284-0150-0 | year=1885}}
*{{Citation | last1=Sylvester | first1=James Joseph | title=On a Theory of the Syzygetic Relations of Two Rational Integral Functions, Comprising an Application to the Theory of Sturm's Functions, and That of the Greatest Algebraical Common Measure | publisher=The Royal Society | year=1853 | journal=[[Philosophical Transactions of the Royal Society of London]] | issn=0080-4614 | volume=143 | pages=407–548 | jstor=108572 | doi=10.1098/rstl.1853.0018| url=https://zenodo.org/record/1432412 | doi-access=free }}
*{{Citation | last1=Sylvester | first1=James Joseph | last2=Franklin | first2=F. | title=Tables of the Generating Functions and Groundforms for the Binary Quantics of the First Ten Orders | publisher=The Johns Hopkins University Press | year=1879 | journal=[[American Journal of Mathematics]] | issn=0002-9327 | volume=2 | issue=3 | pages= 223–251 | doi=10.2307/2369240| jstor=2369240 }}
*{{Citation | last1=Weyl | first1=Hermann | author1-link=Hermann Weyl | title=The Classical Groups. Their Invariants and Representations | url=https://books.google.com/books?isbn=0691057567 | publisher=[[Princeton University Press]] | isbn=978-0-691-05756-9 | year=1939 | mr=0000255}}

==External links==
*{{citation|first=Andries E. |last=Brouwer|url=http://www.win.tue.nl/~aeb/math/invar.html |title=Invariants of binary forms}}

[[Category:Invariant theory]]
[[Category:Glossaries of mathematics|Invariant theory]]
[[Category:History of mathematics]]
[[Category:Wikipedia glossaries using description lists]]