Search Results for ""

A functor is said to be faithful if it is injective on maps. This does not necessarily imply injectivity on objects. For example, the forgetful functor from the category of ...

A module M over a unit ring R is called faithful if for all distinct elements a, b of R, there exists x in M such that ax!=bx. In other words, the multiplications by a and by ...

Fano's geometry is a finite geometry attributed to Fano from around the year 1892. This geometry comes with five axioms, namely: 1. There exists at least one line. 2. Every ...

The far-out point F of a triangle DeltaABC is the inverse point of the triangle centroid with respect to the circumcircle of DeltaABC. For a triangle with side lengths a, b, ...

Let T_n(x) be an arbitrary trigonometric polynomial T_n(x)=1/2a_0+{sum_(k=1)^n[a_kcos(kx)+b_ksin(kx)]} (1) with real coefficients, let f be a function that is integrable over ...

The Fermat axis is the central line connecting the first and second Fermat points. It has line function l=a(b^2-c^2)(a^2-b^2-bc-c^2)(a^2-b^2+bc-c^2), corresponding to ...

The Feuerbach triangle is the triangle formed by the three points of tangency of the nine-point circle with the excircles (Kimberling 1998, p. 158). (The fact that the ...

A fibered category F over a topological space X consists of 1. a category F(U) for each open subset U subset= X, 2. a functor i^*:F(U)->F(V) for each inclusion i:V↪U, and 3. ...

A field automorphism of a field F is a bijective map sigma:F->F that preserves all of F's algebraic properties, more precisely, it is an isomorphism. For example, complex ...

For a field K with multiplicative identity 1, consider the numbers 2=1+1, 3=1+1+1, 4=1+1+1+1, etc. Either these numbers are all different, in which case we say that K has ...