Search Results for ""

A Kähler metric is a Riemannian metric g on a complex manifold which gives M a Kähler structure, i.e., it is a Kähler manifold with a Kähler form. However, the term "Kähler ...

A quartic algebraic curve also called the peg-top curve and given by the Cartesian equation a^4y^2=b^2x^3(2a-x) (1) and the parametric curves x = a(1+sint) (2) y = ...

A K-rational point is a point (X,Y) on an algebraic curve f(X,Y)=0, where X and Y are in a field K. For example, rational point in the field Q of ordinary rational numbers is ...

Relations in the definition of a Steenrod algebra which state that, for i<2j, Sq^i degreesSq^j(x)=sum_(k=0)^(|_i/2_|)(j-k-1; i-2k)Sq^(i+j-k) degreesSq^k(x), where f degreesg ...

Let A denote an R-algebra, so that A is a vector space over R and A×A->A (1) (x,y)|->x·y. (2) Then A is said to be alternative if, for all x,y in A, (x·y)·y=x·(y·y) (3) ...

An approximate unit for a C^*-algebra A is an increasing net {u_lambda}_(lambda in Lambda) of positive elements in the closed unit ball of A such that a=lim_(lambda)au_lambda ...

A bounded left approximate identity for a normed algebra A is a bounded net {e_alpha}_(alpha in I) with the property lim_(alpha)e_alphaa=a for a in A. Bounded right and ...

Let mu be a positive measure on a sigma-algebra M, and let lambda be an arbitrary (real or complex) measure on M. If there is a set A in M such that lambda(E)=lambda(A ...

A proving technique in homological algebra which consists in looking for equivalent map compositions in commutative diagrams, and in exploiting the properties of injective, ...

Let X be an infinite set of urelements, and let V(^*X) be an enlargement of V(X). Let H in V(^*X) be an algebra. Then H is hyperfinitely generated provided that it has a ...