Search results

In mathematics, an associative algebra A over a commutative ring (often a field) K is a ring A together with a ring homomorphism from K into the center...

In algebra, given a ring R, the category of left modules over R is the category whose objects are all left modules over R and whose morphisms are all module...

In abstract algebra, an algebra extension is the ring-theoretic equivalent of a group extension. Precisely, a ring extension of a ring R by an abelian...

In algebraic geometry, the problem of residual intersection asks the following: Given a subset Z in the intersection ⋂ i = 1 r X i {\displaystyle \bigcap...

Faithfully flat descent is a technique from algebraic geometry, allowing one to draw conclusions about objects on the target of a faithfully flat morphism...

Disjunctive Datalog is an extension of the logic programming language Datalog that allows disjunctions in the heads of rules. This extension enables disjunctive...

DatalogZ (stylized as Datalogℤ) is an extension of Datalog with integer arithmetic and comparisons. The decision problem of whether or not a given ground...