検索結果- 英語 - 多言語
検索内容:
commutative algebra
(mathematics) The branch of algebra concerned with commutative rings and objects related to them (such as ideals and modules).
Heyting algebra
(algebra, order theory) A bounded lattice, L, modified to serve as a model for a logical calculus by being equipped with a binary operation called "implies", denoted → (sometimes ⊃ or ⇒), defined such that (a→b)∧a ≤ b and, moreover, that x = a→b is the greatest element such that x∧a ≤ b (in the sense that if c∧a ≤ b then c ≤ a→b).
algebraic functions
Hopf algebra
(mathematics) A structure that is simultaneously a unital associative algebra and a counital coassociative coalgebra, equipped with an antiautomorphism satisfying a certain property.
algebraic varieties
Hurwitz algebra
(algebra) Any one of the unital composition algebras identified by Hurwitz's theorem (on composition algebras) as solutions to the Hurwitz problem.
algebraic posets
plural of algebraic poset
associative algebra
(algebra) A vector space over some field which also has an associative vector-valued multiplication operator between vectors which together with the abelian group feature of the vector space makes a ring.
algebraic subvariety
(algebraic geometry) A subset of an algebraic variety that is itself an algebraic variety.
