Help


[permalink] [id link]
+
Page "Index of a subgroup" ¶ 1
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

Formally and H
Formally, the discrete Hartley transform is a linear, invertible function H: R < sup > n </ sup > < tt >-></ tt > R < sup > n </ sup > ( where R denotes the set of real numbers ).
Formally, a Hopf algebra is a ( associative and coassociative ) bialgebra H over a field K together with a K-linear map S: HH ( called the antipode ) such that the following diagram commutes:
Formally, a rigged Hilbert space consists of a Hilbert space H, together with a subspace Φ which carries a finer topology, that is one for which the natural inclusion
Formally, a frame on a homogeneous space G / H consists of a point in the tautological bundle GG / H.
Formally, the bounded Borel functional calculus of a self adjoint operator T on Hilbert space H is a mapping defined on the space of bounded complex-valued Borel functions f on the real line,
Formally, given a G-bundle B and a map HG ( which need not be an inclusion ),

Formally and G
Informally, G has the above presentation if it is the " freest group " generated by S subject only to the relations R. Formally, the group G is said to have the above presentation if it is isomorphic to the quotient of a free group on S by the normal subgroup generated by the relations R.
Formally, given two categories C and D, an equivalence of categories consists of a functor F: C → D, a functor G: D → C, and two natural isomorphisms ε: FG → I < sub > D </ sub > and η: I < sub > C </ sub >→ GF.
Formally, a vertex cover of a graph G is a set C of vertices such that each edge of G is incident to at least one vertex in C. The set C is said to cover the edges of G. The following figure shows examples of vertex covers in two graphs ( and the set C is marked with red ).
Formally, a TDPL grammar G is a tuple consisting of the following components:
Formally, let G be a Coxeter group with reduced root system R and k < sub > v </ sub > a multiplicity function on R ( so k < sub > u </ sub > = k < sub > v </ sub > whenever the reflections σ < sub > u </ sub > and σ < sub > v </ sub > corresponding to the roots u and v are conjugate in G ).
Formally, given a graph G, a vertex labeling is a function mapping vertices of G to a set of labels.
Formally, a multigraph G is an ordered pair G :=( V, E ) with
Formally: A labeled multidigraph G is a multigraph with labeled vertices and arcs.
Formally, a signed graph Σ is a pair ( G, σ ) that consists of a graph G = ( V, E ) and a sign mapping or signature σ from E to the sign group
Formally, a biased graph Ω is a pair ( G, B ) where B is a linear class of circles ; this by definition is a class of circles that satisfies the theta-graph property mentioned above.
Formally, the upper density of a graph G is the infimum of the values α such that the finite subgraphs of G with density α have a bounded number of vertices.

Formally and is
Formally organized vocational programs supported by federal funds allow high school students to gain experience in a field of work which is likely to lead to a full-time job on graduation.
Formally, a binary operation on a set S is called associative if it satisfies the associative law:
Formally, their designation is the letter Ž and the number.
Formally, a topological space X is called compact if each of its open covers has a finite subcover.
Formally, the set of all context-free languages is identical to the set of languages accepted by pushdown automata ( PDA ).
Formally, the derivative of the function f at a is the limit
More rigorously, the divergence of a vector field F at a point p is defined as the limit of the net flow of F across the smooth boundary of a three dimensional region V divided by the volume of V as V shrinks to p. Formally,
Formally, the base is known as Naval Support Facility Diego Garcia ( the US activity ) or Permanent Joint Operating Base ( PJOB ) Diego Garcia ( the UK's term ).
Formally, there is a clear distinction: " DFT " refers to a mathematical transformation or function, regardless of how it is computed, whereas " FFT " refers to a specific family of algorithms for computing DFTs.
Formally, oxidation state is the hypothetical charge that an atom would have if all bonds to atoms of different elements were 100 % ionic.
Formally, a bifunctor is a functor whose domain is a product category.
Formally, a set S is called finite if there exists a bijection
Formally, the system is said to have memory.
Formally, an inner product space is a vector space V over the field together with an inner product, i. e., with a map
Formally, if M is a set, the identity function f on M is defined to be that function with domain and codomain M which satisfies
* Formally, when working over the reals, as here, this is accomplished by considering the limit as ε → 0 ; but the " infinitesimal " language generalizes directly to Lie groups over general rings.
Formally, a profinite group is a Hausdorff, compact, and totally disconnected topological group: that is, a topological group that is also a Stone space.
Formally, this sharing of dynamics is referred to as universality, and systems with precisely the same critical exponents are said to belong to the same universality class.
Formally, a frame is defined to be a lattice L in which finite meets distribute over arbitrary joins, i. e. every ( even infinite ) subset
Formally, Φ = kx − ωt is the phase.

Formally and defined
Formally, as per the 2002 Memorandum of Understanding between the BSI and the United Kingdom Government, British Standards are defined as:
Formally speaking, a collation method typically defines a total order on a set of possible identifiers, called sort keys, which consequently produces a total preorder on the set of items of information ( items with the same identifier are not placed in any defined order ).
Formally, these reside in a complex separable Hilbert space-variously called the " state space " or the " associated Hilbert space " of the system-that is well defined up to a complex number of norm 1 ( the phase factor ).
Formally it is defined by the equation
Limits and colimits in a category C are defined by means of diagrams in C. Formally, a diagram of type J in C is a functor from J to C:
Formally, the convex hull may be defined as the intersection of all convex sets containing X or as the set of all convex combinations of points in X.
Formally, a unique factorization domain is defined to be an integral domain R in which every non-zero and non-unit x of R can be written as a product ( including an empty product ) of irreducible elements p < sub > i </ sub > of R and a unit u:
Formally, a transductive support vector machine is defined by the following primal optimization problem:
Formally, powers with positive integer exponents may be defined by the initial condition
Formally, bending modulus is defined as the energy required to deform a membrane from its intrinsic curvature to some other curvature.
Formally, a Menger sponge can be defined as follows:
Formally, a constraint satisfaction problem is defined as a triple, where is a set of variables, is a domain of values, and is a set of constraints.
Formally, the case where only a subset of parameters is defined is still a composite hypothesis ; nonetheless, the term point hypothesis is often applied in such cases, particularly where the hypothesis test can be structured in such a way that the distribution of the test statistic ( the distribution under the null hypothesis ) does not depend on the parameters whose values have not been specified under the point null hypothesis.
Formally, the subhypergraph induced by a subset of is defined as
Formally, it is a norm defined on the space of bounded linear operators between two given normed vector spaces.
Formally, a cardinal κ is defined to be weakly compact if it is uncountable and for every function f: < sup > 2 </ sup > →
Formally, a Coxeter group can be defined as a group with the presentation
Formally, the Cantor function c: → is defined as follows:
Formally, the sets of free and bound names of a process in π – calculus are defined inductively as follows.
Formally, the mutual information of two discrete random variables X and Y can be defined as:
Formally, an absolute coequalizer of a pair in a category C is a coequalizer as defined above but with the added property that given any functor F ( Q ) together with F ( q ) is the coequalizer of F ( f ) and F ( g ) in the category D. Split coequalizers are examples of absolute coequalizers.

0.218 seconds.