Search Results for ""

A requirement necessary for a given statement or theorem to hold. Also called a criterion.

A basepoint is the beginning and ending point of a loop. The fundamental group of a topological space is always with respect to a particular choice of basepoint.

Let N be a nilpotent, connected, simply connected Lie group, and let D be a discrete subgroup of N with compact right quotient space. Then N/D is called a nilmanifold.

A formal mathematical theory which introduces "components at infinity" by defining a new type of divisor class group of integers of a number field. The divisor class group is ...

Arrow's paradox, also called Arrow's impossibility theorem or the general possibility theorem, states that perfect democratic voting is impossible, not just in practice but ...

The rule (F,F=>G)/G, where => means "implies," which is the sole rule of inference in propositional calculus. This rule states that if each of F and F=>G is either an axiom ...

The wreathed product of the monster group by Z_2. The bimonster is a quotient of the Coxeter group with the above Coxeter-Dynkin diagram. This had been conjectured by Conway, ...

The Janko groups are the four sporadic groups J_1, J_2, J_3 and J_4. The Janko group J_2 is also known as the Hall-Janko group. The Janko groups are implemented in the ...

An automorphism of a graph is a graph isomorphism with itself, i.e., a mapping from the vertices of the given graph G back to vertices of G such that the resulting graph is ...

A rational homomorphism phi:G->G^' defined over a field is called an isogeny when dimG=dimG^'. Two groups G and G^' are then called isogenous if there exists a third group ...