Search Results for ""

A subgroup H of an original group G has elements h_i. Let x be a fixed element of the original group G which is not a member of H. Then the transformation xh_ix^(-1), (i=1, ...

A division algebra, also called a "division ring" or "skew field," is a ring in which every nonzero element has a multiplicative inverse, but multiplication is not ...

A group action phi:G×X->X is called faithful if there are no group elements g (except the identity element) such that gx=x for all x in X. Equivalently, the map phi induces ...

Given a differential p-form q in the exterior algebra ^ ^pV^*, its envelope is the smallest subspace W such that q is in the subspace ^ ^pW^* subset ^ ^pV^*. Alternatively, W ...

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 ...

Let G be a group, then there exists a piecewise linear knot K^(n-2) in S^n for n>=5 with G=pi_1(S^n-K) iff G satisfies 1. G is finitely presentable, 2. The Abelianization of ...

A matrix with 0 determinant whose determinant becomes nonzero when any element on or below the diagonal is changed from 0 to 1. An example is M=[1 -1 0 0; 0 0 -1 0; 1 1 1 -1; ...

A module M is Noetherian if it obeys the ascending chain condition with respect to inclusion, i.e., if every set of increasing sequences of submodules eventually becomes ...

A nonempty set is a set containing one or more elements. Any set other than the empty set emptyset is therefore a nonempty set. Nonempty sets are sometimes also called ...

The primitive part of a polynomial P(x) is P(x)/k, where k is the content. For a general univariate polynomial P(x), the Wolfram Language function FactorTermsList[poly, x] ...