Search Results for ""

An algorithm for determining the order of an elliptic curve E/F_p over the finite field F_p.

A diagram lemma which states that the above commutative diagram of Abelian groups and group homomorphisms with exact rows gives rise to an exact sequence This commutative ...

The set of all zero-systems of a group G is denoted B(G) and is called the block monoid of G since it forms a commutative monoid under the operation of zero-system addition ...

If a subgroup H of G has a group representation phi:H×W->W, then there is a unique induced representation of G on a vector space V. The original space W is contained in V, ...

The Taniyama-Shimura conjecture, since its proof now sometimes known as the modularity theorem, is very general and important conjecture (and now theorem) connecting topology ...

The free product G*H of groups G and H is the set of elements of the form g_1h_1g_2h_2...g_rh_r, where g_i in G and h_i in H, with g_1 and h_r possibly equal to e, the ...

A plane tiling is said to be isohedral if the symmetry group of the tiling acts transitively on the tiles, and n-isohedral if the tiles fall into n orbits under the action of ...

A graph with a finite number of nodes and edges. If it has n nodes and has no multiple edges or graph loops (i.e., it is simple), it is a subgraph of the complete graph K_n. ...

Given a number field K, there exists a unique maximal unramified Abelian extension L of K which contains all other unramified Abelian extensions of K. This finite field ...

An infinite sequence of homomorphisms of modules or additive Abelian groups ...->C_(i+1)->^(d_(i+1))C_i->^(d_i)C_(i-1)->... (1) such that, for all indices i in Z, ...