Given an arbitrary group G, there is a related profinite group G < sup >^</ sup >, the profinite completion of G. It is defined as the inverse limit of the groups G / N, where N runs through the normal subgroups in G of finite index ( these normal subgroups are partially ordered by inclusion, which translates into an inverse system of natural homomorphisms between the quotients ).

Given unlimited resources, a classical computer can simulate an arbitrary quantum algorithm so quantum computation does not violate the Church – Turing thesis.

Given an arbitrary topological space ( X, τ ) there is a universal way of associating a completely regular space with ( X, τ ).

Given that hearing impairments can vary by frequency and that audiograms are plotted with a logarithmic scale, the idea of a percentage of hearing loss is somewhat arbitrary, but where decibels of loss are converted via a recognized legal formula, it is possible to calculate a standardized " percentage of hearing loss " which is suitable for legal purposes only.

Given a set of points in the Euclidean plane, selecting any one of them to be called 0 and another to be called 1, together with an arbitrary choice of orientation allows us to consider the points as a set of complex numbers.

Given an inertial frame of reference and an arbitrary epoch ( a specified point in time ), exactly six parameters are necessary to unambiguously define an arbitrary and unperturbed orbit.

Given Bluestein's algorithm, such a transform can be used, for example, to obtain a more finely spaced interpolation of some portion of the spectrum ( although the frequency resolution is still limited by the total sampling time ), enhance arbitrary poles in transfer-function analyses, etcetera.

Given an arbitrary ( n ; m ; p ) machine S, such that every two of its states are distinguishable from one another, then there exists an experiment of length

Given an arbitrary category C, a representation of G in the category C is a functor from G to C. Such a functor selects an object of C and a subgroup of automorphisms of that object.

Given an arbitrary series

Given one representation, another may be obtained by an arbitrary unitary transformation, since that leaves the commutator unchanged.

Given an arbitrary window in a spatial file manager, it must be possible to determine with complete certainty which folder that window represents.

Given the precision of Brown's calculations, it must have come as a great disappointment to have to introduce this arbitrary adjustment.

Given an arbitrary direction z ( usually determined by an external magnetic field ) the spin z-projection is given by

Given an arbitrary square matrix, the elementary divisors used in the construction of the Jordan normal form do not exist over F, so the invariant factors a < sub > i </ sub >( x ) as given above must be used instead.

Given an arbitrary point on a torus, four circles can be drawn through it.

Given arbitrary complex numbers A, B, C, D such that AD − BC ≠ 0, define the quantities

Given an arbitrary Riemannian metric g on an almost complex manifold M one can construct a new metric g ′ compatible with the almost complex structure J in an obvious manner:

Given any Euclidean triangle ABC and an arbitrary point P let d ( P ) = PA + PB + PC.

Given the metric η, we can ignore the covariant and contravariant distinction for T.

Given a functor F: J → C ( thought of as an object in C < sup > J </ sup >), the limit of F, if it exists, is nothing but a terminal morphism from Δ to F. Dually, the colimit of F is an initial morphism from F to Δ.

Given a functor U and an object X as above, there may or may not exist an initial morphism from X to U. If, however, an initial morphism ( A, φ ) does exist then it is essentially unique.

Given an object X, a functor G ( taking for simplicity the first functor to be the identity ) and an isomorphism proof of unnaturality is most easily shown by giving an automorphism that does not commute with this isomorphism ( so ).

Given a concrete category ( C, U ) and a cardinal number N, let U < sup > N </ sup > be the functor C → Set determined by U < sup > N </ sup >( c ) = ( U ( c ))< sup > N </ sup >.

Given a subcategory S of C the inclusion functor I: S → C is both faithful and injective on objects.

Given any finite flat commutative group scheme G over S, its Cartier dual is the group of characters, defined as the functor that takes any S-scheme T to the abelian group of group scheme homomorphisms from the base change G < sub > T </ sub > to G < sub > m, T </ sub > and any map of S-schemes to the canonical map of character groups.

Given a continuous map there is a map defined by This makes into a functor from the category of topological spaces into itself.

Given a group G, a factor group G / N is abelian if and only if ≤ N.

* Given a partition of A, G is a transformation group under composition, whose orbits are the cells of the partition ‡;

* Given a transformation group G over A, there exists an equivalence relation ~ over A, whose equivalence classes are the orbits of G.

Given two groups G and H and a group homomorphism f: G → H, let K be a normal subgroup in G and φ the natural surjective homomorphism G → G / K ( where G / K is a quotient group ).

Given two groups (< var > G </ var >, *) and (< var > H </ var >, ), a group isomorphism from (< var > G </ var >, *) to (< var > H </ var >, ) is a bijective group homomorphism from < var > G </ var > to < var > H </ var >.

Given a groupoid in the category-theoretic sense, let G be the disjoint union of all of the sets G ( x, y ) ( i. e. the sets of morphisms from x to y ).

Given f ∈ G ( x * x < sup >- 1 </ sup >, y * y < sup >-1 </ sup >) and g ∈ G ( y * y < sup >-1 </ sup >, z * z < sup >-1 </ sup >), their composite is defined as g * f ∈ G ( x * x < sup >-1 </ sup >, z * z < sup >-1 </ sup >).

Given a groupoid G, the vertex groups or isotropy groups or object groups in G are the subsets of the form G ( x, x ), where x is any object of G. It follows easily from the axioms above that these are indeed groups, as every pair of elements is composable and inverses are in the same vertex group.

Given a topological space X, let G < sub > 0 </ sub > be the set X.

Given the absolute magnitude, for objects within our galaxy you can also calculate the apparent magnitude from any distance ( in parsecs ):

Given the absolute magnitude, you can also compute apparent magnitude from its parallax:

Given any element x of X, there is a function f < sup > x </ sup >, or f ( x ,·), from Y to Z, given by f < sup > x </ sup >( y ) := f ( x, y ).

Given BASIC's straightforward nature, it was a simple matter to type in the code from the magazine and execute the program.

Love and Erlandson continued to pursue with the band, and released the single " Be A Man "— an outtake from the Celebrity Skin sessions — for the soundtrack of the Oliver Stone film Any Given Sunday ( 1999 ).

Given r, the rate of rotation is easy to infer from the constant angular momentum L, so a 2D solution can be easily reconstructed from a 1D solution of this equation.

Given two manifolds M and N, a bijective map f from M to N is called a diffeomorphism if both

Given the similarities between the rep proteins of the alphasatellites and the nanoviruses, it is likely that the alphasatellites evolved from the nanoviruses.

) Given a smooth Φ < sup > t </ sup >, an autonomous vector field can be derived from it.

Given that the vast majority of all emeralds are treated as described above, and the fact that two stones that appear visually similar may actually be quite far apart in treatment level and therefore in value, a consumer considering a purchase of an expensive emerald is well advised to insist upon a treatment report from a reputable gemological laboratory.

Given that genes are universal to living organisms, genetics can be applied to the study of all living systems, from viruses and bacteria, through plants and domestic animals, to humans ( as in medical genetics ).

: Given a point ( in terms of its coordinates ) and the direction ( azimuth ) and distance from that point to a second point, determine ( the coordinates of ) that second point.

On poverty, Hoover said that " Given the chance to go forward with the policies of the last eight years, we shall soon with the help of God, be in sight of the day when poverty will be banished from this nation ", and promised, " We in America today are nearer to the final triumph over poverty than ever before in the history of any land ," but within months, the Stock Market Crash of 1929 occurred, and the world's economy spiraled downward into the Great Depression.

Given the Greek fleet's unpreparedness resulting from the premature outbreak of the war, such an early Ottoman attack might well have been able to achieve a crucial victory.

Given MLB's refusal to consider expansion, Kirksey, Cullinan, Smith, and Hofheinz joined forces with would-be owners from other cities and announced the formation of a new league to compete with the established National and American Leagues.

Given the opportunity to get away from the Sultan and visit new lands, he readily accepted.

Given earlier debates by Christian authors about the existence of Jesus, e. g. in Justin Martyr's 2nd century Dialogue with Trypho, it would have been expected that the passage from Josephus would have been used as a component of the arguments.

Given significant distance from the magnetic poles, one can figure which hand is which using a magnetic compass and the sun.

Given printing practices at the time ( which included type-setting from dictation ), no two editions turned out to be identical, and it is relatively rare to find even two copies that are exactly the same.

Given a year to complete the work, Gibson undertook the actual writing out of " blind animal terror " at the obligation to write an entire novel – a feat which he felt he was " four or five years away from ".