Search Results for ""

Consider a clause (disjunction of literals) obtained from those of a first-order logic sentential formula Phi in Skolemized form forall x_1... forall x_nS, then a clause ...

Consider a clause (disjunction of literals) obtained from those of a first-order logic formula Phi in Skolemized form forall x_1... forall x_nS. Then a literal obtained from ...

Let Gamma be a representation for a group of group order h, then sum_(R)Gamma_i(R)_(mn)Gamma_j(R)_(m^'n^')^*=h/(sqrt(l_il_j))delta_(ij)delta_(mm^')delta_(nn^'). The proof is ...

A group representation of a group G on a vector space V can be restricted to a subgroup H. For example, the symmetric group on three letters has a representation phi on R^2 ...

If two groups are residual to a third, every group residual to one is residual to the other. The Gambier extension of this theorem states that if two groups are ...

A general term which refers to an increase (or decrease in the case of the oxymoron "negative growth") in a given quantity.

If G is a perfect group, then the group center of the quotient group G/Z(G), where Z(G) is the group center of G, is the trivial group.

A n-gonal cupola adjoined to a 2n-gonal antiprism.

The gyroelongated pentagonal bicupola is the Johnson solid J_(46), which consists of two pentagonal cupolas, one twisted with respect to the other, adjoined to a decagonal ...

Johnson solid J_(48).