DOKUMEN123.COM

In mathematics, a surjective function (also known as surjection, or onto function /ˈɒn.tuː/) is a function f such that, for every element y of the function's...

{\displaystyle \forall x,x'\in X,x\neq x'\implies f(x)\neq f(x').} The function is surjective, or onto, if each element of the codomain is mapped to by at least one...

epimorphism (surjective) ⟹ epimorphism (right cancelable) ; {\displaystyle {\text{split epimorphism}}\implies {\text{epimorphism (surjective)}}\implies...

individual; the set is onto (surjective). Since both sets have the same cardinality and the sets are injective and surjective, then it follows there’s a...

injective non-surjective function (injection, not a bijection) An injective surjective function (bijection) A non-injective surjective function (surjection...

category theory, a functor F : C → D {\displaystyle F:C\to D} is essentially surjective if each object d {\displaystyle d} of D {\displaystyle D} is isomorphic...

other, and so each b in X may occur at most once in the image of f. f is surjective: for each b in X there must be at least one a in N such that f ( a ) =...

In functional analysis, a unitary operator is a surjective bounded operator on a Hilbert space that preserves the inner product. Non-trivial examples include...

categorical analogues of onto or surjective functions (and in the category of sets the concept corresponds exactly to the surjective functions), but they may...

In category theory, a point-surjective morphism is a morphism f : X → Y {\displaystyle f:X\rightarrow Y} that "behaves" like surjections on the category...

function are the same set; such a function is called surjective or onto. For any non-surjective function f : X → Y , {\displaystyle f:X\to Y,} the codomain...

given an object B {\displaystyle B} in it, if there is a weakly point-surjective morphism f {\displaystyle f} from some object A {\displaystyle A} to the...

that if a bounded or continuous linear operator between Banach spaces is surjective then it is an open map. A special case is also called the bounded inverse...

differentiable manifolds whose differential pushforward is everywhere surjective. It is a basic concept in differential topology, dual to that of an immersion...

functor is a functor that is injective on hom-sets, and a full functor is surjective on hom-sets. A functor that has both properties is called a fully faithful...

{\displaystyle f(g(y))=y} for all y ∈ Y {\displaystyle y\in Y} implies that f is surjective. The inverse function f −1 to f can be explicitly described as the function...

1 ( y ) = { x } . {\displaystyle f^{-1}(y)=\{x\}.} The function f is surjective (or onto, or is a surjection) if its range f ( X ) {\displaystyle f(X)}...

prove (1), assume that m and p are surjective and q is injective. Let c′ be an element of C′. Since p is surjective, there exists an element d in D with...

information about the ownership by Ian. While the 2nd example relation is surjective (see below), the 1st is not. Let A = { Indian , Arctic , Atlantic , Pacific...

theorem, introduced by Federer and Morse (1943), states that if f is a surjective continuous map from a compact metric space X to a compact metric space...

that has a right inverse is surjective. Thus, in concrete categories, epimorphisms are often, but not always, surjective. The condition of being a surjection...

Without loss of generality, these homomorphisms can be assumed to be surjective, in which case the finite groups will appear as quotient groups of the...

used in the picture). If we assume the axiom of choice, then a pair of surjective functions f {\displaystyle f} and g {\displaystyle g} also implies the...

analysis) (also known as the Banach–Schauder theorem), states that a surjective continuous linear transformation of a Banach space X onto a Banach space...

category equipped with an exact functor from A to A/B that is essentially surjective and has kernel B. This quotient category can be constructed as a localization...

{\displaystyle \mathbb {N} } . S {\displaystyle S} is empty or there exists a surjective function from N {\displaystyle \mathbb {N} } to S {\displaystyle S} ....

are commutative, S is a field, and f is surjective, then ker(f) is a maximal ideal of R. If f is surjective, P is prime (maximal) ideal in R and ker(f)...

mathematics, the Ax–Grothendieck theorem is a result about injectivity and surjectivity of polynomials that was proved independently by James Ax and Alexander...

morphism of algebraic groups (also known as group varieties) that is surjective and has a finite kernel. If the groups are abelian varieties, then any...

X_{j}\in {\mathfrak {g}}} . Globally, the exponential map is not necessarily surjective. Furthermore, the exponential map may not be a local diffeomorphism at...

the formal use of the properties of the diagram, such as injective or surjective maps, or exact sequences. A syllogism is constructed, for which the graphical...

represent rotations in 3-dimensional space (uniquely up to sign), there is a surjective homomorphism from SU(2) to the rotation group SO(3) whose kernel is {+I...

product space B × F {\displaystyle B\times F} is defined using a continuous surjective map, π : E → B , {\displaystyle \pi :E\to B,} that in small regions of...

curve to be discovered, by Giuseppe Peano in 1890. Peano's curve is a surjective, continuous function from the unit interval onto the unit square, however...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

codomain so it might not coincide with it. Namely, a function that is not surjective has elements y in its codomain for which the equation f(x) = y does not...

surjective (or, onto); i.e., reaches every point in the codomain. Isomorphism A group homomorphism that is bijective; i.e., injective and surjective....

categories U → X {\displaystyle {\mathcal {U}}\to {\mathcal {X}}} which is surjective and smooth called an atlas. First of all, the fppf-topology is used because...

which set is the codomain. For example, to say that a function is onto (surjective) or not the codomain should be taken into account. The graph of a function...

product X1 × ⋯ × Xj × ⋯ × Xn to the value projj(x) = xj. This map is always surjective and, when each space Xk has a topology, this map is also continuous and...

transformations of vector spaces of equal finite dimension, either injectivity or surjectivity implies bijectivity. Let T : V → W {\displaystyle T:V\to W} be a linear...

isometrically isomorphic to a closed subset of some Banach space. An isometric surjective linear operator on a Hilbert space is called a unitary operator. Let X...

states that if a continuous linear operator between Banach spaces is surjective then it is an open map. More precisely, Open mapping theorem—If X {\displaystyle...

v ) ) {\displaystyle v\mapsto (x\mapsto f(x,v))} is injective but not surjective onto V ∗ {\displaystyle V^{*}} . For example, on the space of continuous...

{}}\bullet B=1} Essentially these axioms imply that the universe has a (non-surjective) pairing relation whose projections are A {\displaystyle A} and B {\displaystyle...

{\displaystyle X} to Y {\displaystyle Y} that is continuous, closed, surjective and such that each fiber p − 1 ( y ) {\displaystyle p^{-1}(y)} is compact...

normed space is reflexive if and only if this canonical evaluation map is surjective, in which case this (always linear) evaluation map is an isometric isomorphism...

Theorem: the arboreal representation ρ f , 0 {\displaystyle \rho _{f,0}} is surjective if and only if the span of { c 1 , … , c n } {\displaystyle \{c_{1},\ldots...

categories of topological vector spaces, all surjective linear operators are necessarily almost open. Given a surjective map f : X → Y , {\displaystyle f:X\to...

quotient for varieties or schemes. Note π {\displaystyle \pi } need not be surjective. Also, if it exists, a categorical quotient is unique up to a canonical...

be any function from S to P(S). It suffices to prove that f cannot be surjective. This means that some member T of P(S), i.e. some subset of S, is not...

{\displaystyle M} and N {\displaystyle N} are smooth manifolds, is a surjective submersion, and a proper map (in particular, this condition is always...

a projective S {\displaystyle S} -scheme X ′ {\displaystyle X'} and a surjective S {\displaystyle S} -morphism f : X ′ → X {\displaystyle f:X'\to X} that...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

Surjectivity of T − λ Injectivity of T − λ Injective and bounded below Injective but not bounded below not injective Surjective Resolvent set ρ(T) Nonexistent...

A map is injective if and only if its kernel is trivial, and a map is surjective if and only if its cokernel is trivial, or in other words, if W = im(T)...

a cylinder functor satisfying the Cylinder Axiom. Suppose there is a surjective homomorphism π : K 0 ( A ) → G {\displaystyle \pi :K_{0}(A)\to G} and...

affine scheme. We define an fppf cover of X to be a finite and jointly surjective family of morphisms (φa : Xa → X) with each Xa affine and each φa flat...

(injective) functions is always one-to-one. Similarly, the composition of onto (surjective) functions is always onto. It follows that the composition of two bijections...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

Mittag-Leffler condition is satisfied: a system in which the morphisms fij are surjective a system of finite-dimensional vector spaces or finite abelian groups...

{\displaystyle p_{1}:H\to G} and p 2 : H → G ′ {\displaystyle p_{2}:H\to G'} are surjective (i.e., H {\displaystyle H} is a subdirect product of G {\displaystyle...

prestack. If N is a normal subgroup of a group G, then there is a canonical surjective group homomorphism from G to the quotient group G / N, that sends an element...

locally a complete intersection. The syntomic topology is generated by surjective syntomic morphisms of affine schemes. Fontaine, Jean-Marc; Messing, William...

projective modules: a module P is projective if and only if for every surjective module homomorphism f : N ↠ M and every module homomorphism g : P → M...

In algebra, a flat cover of a module M over a ring is a surjective homomorphism from a flat module F to M that is in some sense minimal. Any module over...

half-plane to itself or a real constant, but is not necessarily injective or surjective. Functions with this property are sometimes also known as Herglotz, Pick...

if its diagonal is sufficiently well behaved and if it admits an étale surjective cover by a scheme (an atlas). Pierre Deligne and David Mumford introduced...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

every member in the output set, it is called surjective. If a function is both injective and surjective, it is called bijective or a one-to-one correspondence...

X\}} , we say that it is a surjective family or that the morphisms u α {\displaystyle u_{\alpha }} are jointly surjective if ∪ u α ( V α ) = X {\displaystyle...

subgroup in G {\displaystyle G} and φ {\displaystyle \varphi } the natural surjective homomorphism G → G / N {\displaystyle G\rightarrow G/N} (where G / N {\displaystyle...

{G} (k)\to \mathrm {G} (k)/\mathrm {H} (k)} may not be surjective (the defect of surjectivity is measured by Galois cohomology). Similarly to the Lie...

reduced then this map is surjective. Kleiman found an example of a non-reduced and non-projective X for which this map is not surjective as follows. Take Hironaka's...

and surjective. In particular, a morphism of locally of finite type is a universal homeomorphism if and only if it is finite, radicial and surjective. For...

assignment is onto and compatible with composition, and therefore becomes a surjective group homomorphism Bn → Sn from the braid group onto the symmetric group...

{\displaystyle f} is surjective, we conclude that no map from A {\displaystyle A} to P ( A ) {\displaystyle {\mathcal {P}}(A)} is surjective. However, there...

is the identity automorphism, meaning the group is centerless, while surjectivity implies it has no outer automorphisms. As an example, all the symmetric...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

injective cellular automaton with the group elements as its cells is also surjective. Surjunctive groups were introduced by Gottschalk (1973). It is unknown...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

if the trace Tr : B → A {\displaystyle \operatorname {Tr} :B\to A} is surjective. The more detailed analysis of ramification in number fields can be carried...

nondiscrete valuation of rank 1, such that the Frobenius endomorphism Φ is surjective on K°/p where K° denotes the ring of power-bounded elements. Perfectoid...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

injective function between two finite sets of the same cardinality is also a surjective function (a surjection). Similarly, any surjection between two finite...

curve C, over Q is called a modular curve if for some n there exists a surjective morphism φ : X0(n) → C, given by a rational map with integer coefficients...

projective, whose first map A → B is injective, and whose second map B → C is surjective. Equivalently, a monad is a projective object together with a 3-step filtration...

{\displaystyle \,\sim \,} on X {\displaystyle X} is the equivalence kernel of its surjective projection π : X → X / ∼ . {\displaystyle \pi :X\to X/\sim .} Conversely...

predecessors. It provides an example of a cellular automaton that is surjective (each configuration has a predecessor) but not injective (it has sets...

injective, surjective, or bijective when the function given by the restriction of the partial function to its domain of definition is injective, surjective, or...

R. What is true is: M is finitely generated if and only if there is a surjective R-linear map: R n → M {\displaystyle R^{n}\to M} for some n; in other...

numbers. Every reflexive relation is serial: for a given x, choose y = x. Surjective (also called right-total or onto) For all y ∈ X, there exists an x ∈ X...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

semigroup if and only if D(A) is dense in X, A is dissipative, and A − λ0I is surjective for some λ0> 0, where I denotes the identity operator. An operator satisfying...

objects a , b {\displaystyle a,b} . f {\displaystyle f} is essentially surjective if for each object y {\displaystyle y} in Y {\displaystyle Y} , there...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

equal M. Fix such an x. The statement that xR = M is equivalent to the surjectivity of the homomorphism R → M that sends r to xr. The kernel of this homomorphism...

Y} is a quotient map (sometimes called an identification map) if it is surjective and Y {\displaystyle Y} is equipped with the final topology induced by...

manifolds, a fibered manifold is a surjective submersion π : E → B {\displaystyle \pi :E\to B\,} that is, a surjective differentiable mapping such that...

injective. By an identical argument we will show f {\displaystyle f} is also surjective; since f ( ( ρ V ( g ) ) ( x ) ) = ( ρ W ( g ) ) ( f ( x ) ) {\displaystyle...

Polynomial Rational Algebraic Analytic Smooth Continuous Measurable Injective Surjective Bijective Constructions Restriction Composition λ Inverse Generalizations...

f {\displaystyle G/\ker f} . In particular, if f {\displaystyle f} is surjective then H {\displaystyle H} is isomorphic to G / ker ⁡ f {\displaystyle G/\ker...

which are injective but not surjective. Any such map can be extended to a field homomorphism Q(S) → Q(S) which is not surjective. Such a field homomorphism...

over R and the mapping f : V → W {\displaystyle f\colon V\to W} is a surjective isometry, then f {\displaystyle f} is affine. It was proved by Stanisław...

element of X not included in it. That is, X is nonempty and there is no surjective function from the natural numbers to X. The cardinality of X is neither...

on X {\displaystyle X} is clearly an injective function as well as a surjective function (its codomain is also its range), so it is bijective. The identity...

ZF) conditions: there is a function A → A that is surjective but not injective; there is a surjective function A → A ∪ {A}; it is weakly Dedekind-infinite...

subspaces of V. So V(K2) = K2. In other words, V restricted to K2 is a surjective isometry, i.e., a unitary operator U. Furthermore, each Mi is isomorphic...

PSL(n). The problem is that a surjective map of algebraic groups such as SL(n) → PSL(n) does not necessarily induce a surjective map of the corresponding groups...

Suppose that U → X is an object of Ét(X) and that Ui → U is a jointly surjective family of étale morphisms over X. For each i, choose a section xi of F...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

{\text{Exal}}}} we need to define what a square-zero extension actually is. Given a surjective morphism of A {\displaystyle A} -algebras p : E → B {\displaystyle p:E\to...

reflexive Banach space X into its continuous dual space X∗ is automatically surjective. That is, for each continuous linear functional g ∈ X∗, there exists a...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

objects c1 and c2 of C, the map HomC(c1,c2) → HomD(Fc1,Fc2) induced by F is surjective; faithful, i.e. for any two objects c1 and c2 of C, the map HomC(c1,c2)...

elements of a set J, then J is an index set. The indexing consists of a surjective function from J onto A, and the indexed collection is typically called...

T {\displaystyle T} . An order isomorphism can be characterized as a surjective order embedding. As a consequence, any order embedding f restricts to...

Polynomial Rational Algebraic Analytic Smooth Continuous Measurable Injective Surjective Bijective Constructions Restriction Composition λ Inverse Generalizations...

takes on every real value in every interval, that is, it is an everywhere surjective function. It is thus discontinuous at every point. Conway's creation of...

theorem for a continuous linear operator that is bijective (not just surjective). Let T be such an operator. Then by continuity, the graph Γ T {\displaystyle...

groups into classical Lie groups. In low dimensions, these embeddings are surjective and determine special isomorphisms between the spin groups and more familiar...

the pushforward (differential) of F {\displaystyle \scriptstyle F} is surjective almost everywhere. Let φ : M ⟶ [ 0 , ∞ ) {\displaystyle \scriptstyle \varphi...

the inclusion map S ↪ A {\displaystyle S\hookrightarrow A} induces a surjective finite morphism of affine varieties X → A k d {\displaystyle X\to \mathbb...

that is, s(b) ∈ p−1(b). If E and B are smooth manifolds and p is smooth, surjective and in addition a submersion, then the bundle is a fibered manifold. Here...

{\displaystyle X} of finite type over a field k {\displaystyle k} has a finite surjective morphism to affine space A n {\displaystyle \mathbf {A} ^{n}} over k {\displaystyle...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

can be shown that every function can be written as the composite of a surjective function followed by an injective function. Factorization systems are...

X{\widehat {\otimes }}_{\pi }Y\to X{\widehat {\otimes }}_{\epsilon }Y} is a surjective isomorphism of TVSs; for any locally convex Hausdorff space Y , {\displaystyle...

{\displaystyle S} are surjective, then R ; S {\displaystyle R\mathbin {;} S} is surjective, which conversely implies the surjectivity of only S . {\displaystyle...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

}&\mapsto &\sum _{k\geq 1}x_{k}2^{-k}\end{array}}} both surjective, which give rise to a surjective (thus space-filling) mapping [ 0 , 1 ) → S {\displaystyle...

elements, and a function f: X → Y is known to be injective, then it is also surjective, and vice versa. A related fact is known as the pigeonhole principle,...

For example, every function may be factored into the composition of a surjective function with an injective function. Matrices possess many kinds of matrix...

check how a particular author defines this term. A continuous closed surjective function whose fibers are all compact is called a perfect map. A fiber...

E\xrightarrow {} 0} , where the multiplication by m {\displaystyle m} map is surjective since E {\displaystyle E} is divisible. Choosing an algebraic extension...

(disambiguation) Proform, which covers proadjective Adjective Injective Surjective This disambiguation page lists articles associated with the title Projective...

variety Y is often taken to be a subset Z of X×Y such that Z is finite and surjective over each component of X. Note the asymmetry in this latter definition;...

y_{k})\mapsto a_{1}y_{1}+\cdots +a_{k}y_{k}\end{cases}}} This map is surjective, since the image is a right ideal and contains 1. If it is not injective...

The map φ: G → GC is obtained by passing to the quotient. Since π is a surjective submersion, smoothness of the map πC ∘ Φ implies smoothness of φ. For...

C||L_{t}(x)||_{V}.} Then L 0 {\displaystyle L_{0}} is surjective if and only if L 1 {\displaystyle L_{1}} is surjective as well. The method of continuity is used...

also dense in C . {\displaystyle C.} The image of a dense subset under a surjective continuous function is again dense. The density of a topological space...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

ring of characteristic zero, π n {\displaystyle \pi _{n}} can be non surjective; for example, over the integers, if x and y are two linearly independent...

X}{\mathcal {R}}(H)\to \mathbb {C} \otimes {\mathcal {R}}(G)} is surjective. Indeed, this surjectivity implies that C ⊗ R ( G ) {\displaystyle \mathbb {C} \otimes...

can be used to determine whether a function is surjective or bijective: The function f is surjective (i.e., onto) if and only if its graph intersects...

f^{\#}:{\mathcal {O}}_{X}\rightarrow f_{\ast }{\mathcal {O}}_{Z}} is surjective. An example is the inclusion map Spec ⁡ ( R / I ) → Spec ⁡ ( R ) {\displaystyle...

functions coinciding with their inverses. Adjoint endomorphism Epimorphism (surjective homomorphism) Frobenius endomorphism Monomorphism (injective homomorphism)...

anti-dual space of H is surjective if and only if (H, B) is a Hilbert space, in which case the canonical map is a surjective isometry of H onto its anti-dual...

i-sphere to an n-sphere with i < n can always be deformed so that it is not surjective. Consequently, its image is contained in Sn with a point removed; this...

N.} Normality is preserved under surjective homomorphisms; that is, if G → H {\displaystyle G\to H} is a surjective group homomorphism and N {\displaystyle...

theorem was originally a conjecture of Griffiths which states that, given a surjective proper map p {\displaystyle p} from a Kähler manifold X {\displaystyle...

n {\displaystyle \triangle ^{n}} is an n-simplex, that are finite and surjective over △ n {\displaystyle \triangle ^{n}} . Geisser, Thomas (2009), On Suslin's...

x − 1 σ ( x ) {\displaystyle G\to G,\,x\mapsto x^{-1}\sigma (x)}   is surjective. Note that the kernel of this map (i.e., G = G ( F q ¯ ) → G ( F q ¯ )...

only if it is injective, and it has a right inverse if and only if it is surjective. In category theory, right inverses are also called sections, and left...

mapping from these Fuchsian equations to classes of representations is surjective. It led to several bijective correspondences known as 'Riemann–Hilbert...

groups 1 → A → H → G → 1 {\displaystyle 1\to A\to H\to G\to 1\!} the surjective homomorphism d : H → G {\displaystyle d\colon H\to G\!} together with...

map IA on A, yielding a morphism g such that gf=IA. As a result, g is a surjective morphism and hence an automorphism, and then f is necessarily the inverse...

A has rank n (in this case, we say that A has full column rank). f is surjective (or "onto") if and only if A has rank m (in this case, we say that A has...

if and only if it is injective, or equivalently, if and only if it is surjective. Here is an alternative argument for the case of an immersion: every smooth...

motions.[citation needed] More generally, the term motion is a synonym for surjective isometry in metric geometry, including elliptic geometry and hyperbolic...

with respect to the class of surjective contractions. In the category of normed vector spaces with contractions (and surjective maps as "surjections"), the...

two smooth manifolds G {\displaystyle G} and M {\displaystyle M} two surjective submersions s , t : G → M {\displaystyle s,t:G\to M} (called, respectively...

advisable to always check what definition of "open map" an author is using. A surjective map is relatively open if and only if it is strongly open; so for this...

y)\mapsto (x^{2}-y^{2},2xy).\end{cases}}} Then f {\displaystyle f} is surjective and it satisfies det D f x = 4 ( x 2 + y 2 ) ≠ 0. {\displaystyle \det...

If R = Πi∈I Ri is a product of rings, then for every i in I we have a surjective ring homomorphism pi : R → Ri which projects the product on the ith coordinate...

{\displaystyle Y} of equal cardinality, thus constituting an injective and surjective function: { ∀ x , x ′ ∈ X , f ( x ) = f ( x ′ ) ⇒ x = x ′ ∀ y ∈ Y , ∃...

noetherian scheme can be factored as X → Z → Y, where X → Z is proper, surjective, and has geometrically connected fibers, and Z → Y is finite. Chow's lemma...

topology is the finest topology on S that makes f continuous. If f is surjective, this topology is canonically identified with the quotient topology under...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

least one fixed point (we don't require the map to be bijective or even surjective); this is the case n=2 of the Brouwer fixed-point theorem. The statement...

\end{aligned}}} which consists in "forgetting" the indices. This map is always surjective; it is bijective if and only if the ⁠ A i {\displaystyle A_{i}} ⁠ are...

characterizes when a continuous linear operator between Fréchet spaces is surjective. The importance of this theorem is related to the open mapping theorem...

by Myers and Steenrod. The first states that every distance-preserving surjective map (that is, an isometry of metric spaces) between two connected Riemannian...

f^{-1}} then is a (total) function if and only if f {\displaystyle f} is surjective. In that case, meaning if f {\displaystyle f} is bijective, f − 1 {\displaystyle...

f\colon I\twoheadrightarrow X} denotes that f {\displaystyle f} is a surjective function from I {\displaystyle I} onto X {\displaystyle X} . The surjection...

Surjective ring homomorphism with a given codomain...

associates to each element of R {\displaystyle R} its equivalence class is a surjective ring homomorphism that has the ideal as its kernel. Conversely, the kernel...

elementary matrices generate the commutator subgroup, this mapping is surjective onto the commutator subgroup. The Steinberg group is the fundamental group...

{\displaystyle S\circ \theta :E\to F_{S}} is surjective. If S ∘ θ {\displaystyle S\circ \theta } is not surjective, let F ~ {\displaystyle {\tilde {F}}} be...

X} is not a dual topology, then either Ψ {\displaystyle \Psi } is not surjective or it is ill-defined since the linear functional x ↦ ⟨ x , y ⟩ {\displaystyle...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

is invariant under surjective endomorphisms. For finite groups, surjectivity of an endomorphism implies injectivity, so a surjective endomorphism is an...

exponential function t ↦ e i t {\displaystyle t\mapsto e^{it}} is a (surjective) morphism of topological groups from the real line R {\displaystyle \mathbb...

Example monoid homomorphism x ↦ 2x from (N, +, 0) to (N, ×, 1). It is injective, but not surjective....

coefficients in f ( R ) {\displaystyle f(R)} . Put another way, there is a surjective R {\displaystyle R} -algebra homomorphism from the polynomial ring R [...

category of vector spaces to itself. If f and g are both injective or surjective, then the same is true for all above defined linear maps. In particular...

The map g can be defined by g(n, r) = n · 1S + f(r). There is a natural surjective ring homomorphism R^ → Z which sends (n, r) to n. The kernel of this homomorphism...

Hadamard quantum gate) to be polarised (which unitary transformation is a surjective isometry). In such a case the qubit can be represented by just two real...

Exactness of the row implies that β n {\displaystyle \beta _{n}^{}} is surjective, so there must be some b ∈ B n {\displaystyle b\in B_{n}} with β n ( b...

where f {\displaystyle f} is not (necessarily) surjective can be reduced down to the case of a surjective function (which is a case that was described at...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

{f}}\circ [n]=[n]\circ {\hat {f}}.} But f ^ {\displaystyle {\hat {f}}} is surjective, so we must have ϕ = [ n ] . {\displaystyle \phi =[n].} Elliptic curves...

Given compact Hausdorff spaces X and Y, suppose T : C(X) → C(Y) is a surjective linear isometry. Then there exists a homeomorphism φ : Y → X and a function...

G ) = Ω {\displaystyle f(G)=\Omega } (that is, f {\displaystyle f} is surjective), then the derivative of f {\displaystyle f} is never zero, f {\displaystyle...

not Galois, then the "correspondence" gives only an injective (but not surjective) map from { subgroups of Aut ( E / F ) } {\displaystyle \{{\text{subgroups...

f} is a monoid homomorphism. Particularly, if f {\displaystyle f} is surjective, then it is a monoid homomorphism. Two semigroups S {\displaystyle S}...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

In algebraic geometry, a contraction morphism is a surjective projective morphism f : X → Y {\displaystyle f:X\to Y} between normal projective varieties...

induced by the quotient map A → A / p {\displaystyle A\to A/p} is not surjective. Let R be a domain and f a Euclidean function on R. Then: R is a principal...

\operatorname {H} ^{*}(f^{-1}(y_{0}),\mathbb {Q} )^{\pi _{1,{\textrm {loc}}}}} is surjective, where π 1 , loc {\displaystyle \pi _{1,{\textrm {loc}}}} is the fundamental...

normal closure, so ⟨G | K⟩ = FG/K. Since the identity map is surjective, φ is also surjective, so by the First Isomorphism Theorem, ⟨G | K⟩ ≅ im(φ) = G....

{\displaystyle \mathbf {v} } ). Isometries are always continuous and injective. A surjective isometry between the normed vector spaces V {\displaystyle V} and W {\displaystyle...

finitely many of the Hawaiian earring's circles; in fact, some of them are surjective. For example, the path that on the interval [ 2 − n , 2 − n + 1 ] {\displaystyle...

shows that while every coequalizing arrow is epic, it is not necessarily surjective. Every coequalizer is an epimorphism. In a topos, every epimorphism is...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

^{m}} , the first is The derivative f ′ ( a ) {\displaystyle f'(a)} is surjective (i.e., the Jacobian matrix representing it has rank m {\displaystyle m}...

Frobenius is injective, and Taira Honda (1968) showed that this map is surjective, and therefore a bijection. Honda, Taira (1968), "Isogeny classes of abelian...

}}\quad x,y\in M_{1}.} It is a quasi-isometry if in addition it is quasi-surjective, i.e. there is a constant C ≥ 0 such that every point in M 2 {\displaystyle...

profinite sets, with the Grothendieck topology given by finite, jointly surjective collections of maps. Similarly, a condensed group, condensed ring, etc...

In general the map from the Pin group to the orthogonal group is not surjective or a universal covering space, but if the quadratic form is definite (and...

step of the automaton, and locally injective if it has no twins. It is surjective if and only if every configuration has a predecessor; that is, if and...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

target of a faithfully flat morphism. Such morphisms, that are flat and surjective, are common, one example coming from an open cover. In practice, from...

infinity, but it is not unique. Existence follows from surjectivity of the Laplace operator. Surjectivity of elliptic operators was proved by Lars Hörmander...

{D} _{4}} is an example. The first isomorphism theorem implies that any surjective homomorphism ϕ : G → H {\displaystyle \phi :G\to H} factors canonically...

p-th powers. In some important cases, for example finite fields, φ is surjective. Otherwise φ is an endomorphism but not a ring automorphism. The terminology...

abelian varieties. (That is, f {\displaystyle f} is finite-to-one and surjective.) We will construct an isogeny f ∨ : B ∨ → A ∨ {\displaystyle f^{\vee...

element of the frame.) The resulting locale is known as the "locale of surjective functions N → R {\displaystyle \mathbb {N} \to \mathbb {R} } ". The relations...

well-order. Since the collection of all ordinals such that there exists a surjective function from B {\displaystyle B} to the ordinal is a set, there exists...

cardinality of S is less than the cardinality of T, then there is no surjective function from S to T. Let q1, q2, ..., qn be positive integers. If q 1...

{\displaystyle \left(a_{1},\ldots ,a_{n}\right)} may be identified with the surjective function F   :   { 1 , … , n }   →   { a 1 , … , a n } {\displaystyle...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

of Kirwan says that if M {\displaystyle M} is compact, then the map is surjective in rational coefficients. The analogous result holds between the K-theory...

E(2) by T: O(2) ≅ {\displaystyle \cong } E(2) / T There is a "natural" surjective group homomorphism p : E(2) → E(2)/ T, sending each element g of E(2)...

}} of nonzero elements of K {\displaystyle K} . This homomorphism is surjective and its kernel is SL n ⁡ ( K ) {\displaystyle \operatorname {SL} _{n}(K)}...

{m}}:M/{\mathfrak {m}}M\to N/{\mathfrak {m}}N} is surjective, then ϕ {\displaystyle \phi } is surjective. Nakayama's lemma also has several versions in homological...

injective (a monomorphism) or surjective (an epimorphism). One answer is that f is injective (respectively surjective) if and only if the associated...

translation-invariant and continuous) stating that every injective automaton is surjective and therefore also reversible. Ceccherini-Silberstein & Coornaert (2010)...

such that G/N ≅ G Clark, Pete L. (Feb 17, 2012). "Can you always find a surjective endomorphism of groups such that it is not injective?". Math Stack Exchange...

{\displaystyle H} . It is clear also that ϕ {\displaystyle \phi } is surjective, so that H {\displaystyle H} is a central extension of G {\displaystyle...

always a surjective map on sections; this can be seen for example when M is a punctured disk in the complex plane. The exponential map is surjective on the...

Γ(U, A)/Γ(U, J) → Γ(U, A/J) for open subsets U is injective, but not surjective in general. (See sheaf cohomology.) In the context of schemes, the importance...

{\displaystyle V\to \operatorname {Der} ({\mathfrak {g}},V),v\mapsto \cdot v} is surjective, where a linear map f : g → V {\displaystyle f:{\mathfrak {g}}\to V} is...

object X is said to cover another object Y, the cover is given by some surjective and structure-preserving map f : X → Y. The precise meaning of "structure-preserving"...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

and Y are normed linear spaces and if T : X → Y is a continuous and/or surjective mapping such that whenever vectors x and y in X satisfy ‖ x − y ‖ = 1...

{C} \mathbf {P} ^{\infty })\to E^{2}(\mathbb {C} \mathbf {P} ^{1})} is surjective. An element of E 2 ( C P ∞ ) {\displaystyle E^{2}(\mathbb {C} \mathbf...

 103 Amoroso, Serafino; Patt, Yale N. (1972). "Decision Procedures for Surjectivity and Injectivity of Parallel Maps for Tessellation Structures". J. Comput...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

morphism to its equivalence class. This functor is bijective on objects and surjective on Hom-sets (i.e. it is a full functor). Every functor F : C → D {\displaystyle...

comparison map between the bounded cohomology and ordinary cohomology is surjective in all degrees, or equivalently, in degree 2. Hyperbolic groups have a...

{x_{r}}{\to }}\cdots .} Since the first x r {\displaystyle x_{r}} is surjective, N = x r N {\displaystyle N=x_{r}N} with N = H 1 ⁡ ( K ( x ′ ; M ) ) {\displaystyle...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

generated as a module over k[y].) This restricts our geometric intuition to surjective families with finite fibers. The composition of two finite morphisms is...

the universal property of C ∗ ( E ) {\displaystyle C^{*}(E)} produces a surjective ∗ {\displaystyle *} -homomorphism ϕ : C ∗ ( E ) → A {\displaystyle \phi...

a compact space to a Hausdorff space is both proper and closed. Every surjective proper map is a compact covering map. A map f : X → Y {\displaystyle f:X\to...

(There, "bijective" can equivalently be replaced with "injective" or "surjective".) The columns of A form a basis of Kn. (In this statement, "basis" can...

topology on a quotient space is a final topology, with respect to a single surjective function, namely the quotient map. The disjoint union topology is the...

of the previous section is an equivalence of categories and moreover surjective on objects. If F {\displaystyle F} is a fibred E {\displaystyle E} -category...

by φ with some vector field Y on N. For example, if the map φ is not surjective, there is no natural way to define such a pushforward outside of the image...

{\displaystyle T-\lambda I} is injective and has dense range, but is not surjective, is called the continuous spectrum of T, denoted by σ c ( T ) {\displaystyle...

valuation group Γv = v(K×), a subgroup of Γ (though v is usually assumed surjective so that Γv = Γ), the valuation ring Rv is the set (subring) of a ∈ K with...

trivial kernel, T has dense range (by the above identity.) Moreover: T is surjective if and only if there is a K > 0 {\displaystyle K>0} such that ‖ f ‖ 2...

same as the kernel of Ii→Ii+1. Let φi : Ii-1→Ki be the corresponding surjective map. Then RiF(X) is the cokernel of F(φi). If one starts with a covariant...

idealist conceptualization. This way of viewing the world is referred to as surjective, a metaphorical use of a concept found in mathematical set theory that...

exponential map is not one-to-one, but in the case of the Lorentz group, it is surjective (onto). Hence any group element in the connected component of the identity...

{\displaystyle X} into P {\displaystyle P} , is surjective. Since ϕ ′ {\displaystyle \phi '} is surjective, for any p ∈ P {\displaystyle p\in P} , one may...

so its representation theory includes that of the latter, by dint of a surjective homomorphism to it. This underlies the significance of SU(2) for the description...

{\displaystyle \pi :X\to Y} such that (i) The map π {\displaystyle \pi } is surjective, and its fibers are exactly the G-orbits in X. (ii) The topology of Y...

homomorphism from the quasi-isometry group into the quasi-Möbius group is surjective. In the other direction, it is straightforward to prove that the homomorphism...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

_{q}(X,B)} , is bijective for q < m + n − 2 {\displaystyle q<m+n-2} and is surjective for q = m + n − 2 {\displaystyle q=m+n-2} . A geometric proof is given...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

subcategory D of C such that: the inclusion of D into C is full and essentially surjective, and D is skeletal: any two isomorphic objects of D are equal. It is a...

adjoint  f ∗ being just the corestriction of c to the image of c (i.e. as a surjective mapping the closure system c(A)). The upper adjoint  f∗ is then given...

numbering could be thought of as a bijection —that is, an injective and surjective function— from a set of entities onto a set of numerals. Proving a mapping...

G ) = Ω {\displaystyle f(G)=\Omega } (that is, f {\displaystyle f} is surjective), then the derivative of f {\displaystyle f} is never zero, f {\displaystyle...

not Riemann-integrable. The Peano space-filling curve is a continuous surjective function that maps the unit interval [ 0 , 1 ] {\displaystyle [0,1]} onto...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

{\displaystyle (R_{\bullet },s)} such that R 0 → A {\displaystyle R_{0}\to A} is a surjective map of analytic algebras, and this map fits into an exact sequence ⋯ →...

information about the original morphism. But if the morphism Z → Y is flat and surjective (also called faithfully flat) and quasi-compact, then many properties...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

through the projection to Y. ("Separable" means that the derivative is surjective at some point; this would be automatic for a dominant rational map in...

{\displaystyle \mathbb {Z} \,/\,2\mathbb {Z} } ⁠). There is a "natural" surjective group homomorphism ⁠ π : G → G / N {\displaystyle \pi :G\rightarrow G\...

different parameter values can refer to the same point. Such mappings are surjective but not injective. An example is the pair of cylindrical polar coordinates...

{\textstyle W^{1,p}(\Omega )} with trace zero. The trace operator is not surjective onto L p ( ∂ Ω ) {\textstyle L^{p}(\partial \Omega )} if p > 1 {\textstyle...

( f ) {\displaystyle G/\ker(f)} is an immersed subgroup of H. If f is surjective, then f is a submersion and if, in addition, G is compact, then f is a...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

{\displaystyle x\mapsto y=Ax} is not bijective. If A {\displaystyle A} is not surjective, then not all y {\displaystyle y} 's in its codomain have corresponding...

function f from the disjoint union of the As to the product of the Bs is not surjective and that the product is nonempty. That the product is nonempty follows...

g\mapsto g(t^{2}-1,t^{3}-t),} which is seen to be injective (since f is surjective). Continuing the preceding example, let U = A1 − {1}. Since U is the complement...

submodule) that is flat is always projective. This can be proven by taking f surjective and K = ker ⁡ f {\displaystyle K=\ker f} in the above characterization...

is a right S-module and N a left S-module, then there is the canonical surjective homomorphism: M ⊗ R N → M ⊗ S N {\displaystyle M\otimes _{R}N\to M\otimes...

{E}})\times _{S}T.} Conversely, any such closed immersion comes from a surjective homomorphism of O T {\displaystyle O_{T}} -modules from E T {\displaystyle...

dissipative if it is dissipative and for all λ > 0 the operator λI − A is surjective, meaning that the range when applied to the domain D is the whole of the...

{\displaystyle \varphi ^{a}} is continuous. If φ {\displaystyle \varphi } is surjective, then φ a {\displaystyle \varphi ^{a}} is a homeomorphism onto its image...

say that the domain is finite, use the sentence that says that every surjective function from the domain to itself is injective. To say that the domain...

↦ e 0 ( n ) − e 1 ( n ) {\displaystyle n\mapsto e_{0}(n)-e_{1}(n)} is surjective onto the integers, so let x m {\displaystyle x_{m}} be the least integer...

anafunctor. For example, the statement "every fully faithful and essentially surjective functor is an equivalence of categories" is equivalent to the axiom of...

injective), a submersion if rank f = dim N (i.e. the derivative is everywhere surjective), a local diffeomorphism if rank f = dim M = dim N (i.e. the derivative...

monomorphisms in Meas are the injective measurable maps, the epimorphisms are the surjective measurable maps, and the isomorphisms are the isomorphisms of measurable...

being finitely generated. It has been shown that a variety which admits a surjective morphism from a Mori dream space is again a Mori dream space. Spherical...

Polynomial Rational Algebraic Analytic Smooth Continuous Measurable Injective Surjective Bijective Constructions Restriction Composition λ Inverse Generalizations...

own right. The map V → V** mentioned above is always injective. It is surjective, and therefore an isomorphism, if and only if the dimension of V is finite...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

p(\exp(iX))=\exp(i\pi (X)).} Since the left hand side is surjective (both exp and p are), the right hand side is surjective and hence exp : p g l ( 2 , C ) → PGL ( 2...

{Z} )\backslash {\mathfrak {h}}} the image of D {\displaystyle D} is surjective and its interior is injectivepg 78. Also, the points on the boundary can...

the above Sobolev norm. Restriction theorem: The restriction map ρk is surjective with ker ρk = Hk 0(Ωc). This is an immediate consequence of the extension...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

a surjective homomorphism p 1 : F 1 → X . {\displaystyle p_{1}:F_{1}\to X.} Then one finds a free module F 2 {\displaystyle F_{2}} and a surjective homomorphism...

i {\displaystyle {\mathfrak {g}}/{\mathfrak {i}}} is defined, with a surjective homomorphism g → g / i {\displaystyle {\mathfrak {g}}\to {\mathfrak {g}}/{\mathfrak...

\\\end{alignedat}}} The Riesz representation theorem states that this map is surjective (and thus bijective) when H {\displaystyle H} is complete and that its...

map d f x : T x X → T y Y {\displaystyle df_{x}:T_{x}X\to T_{y}Y} is surjective. Here, T x X {\displaystyle T_{x}X} and T y Y {\displaystyle T_{y}Y} are...

contravariant functor from the category of graded commutative rings and surjective graded maps to the category of projective schemes. Weisstein, Eric W....

F T ) : T  surjective and  dim R ⁡ F T < + ∞ } . {\displaystyle {\mathcal {A}}(E):=\left\{T\in \mathrm {Lin} (E;F_{T}):T{\mbox{ surjective and }}\dim...

{\displaystyle R\ /\ I} defined by p ( a ) = a + I {\displaystyle p(a)=a+I} is a surjective ring homomorphism, sometimes called the natural quotient map, natural...

is self-similar if there exists a finite set S indexing a set of non-surjective homeomorphisms { f s : s ∈ S } {\displaystyle \{f_{s}:s\in S\}} for which...

[B,\mathbb {C} P^{k}]\hookrightarrow [B,\mathbb {C} P^{\infty }]} is surjective, but not necessarily injective as higher cells of C P ∞ {\displaystyle...

φ(V′(K)) where V′ satisfies the same assumptions as V and φ is generically surjective from the geometer's point of view. At the level of function fields we...

theory, an injective homomorphism is also called a monomorphism and a surjective homomorphism an epimorphism. The zero map M → N that maps every element...

{\displaystyle g} cannot map onto an n-simplex; i.e., g {\displaystyle g} is not surjective and thus the image lies in a contractible subset and g {\displaystyle...

notion of depth in case A is a Frobenius algebra extension of B with surjective Frobenius homomorphism, for example A and B are complex semisimple algebras...

A-module. A morphism of schemes is called faithfully flat if it is both surjective and flat. Two basic intuitions regarding flat morphisms are: flatness...

{\displaystyle A\leq _{1}B} . If the one-one reduction f {\displaystyle f} is surjective, one says A {\displaystyle A} is recursively isomorphic to B {\displaystyle...

{\displaystyle a} . In general, the representation is neither injective nor surjective. In the case where A {\displaystyle A} has an identity element, there...

be two Riemannian manifolds and f : M → N {\displaystyle f:M\to N} a (surjective) submersion, i.e., a fibered manifold. The horizontal distribution k e...

Suppose also that the Fréchet derivative Dg(u0) : X → Y of g at u0 is a surjective linear map. Then there exists a Lagrange multiplier λ : Y → R in Y∗, the...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

{\displaystyle \phi } is the composition of ψ {\displaystyle \psi } with the surjective map M → N). Group cohomology depends contravariantly on the group G, in...

{\tilde {X}}} is non-empty), it can be shown that π {\displaystyle \pi } is surjective, and the cardinality of D x {\displaystyle D_{x}} is the same for all...

In algebra, the congruence ideal of a surjective ring homomorphism f : B → C of commutative rings is the image under f of the annihilator of the kernel...

element of G lies in some maximal torus; thus, the exponential map for G is surjective. If G has dimension n and rank r then n − r is even. If T is a maximal...

⊂ X × Y {\displaystyle W\subset X\times Y} which is finite over X and surjective over a component of Y a prime correspondence from X to Y. Then, we can...

subject, subjection, subjective, subjectivity, subjicible, surjection, surjective, traject, trajectile, trajection, trajectory, trijet janu- door Latin...

{\displaystyle F=(\omega +dd'\varphi )^{m}/\omega ^{m}} is neither injective nor surjective. It is not injective because adding a constant to φ {\displaystyle \varphi...

{\displaystyle \varphi } is not surjective. (See L p {\displaystyle L^{p}} space). If φ {\displaystyle \varphi } is surjective, then X {\displaystyle X} is...

u\circ {}^{\text{t}}\!v} If u : X → Y {\displaystyle u:X\to Y} is a (surjective) vector space isomorphism then so is the transpose ⁠ t u : Y ′ → X ′ {\displaystyle...

sequence in sheaf cohomology allows one to show that some surjective maps of sheaves induce surjective maps on sections; specifically, these are the maps whose...

{\displaystyle Y} if and only if f : D → Y {\displaystyle f:D\to Y} is surjective. We review the basic notions related to the general theory of complete...

neighborhood U {\displaystyle U} in X {\displaystyle X} such that there is a surjective morphism O X n | U → F | U {\displaystyle {\mathcal {O}}_{X}^{n}|_{U}\to...

affine scheme Spec A is separated, because the diagonal corresponds to the surjective map of rings (hence is a closed immersion of schemes): A ⊗ Z A → A , a...

Chinese remainder theorem) implies that π n {\displaystyle \pi _{n}} is surjective, so that the quotient Γ / Γ ( n ) {\displaystyle \Gamma /\Gamma (n)} is...

{\displaystyle f_{i}\in L^{1}\left(\mathbb {R} ^{n_{i}};[0,+\infty ]\right)} and surjective linear maps B i : R n → R n i . {\displaystyle B_{i}:\mathbb {R} ^{n}\to...

consist of a k-algebra homomorphism R → R ′ {\displaystyle R\to R'} and a surjective map S → S ′ {\displaystyle S\to S'} that commutes with μ {\displaystyle...

is an injective group homomorphism then φ {\displaystyle \varphi } is surjective, that is φ ( G ) = G {\displaystyle \varphi (G)=G} . Every finite group...

for each pair of objects x , y {\displaystyle x,y} , and essentially surjective, meaning for each object y in D, y ≃ F ( x ) {\displaystyle y\simeq F(x)}...

its localizations is an epimorphism which is not necessarily surjective. The surjective homomorphisms can be characterized as the regular or extremal...

\operatorname {Hol} (\nabla )} may still be nontrivial. There is a natural, surjective group homomorphism π 1 ( M ) → Hol ⁡ ( ∇ ) / Hol 0 ⁡ ( ∇ ) , {\displaystyle...

definition of connected (also called total by some authors).[citation needed] Surjective (also called right-total) for all y ∈ Y, there exists an x ∈ X such that...

each f i : Y → K {\displaystyle f_{i}:Y\to \mathbf {K} } is a continuous surjective linear functional. By the Hahn–Banach theorem, we may extend each f i...

may be replaced by requiring that L λ {\displaystyle L_{\lambda }} be surjective. The resolvent set ρ ( L ) ⊆ C {\displaystyle \rho (L)\subseteq \mathbb...

lies in H1,1(X). The theorem says that the map to H2(X, Z) ∩ H1,1(X) is surjective. In the special case where X is a projective variety, holomorphic line...

to identify J 0(π) with E. The functions πr,k, πr,0 and πr are smooth surjective submersions. A coordinate system on E will generate a coordinate system...

projectivization of V; i.e., it parametrizes lines in V. There is a canonical surjective map π : V ∖ { 0 } → P ( V ) {\displaystyle \pi :V\setminus \{0\}\to \mathbb...

(d_{2},e_{2})=(d_{1}^{e_{2}}d_{2}^{e_{1}},e_{1}e_{2})} . Then there is a surjective ring homomorphism from W(K) to this obtained by mapping a class to discriminant...

h1)) = α(k−1, α(k, h2)) = h2. This establishes injectivity, and for surjectivity, use h = α(k, α(k−1,h)).) More concisely, the first three properties...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

S=A[x_{0},\ldots ,x_{n}]} and e i = 1 {\displaystyle e_{i}=1} in degree 1, surjective in degrees ≥ 1 {\displaystyle \geq 1} , and checking that locally on the...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

invariant to all closed oriented 3-manifolds. A Casson invariant is a surjective map λ from oriented integral homology 3-spheres to Z satisfying the following...

homology is an isomorphism for k < n − 1 {\displaystyle k<n-1} and is surjective for k = n − 1 {\displaystyle k=n-1} . The natural map H k ( X , Z ) →...

mapping theorem or the closed graph theorem due to Kuratowski: a continuous surjective homomorphism of a Polish group G onto another Polish group H is an open...

function's codomain is the image of at most one element of its domain. Surjective function: has a preimage for every element of the codomain, that is, the...

identity element for function composition. The epimorphisms in Set are the surjective maps, the monomorphisms are the injective maps, and the isomorphisms are...

of the ∂ ¯ j , J {\displaystyle {\bar {\partial }}_{j,J}} operator is surjective, they must actually be computed with respect to a specific, chosen J....

nilpotent ideal, X ( T ) → X ( T 0 ) {\displaystyle X(T)\to X(T_{0})} is surjective where we wrote X ( T ) = Hom S ⁡ ( T , X ) {\displaystyle X(T)=\operatorname...

one-dimensional spaces to two-dimensional spaces: Space-filling curves are surjective continuous functions from one-dimensional spaces to two-dimensional spaces...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

continuous homomorphism γ : F → H such that φ = f γ. If the solution is surjective, it is called a proper solution. Finite embedding problems characterize...

because the exponential map from the Lie algebra to the group is not surjective. The characteristic polynomial of a real Hamiltonian matrix is even. Thus...

classes of degree zero to the Jacobian. Jacobi proved that this map is also surjective (known as Jacobi inversion problem), so the two groups are naturally isomorphic...

{\displaystyle B\subseteq f(X);} for instance, if f {\displaystyle f} is surjective) f − 1 ( f ( A ) ) ⊇ A {\displaystyle f^{-1}(f(A))\supseteq A} (equal...

frame (position, velocity, rotation) must be a unitary operator, or a surjective operator which preserves the inner product, which can be viewed as an...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

isomorphisms are the isometries, i.e. metric maps which are injective, surjective, and distance-preserving. As an example, the inclusion of the rational...

meridian of the tubular neighbourhood, and back to the basepoint. By surjectivity of the representation these generators must map to reflections of a regular...

elliptic surface is a surface equipped with an elliptic fibration (a surjective holomorphic map to a curve B such that all but finitely many fibers are...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

organized by crystal system or lattice type, and by their point groups The surjective mapping from a layer group to a wallpaper group (plane group) can be obtained...

construct the extension. The map from the Weil group to the Galois group is surjective, and its kernel is the connected component of the identity of the Weil...

^{2}=\partial \mathbb {H} ^{3}} . Moreover, in this case, the map j is surjective, so that it provides a continuous onto function from the circle onto the...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

S_{4}} that appears as a Galois group. In fact, it is the kernel of a surjective group homomorphism from S 4 {\displaystyle S_{4}} to S 3 {\displaystyle...

are called sober. Conversely, for a locale L, φ: L → Ω(pt(L)) is always surjective. It is additionally injective if and only if any two elements a and b...

\mathbb {C} ^{n}} are surjective (indeed, it can even be shown that its inverse will also be a polynomial). In fact, the surjectivity conclusion remains...

partial computable functions. A numbering of a set S {\displaystyle S} is a surjective partial function from N {\displaystyle \mathbb {N} } to S (Ershov 1999:477)...

operator on a Banach space X {\displaystyle X} , which is injective, not surjective, but whose image is dense in X {\displaystyle X} , is a left topological...

set P I ( { X i } , Y ) , {\displaystyle P_{I}(\{X_{i}\},Y),} For each surjective map J → I {\displaystyle J\to I} between finite sets, finite sets of objects...

{\displaystyle f\mapsto {\hat {f}}} is injective. Since this mapping is clearly surjective, it is bijective and thus an algebra isomorphism of A and B. Let k be...

map S : W → V such that ST is the identity map on V. T is said to be surjective or an epimorphism if any of the following equivalent conditions are true:...

(X, τ1) → (X, τ2) is a relatively open map. (The identity map idX is surjective and therefore it is strongly open if and only if it is relatively open...

the image f ( G ), but they need not commute with all of H unless f is surjective. Thus the center mapping G → Z ( G ) {\displaystyle G\to Z(G)} is not...

categories of rings and semigroups are examples of categories with non-surjective epimorphism, and the Zig-zag theorem gives necessary and sufficient conditions...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

function) with a non-empty domain is a section, and every epimorphism (surjective function) is a retraction; the latter statement is equivalent to the axiom...

it as an element of C {\displaystyle C} . Since g {\displaystyle g} is surjective, there exists y {\displaystyle y} in B {\displaystyle B} with g ( y )...

{\displaystyle V} is a semi-reflexive space if and only if this map is surjective. The f : X → V {\displaystyle f:X\to V} is Pettis integrable if and only...

→ ( M , π ) {\displaystyle \phi :(P,\omega )\to (M,\pi )} which is a surjective submersion. Roughly speaking, the role of a symplectic realisation is...

Let G1 and G2 be two finitely presented groups. Suppose there exists a surjective homomorphism ϕ : F → G 1 ∗ G 2 {\displaystyle \phi :F\rightarrow G_{1}\ast...

\mathbf {Top} } are the injective continuous maps, the epimorphisms are the surjective continuous maps, and the isomorphisms are the homeomorphisms. The extremal...

underlying site consists of finite étale covers, which are finite flat surjective morphisms X → S {\displaystyle X\to S} such that the fiber over every...

the quotient set of X {\displaystyle X} by R {\displaystyle R} ). The surjective map x ↦ [ x ] {\displaystyle x\mapsto [x]} from X {\displaystyle X} onto...

emulators, a generalization of planar covers that maps graph neighborhoods surjectively rather than bijectively. The graphs with planar emulators, like those...

map of surfaces π : S ′ → S {\displaystyle \pi \colon S'\to S} that is surjective and of degree N {\displaystyle N} , we have the formula χ ( S ′ ) = N...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

The map from S3 onto SO(3) that identifies antipodal points of S3 is a surjective homomorphism of Lie groups, with kernel {±1}. Topologically, this map...

heat kernel fully characterizes a surface up to an isometry: For any surjective map T : M → N {\displaystyle T:M\rightarrow N} between two Riemannian...

(this definition is motivated by a descent theorem of Grothendieck for surjective étale maps of affine schemes). With these definitions, the algebraic spaces...

→ X {\displaystyle S:M\times N\to X} is a TVS-isomorphism (that is, a surjective linear homeomorphism). X {\displaystyle X} is the algebraic direct sum...

{\displaystyle K^{\times }} . This implies that N L / K {\displaystyle N_{L/K}} is surjective, and therefore H 2 ( L / K ) {\displaystyle H^{2}(L/K)} is trivial. Let...

endomorphism sends x ↦ x p {\displaystyle x\mapsto x^{p}} and therefore is not surjective. Equivalently, one can show that the polynomial f ( x ) = x p − t {\displaystyle...

H^{0}(M,{\mathcal {N}})\to H^{0}(M,{\mathcal {N}}/{\mathcal {I}})} is surjective. However H 1 ( M , N ) ≠ 0 ,   if   dim ⁡ ( M ) > 0 , {\displaystyle H^{1}(M...

representation theorem states that the map from H to H* defined by u ↦ φu is surjective, which makes this map an isometric antilinear isomorphism. So to every...

. { 0 → R } ⊥ r {\displaystyle \{0\to R\}^{\perp r}} is the class of surjective module homomorphisms. { R → 0 } ⊥ r {\displaystyle \{R\to 0\}^{\perp r}}...

X , T ) {\displaystyle \textstyle (X,T)} if there exists a continuous surjective mapping φ : X → Y {\displaystyle \textstyle \varphi :X\rightarrow Y} which...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

) ≤ f ( y ) ) {\displaystyle f(x)\leq f(y))} and order isomorphisms (surjective order embeddings). In the context of search algorithms monotonicity (also...

fiber-preserving, and f is the induced map on the space of fibers of E: since πE is surjective, f is uniquely determined by φ {\displaystyle \varphi } . For a given...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

r_{U\subseteq V}:\Gamma (V,{\mathcal {F}})\to \Gamma (U,{\mathcal {F}})} is surjective, as a map of groups (rings, modules, etc.). Flasque sheaves are useful...

since the exponential map of a connected compact Lie group is always surjective, it turns out that every orthogonal matrix with unit determinant can be...

consists of the same finite number of elements, and the map is necessarily surjective. Specifically, ƒ (namely multiplication by a) must map some element x...

to the codomain { 0 , 1 } . {\displaystyle \{0,\,1\}.} This mapping is surjective only when A is a non-empty proper subset of X. If A = X , {\displaystyle...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

locally convex space is continuous. Open Mapping Theorem—Any continuous surjective linear map from a webbed locally convex space onto an inductive limit...

Polynomial Rational Algebraic Analytic Smooth Continuous Measurable Injective Surjective Bijective Constructions Restriction Composition λ Inverse Generalizations...

there is an equivalence between them. essentially surjective A functor F is called essentially surjective (or isomorphism-dense) if for every object B there...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

a. A contraction of a normal projective variety X over a field k is a surjective morphism f : X → Y {\displaystyle f\colon X\to Y} with Y a normal projective...

double-sidedly as R M R − 1 . {\displaystyle RMR^{-1}.} This action gives a surjective homomorphism Spin ⁡ ( V ) → SO ⁡ ( V ) {\displaystyle \operatorname {Spin}...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

:A\to TM} (for instance, it is enough for f {\displaystyle f} to be a surjective submersion), the pullback algebroid is the unique Lie algebroid f ! A...

{\displaystyle M} itself. Thus the Gelfand transform gives an injective (but not surjective) map C k ( M ) → C 0 ( M ) {\displaystyle C^{k}(M)\to C^{0}(M)} . The...

to be surjective in this case, even though it is surjective on the whole group L. This follows because the squaring operation is not surjective in H....

operations →, ∧, ∨ (and possibly ¬) and constants 0 and 1, and f is a surjective mapping from H1 to H2 with properties 1 through 4 above. Then if H1 is...

) = v {\displaystyle T(u)=v} . In other words: T {\displaystyle T} is surjective (and so also bijective, since V {\displaystyle V} is finite-dimensional)...

of quasifibrations lies in proving the Dold-Thom theorem. A continuous surjective map of topological spaces p: E → B is called a quasifibration if it induces...

{C} }(-,Q)} carries monomorphisms in C {\displaystyle \mathbf {C} } to surjective set maps. The notion of injectivity was first formulated for abelian categories...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

[B,\mathbb {H} P^{k}]\hookrightarrow [B,\mathbb {H} P^{\infty }]} is surjective, but not necessarily injective as higher cells of H P ∞ {\displaystyle...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

In differential geometry, a fibered manifold is surjective submersion of smooth manifolds Y → X. Locally trivial fibered manifolds are fiber bundles. Therefore...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

representations have the same kernel, the map π ↦ ker(π) factors through a surjective map k : A ^ → Prim ⁡ ( A ) . {\displaystyle \operatorname {k} :{\hat {A}}\to...

the infinite-dimensional case, the canonical map is injective, but not surjective.) There is thus a complete symmetry between a finite-dimensional vector...

_{U}\colon {\mathcal {F}}(U)\rightarrow {\mathcal {G}}(U)} are not always surjective for epimorphisms of sheaves is equivalent to non-exactness of the global...

{\displaystyle M} be a manifold and π : E → M {\displaystyle \pi :E\to M} a surjective submersion, so that E {\displaystyle E} is a manifold fibred over M ....

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

descriptions of redirect targets Fundamental theorem of Hilbert spaces – On surjectivity of linear map to anti-dual Inner product space – Vector space with generalized...

to the vector line passing through it. This function is continuous and surjective. The inverse image of every point of P(V) consist of two antipodal points...

the corresponding representation is in general neither injective nor surjective. The simplest example showing that β is not in general injective is for...

{\displaystyle Y} is a set, and if f : X → Y {\displaystyle f:X\to Y} is a surjective function, then the quotient topology on Y {\displaystyle Y} is the collection...

x ↦ x G ″ {\displaystyle \varphi \colon X\to Y,\;x\mapsto x\,G''} are surjective for the respective pairs The preimages φ − 1 ( H ′ ) {\displaystyle \varphi...

functional of a finite-dimensional Hausdorff TVS is continuous. Any continuous surjective linear map L : X → Y {\displaystyle L:X\to Y} with a Hausdorff finite-dimensional...

functional. Every other linear functional (such as the ones below) is surjective (that is, its range is all of k). Indexing into a vector: The second element...

{F^{p}H^{n}(X,\mathbb {C} )}{F^{p+1}H^{n}(X,\mathbb {C} )}}} which is surjective on the primitive cohomology, denoted Prim p , n − p ( X ) {\displaystyle...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

Polynomial Rational Algebraic Analytic Smooth Continuous Measurable Injective Surjective Bijective Constructions Restriction Composition λ Inverse Generalizations...

R.C. (February 1989). "Unique normal forms for lambda calculus with surjective pairing". Information and Computation. 80 (2): 97–113. doi:10.1016/0890-5401(89)90014-X...

class group (the connected components of the homeomorphism group) is surjective onto the group GL ⁡ ( n , Z ) {\displaystyle \operatorname {GL} (n,\mathbf...

{\displaystyle m(A)>0,m(B)>0} , and equation (1), then there is a continuous surjective homomorphism ϕ : G → T {\displaystyle \phi :G\to \mathbb {T} } and there...

Q\colon {\mathcal {A}}\to {\mathcal {A}}/{\mathcal {B}}} is exact and surjective on objects. The kernel of Q {\displaystyle Q} is B {\displaystyle {\mathcal...

which has a cyclic Galois group. The fact that the Frobenius map is surjective implies that every finite field is perfect. If F is a finite field, a...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

closed subspace Z of Y, the map Q Z T {\displaystyle Q_{Z}T} fails to be surjective. Denote by S C S ( X , Y ) {\displaystyle {\mathcal {SCS}}(X,Y)} the subspace...

generated, projective C∞(M)-modules is full, faithful, and essentially surjective. Therefore the category of smooth vector bundles on M is equivalent to...

functors Conservative Derived Diagonal Equivalence of categories Essentially surjective Exact Full and faithful Isomorphism Representable Smooth Diagram Kan extension...

Ehresmann Ehresmann's fibration theorem states that a smooth, proper, surjective submersion between smooth manifolds is a locally trivial fibration. 1951...

j ∗ {\displaystyle j^{*}} must be surjective. It follows that j ∗ {\displaystyle j^{*}} must always be surjective: by the universal property of polynomial...

{\displaystyle p:\Gamma \to V_{1}\times V_{2}} be the projection. It is surjective since G {\displaystyle G} acts transitively on X. Each fiber of p is a...

PSL_{2}(k)} . Testerman also proved a variant theorem where one may take a surjective endomorphism σ {\displaystyle \sigma } that fixes u, and conclude that...

{\displaystyle X} Theorem—Let u : X → Y {\displaystyle u:X\to Y} be a surjective continuous linear map from an LF-space X {\displaystyle X} into a TVS...

restriction of f {\displaystyle f} to [ y ] ω {\displaystyle [y]^{\omega }} is surjective on x {\displaystyle x} . Here [ x ] ω {\displaystyle [x]^{\omega }} denotes...

X)\to {\text{Hom}}_{Y}(\operatorname {Spec} K,X)} is injective (resp. surjective, resp. bijective). Furthermore, in the special case when Y is (locally)...

X\to X} defined by x ↦ 1 n x {\textstyle x\mapsto {\frac {1}{n}}x} is a (surjective) homeomorphism, so the set 1 n ( n C ) = C {\textstyle {\frac {1}{n}}(nC)=C}...

a → A {\displaystyle \operatorname {exp} :{\mathfrak {a}}\to A} is a surjective morphism of complex Lie groups, showing A is of the form described. C...

{p}}{\mathfrak {p}}^{v_{\mathfrak {p}}(x_{\mathfrak {p}})}.} This gives a surjective homomorphism from the idele group to the group of fractional ideals. The...

if each linearization is only surjective, and a family of right inverses is smooth tame, then P is locally surjective with a smooth tame right inverse...

irreducible cycles is absolutely connected. Suppose that f is a proper surjective morphism of varieties from X to Y such that the function field of Y is...

extension of ( Y , S ) {\displaystyle (Y,S)} , if there exists a continuous surjective mapping φ : X → Y {\displaystyle \varphi :X\rightarrow Y} which is eqvuivariant...

\mathbb {A} ^{2}} of a G a {\displaystyle \mathbb {G} _{a}} -action is surjective. In other words, for every 0 ≠ ∂ ∈ LND ⁡ ( A ) {\displaystyle 0\neq \partial...

is an orbit). If f : X 0 → Y {\displaystyle f:X_{0}\to Y} is a smooth surjective submersion of smooth manifolds, then X 0 × Y X 0 ⊂ X 0 × X 0 {\displaystyle...

Polynomial Rational Algebraic Analytic Smooth Continuous Measurable Injective Surjective Bijective Constructions Restriction Composition λ Inverse Generalizations...

→ C {\displaystyle \mathbb {R} [X]\to \mathbb {C} } This function is surjective since every complex number can be obtained in such a way: the evaluation...

finite over k as centre has the property that the reduced norm D∗ → k∗ is surjective. Every quadratic form in 5 or more variables over k is isotropic. Artin...

compact metric spaces, and let f : X → Y {\displaystyle f:X\to Y} be surjective and continuous. Suppose that the fibers of f {\displaystyle f} are acyclic...

{\displaystyle N=\mathbb {R} } , the trace operator is onto. The proof of the surjectivity being based on an averaging argument, the result does not readily extend...

{\displaystyle C} ; that is, if and only if that map is an epimorphism (surjective, or onto). Therefore, the sequence 0 → X → Y → 0 {\displaystyle 0\to X\to...

residue field k. A small extension in C is a morphism Y→Z in C that is surjective with kernel a 1-dimensional vector space over k. A functor is called representable...

( T X ) → π 1 ( X ) {\displaystyle \pi _{1}(T_{X})\to \pi _{1}(X)} is surjective, and for every local coefficient system A {\displaystyle A} on X {\displaystyle...

{\displaystyle R} -module of sequences (though note that the ghost map is not surjective unless R {\textstyle R} is p-divisible). The ring of (p-typical) Witt...

X , T ) {\displaystyle \textstyle (X,T)} if there exists a continuous surjective mapping φ : X → Y {\displaystyle \textstyle \varphi :X\rightarrow Y} which...

subject, subjection, subjective, subjectivity, subjicible, surjection, surjective, traject, trajectile, trajection, trajectory, trijet janu- door Latin...

arrow with a barbed tail, "↣" rather than "→". Both transitions are not surjective, that is, not every B-space results from some A-space. First, a 3-dim...

{\displaystyle (n,f)} where n is a natural number and f {\displaystyle f} is a surjective map from a subset of Nn onto M such that the f {\displaystyle f} -preimage...

^{2})\subset H^{2}(X,\mathbb {C} )\cong \Lambda \otimes \mathbb {C} } . This is surjective, and a local isomorphism, but not an isomorphism (in particular because...

étale and radicial. If f : X → Y {\displaystyle f:X\to Y} is étale and surjective, then dim ⁡ X = dim ⁡ Y {\displaystyle \dim X=\dim Y} (finite or otherwise)...

indeed be greater, which means that the coordinate map is not necessary surjective. Examples of n-coordinate system in an (n−1)-dimensional space are barycentric...

{\displaystyle G} by n {\displaystyle n} generators corresponds to a surjective homomorphism from the free group on n {\displaystyle n} generators to...

p(X)\rangle } is a field. As L is generated by θ, φ {\displaystyle \varphi } is surjective, and φ {\displaystyle \varphi } induces an isomorphism from K [ X ] /...

E be a topological space, called the total space; let π : E → M be a surjective continuous map. Suppose that for each point x ∈ M, the fibre Ex = π−1(x)...

group on n {\displaystyle n} elements, S n {\displaystyle S_{n}} , has a surjective homomorphism ϵ : S n → Z 2 {\displaystyle \epsilon :S_{n}\to \mathbb {Z}...

corresponding decision problem is in Turing degree 0′′. Consequently, there is no surjective computable function from the natural numbers to the set S {\displaystyle...

{\displaystyle K/k} . A discrete valuation of K / k {\displaystyle K/k} is a surjective function v : K → Z ∪ { ∞ } {\displaystyle v:K\to \mathbb {Z} \cup \{\infty...