Search Results for ""

The convolution of two complex-valued functions on a group G is defined as (a*b)(g)=sum_(k in G)a(k)b(k^(-1)g) where the support (set which is not zero) of each function is ...

The set of sums sum_(x)a_xx ranging over a multiplicative group and a_i are elements of a field with all but a finite number of a_i=0. Group rings are graded algebras.

The set of all ground atoms that can be formed from predicate symbols from a clause in Skolemized form S and terms from the Herbrand universe H of S.

The integral closure of a commutative unit ring R in an extension ring S is the set of all elements of S which are integral over R. It is a subring of S containing R.

The Lehmer mean of a set of n numbers {a_k}_(k=1)^n is defined by L_p(a_1,...,a_n)=(sum_(k=1)^(n)a_k^p)/(sum_(k=1)^(n)a_k^(p-1)) (Havil 2003, p. 121).

A sum of the elements from some set with constant coefficients placed in front of each. For example, a linear combination of the vectors x, y, and z is given by ax+by+cz, ...

Let Y^X be the set of continuous mappings f:X->Y. Then the topological space for Y^X supplied with a compact-open topology is called a mapping space.

The ring of integers of a number field K, denoted O_K, is the set of algebraic integers in K, which is a ring of dimension d over Z, where d is the extension degree of K over ...

The kernel of a module homomorphism f:M-->N is the set of all elements of M which are mapped to zero. It is the kernel of f as a homomorphism of additive groups, and is a ...

A mathematical object which consists of a set of a single element, making it a 1-tuple. The yin-yang is also known as the monad.