Search Results for ""

The cokernel of a group homomorphism f:A-->B of Abelian groups (modules, or abstract vector spaces) is the quotient group (quotient module or quotient space, respectively) ...

If the trilinear polars of the polygon vertices of a triangle are distinct from the respectively opposite sides, they meet the sides in three collinear points.

_2F_1(a,b;c;1)=((c-b)_(-a))/((c)_(-a))=(Gamma(c)Gamma(c-a-b))/(Gamma(c-a)Gamma(c-b)) for R[c-a-b]>0, where _2F_1(a,b;c;x) is a (Gauss) hypergeometric function. If a is a ...

If T is a set of axioms in a first-order language, and a statement p holds for any structure M satisfying T, then p can be formally deduced from T in some appropriately ...

Draw an initial circle, and arrange six circles tangent to it such that they touch both the original circle and their two neighbors. Then the three lines joining opposite ...

The subset {0} of a ring. It trivially fulfils the definition of ideal since it is a group (specifically, the zero group), and it is closed under multiplication by any ...

The angle bisector of an angle in a triangle divides the opposite side in the same ratio as the sides adjacent to the angle.

If an infinite number of points in the plane are all separated by integer distances, then all the points lie on a straight line.

An arbitrary rotation may be described by only three parameters.

The vectors +/-a_1, ..., +/-a_n in a three-space form a normalized eutactic star iff Tx=x for all x in the three-space.