[permalink] [id link]
Formally, a profinite group is a Hausdorff, compact, and totally disconnected topological group: that is, a topological group that is also a Stone space.
Some Related Sentences
Formally and group
Formally, this means symmetry under a sub-group of the Euclidean group of isometries in two or three dimensional Euclidean space.
Formally, collective noun forms such as “ a group of people ” are represented by second-order variables, or by first-order variables standing for sets ( which are well-defined objects in mathematics and logic ).
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, a ring is an Abelian group ( R, +), together with a second binary operation * such that for all a, b and c in R,
* Blades ( hip-hop group ) ( Formally Blades Of Hades ), Australian hip hop group from Newcastle, New South Wales
Formally, a frieze group is a class of infinite discrete symmetry groups for patterns on a strip ( infinitely wide rectangle ), hence a class of groups of isometries of the plane, or of a strip.
Formally, the group was called Studiengesellschaft für Geistesurgeschichte ‚ Deutsches Ahnenerbe e. V.
Formally, the Mahalanobis distance of a multivariate vector from a group of values with mean and covariance matrix is defined as:
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, define the set of lines in the plane P as L ( P ); then a rigid motion of the plane takes lines to lines – the group of rigid motions acts on the set of lines – and one may ask which lines are unchanged by an action.
Formally Roman Kalyn is now the only member of the group, but de-facto GreenJolly exists in name only.
Formally, a redistribution of all agents ’ initial endowments of goods among all agents in the system is a core allocation if no group of agents can redistribute their own initial endowments among themselves so as to improve the satisfaction of someone in the group without impairing that of any other in the group.
Formally, this meant that the whole peloton finished out of time limits, but the referees understandably used a rule saying that they could give clemency to any group of more than 20 % of the stage's starting riders, officially citing the weather conditions as their reason to do so.
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 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, the set of all context-free languages is identical to the set of languages accepted by pushdown automata ( PDA ).
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, 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, 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 and compact
Formally, a cardinal κ is defined to be weakly compact if it is uncountable and for every function f: < sup > 2 </ sup > →
Formally and topological
Formally, a ringed space ( X, O < sub > X </ sub >) is a topological space X together with a sheaf of rings O < sub > X </ sub > on X.
Formally and also
Formally the " head of state " can also personally be the " head of government " ( ex officio or by ad hoc cumulation such as an absolute monarch nominating himself ) but otherwise has formal precedence over the Head of Government and other ministers, whether he is their actual political superior ( absolute monarch, executive president ) or rather theoretical or ceremonial in character.
Formally, Minkowski space is a four-dimensional real vector space equipped with a nondegenerate, symmetric bilinear form with signature < tt >(−,+,+,+)</ tt > ( Some may also prefer the alternative signature < tt >(+,−,−,−)</ tt >; in general, mathematicians and general relativists prefer the former while particle physicists tend to use the latter.
Formally, this means that, for some function f, the image f ( D ) of a directed set D ( i. e. the set of the images of each element of D ) is again directed and has as a least upper bound the image of the least upper bound of D. One could also say that f preserves directed suprema.
Formally, an ultrametric space is a set of points with an associated distance function ( also called a metric )
Formally, however, the role also carries the title of " Klingon supreme commander " ( TNG's " Reunion "), which presumably means commander-in-chief of the military.
Dick Smith Electronics has also long been known for its " home brand " range of electronics which fall under the brand name " Dick Smith " ( Formally called DSE, a commonly used abbreviation of Dick Smith Electronics ).
Formally, he is also chief of staff of the air force and navy as well, but apparently the commanders of the other two services frequently report directly to the Minister of Defence / Commander-in-Chief.
Formally the Airframe Reconditioning Squadron RNZAF, the unit was commercialised in 1998 and is now managed by SAFE Air Ltd. No. 1 Repair Depot was also active at the base for a number of years, though during the war it appears to have been stationed at Hamilton.
Formally ( see quote from Lewis, below ), it can also occur between nonallelic regions of the genome as well as regions of the genome that are not transcribed.