Search Results for ""

A semiring is a set together with two binary operators S(+,*) satisfying the following conditions: 1. Additive associativity: For all a,b,c in S, (a+b)+c=a+(b+c), 2. Additive ...

A polynomial with coefficients in a field is separable if its factors have distinct roots in some extension field.

The name for the set of integers modulo m, denoted Z/mZ. If m is a prime p, then the modulus is a finite field F_p=Z/pZ.

A nonzero ring S whose only (two-sided) ideals are S itself and zero. Every commutative simple ring is a field. Every simple ring is a prime ring.

A finite set of equations in the same unknowns of which the common solutions have to be determined. Solution of simultaneous equations in implemented in the Wolfram Language ...

The socle of a group G is the subgroup generated by its minimal normal subgroups. For example, the symmetric group S_4 has two nontrivial normal subgroups: A_4 and ...

If the difference between the order and the dimension of a series is less than the curve genus, then the series is special.

A function f(x) has a spinode (also called a horizontal cusp) at a point x_0 if f(x) is continuous at x_0 and lim_(x->x_0)f^'(x)=infty from one side while ...

A polynomial p(x)=sumc_ix^i is said to split over a field K if p(x)=aproduct_(i)(x-alpha_i) where a and alpha_i are in K. Then the polynomial is said to split into linear ...

A stack F on a topological space X is said to be a stack of groupoids if for each open subset U subset= X, the category F(U) is a groupoid.