nLab
coefficient

Contents

Definition

There are two different meansing of the term coefficient in mathematics, one

and one

The two notion do however conincide for ordinary homology/ordinary cohomology expressed as singular homology/singular cohomology. See remark 1 below.

In algebra and analysis

In algebra and analysis, a coefficient is an element of a ring (or rig) RR that appears in scalar multiplication; more generally, coefficients are elements of RR that appear in a linear combinations. Thus, we multiply a coefficient by an element of an RR-module MM (which may even be an algebra, associative or not) to get another element of MM.

For example, given a polynomial P= na nx nP = \sum_n a_n x^n over RR in the variable xx, each a nRa_n \in R is the coefficient on x nx^n in PP. The module MM here is the symmetric algebra over RR.

In cohomology and homology

In cohomology coefficients are what the cohomology takes values in. For ordinary cohomology H (,A)H^\bullet(-,A) the abelian group AA is the coefficient group. For generalized (Eilenberg-Steenrod) cohomology H (,E)H^\bullet(-,E) the given spectrum EE that represents it is the coefficient spectrum. Dually for homology.

It is this notion of “coefficient” that appears in terms like

Remark

This cohomology-theoretic usage of “coefficient” is almost certainly originally derived from the former one. When ordinary homology with coefficients in AA (in the homological sense) is defined using singular or cellular chains, the chains themselves are formal linear combinations of singular simplices or cells whose coefficients (in the algebraic sense) are elements of AA. For more general homology and cohomology theories, however, the “coefficient object” is no longer directly interpretable using coefficients in the algebraic sense.

category: disambiguation

Revised on September 1, 2012 15:00:41 by Urs Schreiber (89.204.139.13)