Search Results for ""

A bilinear functional phi on a normed space E is called coercive (or sometimes elliptic) if there exists a positive constant K such that phi(x,x)>=K||x||^2 for all x in E.

Given a factor a of a number n=ab, the cofactor of a is b=n/a. A different type of cofactor, sometimes called a cofactor matrix, is a signed version of a minor M_(ij) defined ...

If S is an infinite set, then the collection F_S={A subset= S:S-A is finite} is a filter called the cofinite (or Fréchet) filter on S.

A module having dual properties with respect to a free module, as enumerated below. 1. Every free module is projective; every cofree module is injective. 2. For every module ...

A cograph (or "complement-reducible graph") is simple graph defined by the criteria 1. K_1 is a cograph, 2. If X is a cograph, then so is its graph complement, and 3. If X ...

The coheight of a proper ideal I of a commutative Noetherian unit ring R is the Krull dimension of the quotient ring R/I. The coheight is related to the height of I by the ...

A theorem that guarantees that the trajectory of Langton's ant is unbounded.

Also called Macaulay ring, a Cohen Macaulay ring is a Noetherian commutative unit ring R in which any proper ideal I of height n contains a sequence x_1, ..., x_n of elements ...

Cohomology is an invariant of a topological space, formally "dual" to homology, and so it detects "holes" in a space. Cohomology has more algebraic structure than homology, ...

Cohomotopy groups are similar to homotopy groups. A cohomotopy group is a group related to the homotopy classes of maps from a space X into a sphere S^n.