(mathematics, number theory) The branch of number theory in which number-theoretic questions are expressed in terms of properties of algebraic number fields or related objects, and studied using techniques from algebra.

plural of algebraic number field

(algebraic geometry, category theory) An algebraic group that is isomorphic to a subgroup of some general linear group.

plural of linear algebraic group

(algebra, logic) ring sum normal form

(mathematics, algebraic number theory) A field which includes the rational numbers and has finite dimension as a vector space over the rational numbers.

(programming, type theory) A data type formed by combining other types.

plural of algebraic data type

plural of algebraic fundamental group

(algebraic geometry) A group which is an analogue for schemes of the fundamental group for topological spaces.