Search Results for ""

If a map f:G->G^' from a group G to a group G^' satisfies f(ab)=f(b)f(a) for all a,b in G, then f is said to be an antihomomorphism.

A group of sociable numbers of order 3.

A group L is a component of H if L is a quasisimple group which is a subnormal subgroup of H.

A prime factorization algorithm.

The (weak) Bruhat graph B_n of order n is the simple graph having have all permutations of {1,2,...,n} as vertices, and with an edge between pairs of permutations that differ ...

A p-elementary subgroup of a finite group G is a subgroup H which is the group direct product H=C_n×P, where P is a p-group, C_n is a cyclic group, and p does not divide n.

The Barnes-Wall lattice is a d-dimensional lattice that exists when d is a power of 2. It is implemented in the Wolfram Language as LatticeData[{"BarnesWall", n}]. Special ...

A group acts freely if there are no group fixed points. A point which is fixed by every group element would not be free to move.

A proper subgroup is a proper subset H of group elements of a group G that satisfies the four group requirements. "H is a proper subgroup of G" is written H subset G. The ...

An Eisenstein series with half-period ratio tau and index r is defined by G_r(tau)=sum^'_(m=-infty)^inftysum^'_(n=-infty)^infty1/((m+ntau)^r), (1) where the sum sum^(') ...