Search Results for ""

A regular local ring is a local ring R with maximal ideal m so that m can be generated with exactly d elements where d is the Krull dimension of the ring R. Equivalently, R ...

A unit in a ring is an element u such that there exists u^(-1) where u·u^(-1)=1.

Deciding whether a given Boolean formula in conjunctive normal form has an assignment that makes the formula "true." In 1971, Cook showed that the problem is NP-complete.

Let R be a ring, let A be a subring, and let B be an ideal of R. Then A+B={a+b:a in A,b in B} is a subring of R, A intersection B is an ideal of A and (A+B)/B=A/(A ...

A polynomial equation whose roots all have negative real parts. For a real quadratic equation z^2+Bz+C=0, the stability conditions are B,C>0. For a real cubic equation ...

A subring of a ring R is a subgroup of R that is closed under multiplication.

Let R be a ring, and let I and J be ideals of R with I subset= J. Then J/I is an ideal of R/I and (R/I)/(J/I)=R/J.

The free module of rank n over a nonzero unit ring R, usually denoted R^n, is the set of all sequences {a_1,a_2,...,a_n} that can be formed by picking n (not necessarily ...

A completely positive matrix is a real n×n square matrix A=(a_(ij)) that can be factorized as A=BB^(T), where B^(T) stands for the transpose of B and B is any (not ...

A copositive matrix is a real n×n square matrix A=(a_(ij)) that makes the corresponding quadratic form f(x)=x^(T)Ax nonnegative for all nonnegative n-vectors x. Copositive ...