Search Results: Commutativity


Commutative property
Kamis, 2026-08-13 14:25:40

require commutativity. If this operation is commutative for a specific structure, the structure is often said to be commutative. So, a commutative semigroup...

Click to read more »
Commutative diagram
Kamis, 2026-01-29 13:50:31

theorem, commutativity of the triangle means that f = f ~ ∘ π {\displaystyle f={\tilde {f}}\circ \pi } . In the right diagram, commutativity of the square...

Click to read more »
Commutative ring
Jumat, 2026-05-01 03:48:47

theorem, every finite division ring is commutative, and therefore a finite field. Another condition ensuring commutativity of a ring, due to Jacobson, is the...

Click to read more »
Quasi-commutative property
Rabu, 2023-07-05 11:21:34

In mathematics, the quasi-commutative property is an extension or generalization of the general commutative property. This property is used in specific...

Click to read more »
Commutativity of conjunction
Senin, 2026-03-30 15:22:31

In propositional logic, the commutativity of conjunction is a valid argument form and truth-functional tautology. It is considered to be a law of classical...

Click to read more »
Commutative magma
Rabu, 2025-09-03 04:37:09

In mathematics, there exist magmas that are commutative but not associative. A simple example of such a magma may be derived from the children's game...

Click to read more »
Graded-commutative ring
Kamis, 2026-07-02 03:36:40

In algebra, a graded-commutative ring (also called a skew-commutative ring) is a graded ring that is commutative in the graded sense; that is, homogeneous...

Click to read more »
Commuting probability
Selasa, 2025-10-21 19:40:45

group theory, the commuting probability (also called degree of commutativity or commutativity degree) of a finite group is the probability that two randomly...

Click to read more »
Proofs involving the addition of natural numbers
Sabtu, 2026-02-21 07:14:27

properties of addition of the natural numbers: the additive identity, commutativity, and associativity. These proofs are used in the article Addition of...

Click to read more »
Poisson bracket
Kamis, 2026-04-02 09:32:20

that the Poisson bracket is a derivation; that is, it satisfies a non-commutative version of Leibniz's product rule: The Poisson bracket is intimately...

Click to read more »
Nowhere commutative semigroup
Selasa, 2025-10-07 16:49:11

nowhere commutative semigroup is a semigroup S such that, for all a and b in S, if ab = ba then a = b. A semigroup S is nowhere commutative if and only...

Click to read more »
Commutative algebra
Senin, 2026-08-17 18:23:58

Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings....

Click to read more »
Commutative ring spectrum
Jumat, 2026-03-20 12:17:27

algebraic topology, a commutative ring spectrum, roughly equivalent to a E ∞ {\displaystyle E_{\infty }} -ring spectrum, is a commutative monoid in a good...

Click to read more »
Algebra over a field
Kamis, 2026-07-16 04:39:21

These types are specified by insisting on some further axioms, such as commutativity or associativity of the multiplication operation, which are not required...

Click to read more »
Abelian group
Selasa, 2026-05-05 00:07:25

b=b\cdot a=e} , where e {\displaystyle e} is the identity element. Commutativity For all a {\displaystyle a} , b {\displaystyle b} in A {\displaystyle...

Click to read more »
Ring theory
Sabtu, 2026-05-09 06:30:52

defined for noncommutative rings, that coincide with the nilradical when commutativity is assumed. The concept of the Jacobson radical of a ring; that is,...

Click to read more »
Commute
Selasa, 2024-05-21 20:50:20

up commute, commutation, commutative, or commutativity in Wiktionary, the free dictionary. Commute, commutation or commutative may refer to: Commuting...

Click to read more »
Localization (commutative algebra)
Senin, 2026-08-24 12:50:30

In commutative algebra and algebraic geometry, localization is a formal way to introduce the "denominators" to a given ring or module. That is, it introduces...

Click to read more »
Commutator
Selasa, 2026-07-28 16:31:15

indication of the extent to which a certain binary operation fails to be commutative. There are different definitions used in group theory and ring theory...

Click to read more »
Associative algebra
Selasa, 2026-06-09 15:42:21

imposes commutativity; i.e., take the quotient by commutators, then one gets a polynomial algebra. Let A be an associative algebra over a commutative ring...

Click to read more »
Five lemma
Kamis, 2026-07-16 20:46:19

0. By commutativity, p(h(c)) = 0. Since p is injective, h(c) = 0. By exactness, there is an element b of B such that g(b) = c. By commutativity, s(m(b))...

Click to read more »
Noncommutative ring
Selasa, 2026-01-13 14:44:02

mathematics, a noncommutative ring is a ring whose multiplication is not commutative; that is, there exist a and b in the ring such that ab and ba are different...

Click to read more »
Semiring
Senin, 2026-08-17 00:17:56

non-strict or second-order formulations. Additional properties such as commutativity simplify the axioms. Given a strict total order (also sometimes called...

Click to read more »
Local ring
Minggu, 2026-05-17 18:20:35

algebra is the branch of commutative algebra that studies commutative local rings and their modules. In practice, a commutative local ring often arises...

Click to read more »
Anticommutative property
Rabu, 2026-06-17 06:01:38

Subtraction Products of i, j, and k in quaternions Commutativity Commutator Exterior algebra Graded-commutative ring Operation (mathematics) Symmetry in mathematics...

Click to read more »
Noncommutative geometry
Rabu, 2026-05-06 18:14:34

Addition and multiplication of functions are defined pointwise, and the commutativity of multiplication reflects the fact that functions take scalar values...

Click to read more »
Ring (mathematics)
Kamis, 2026-07-30 05:21:22

addition is commutative, ring multiplication is not required to be commutative: ab need not necessarily equal ba. Rings that also satisfy commutativity for multiplication...

Click to read more »
Noncommutative projective geometry
Selasa, 2026-06-23 10:45:07

graded modules over R by the subcategory of torsion modules. If R is a commutative Noetherian graded ring generated by degree-one elements, then the Proj...

Click to read more »
Quaternion
Kamis, 2026-08-06 00:43:43

that the non-commutativity of multiplication is the only property that makes quaternions different from a field. This non-commutativity has some unexpected...

Click to read more »
Associative property
Sabtu, 2026-05-16 17:13:01

numbers are associative operations. Associativity is not the same as commutativity, which addresses whether the order of two operands affects the result...

Click to read more »
Distributive property
Senin, 2026-08-17 18:40:01

unary operation). In the context of a near-ring, which removes the commutativity of the additively written group and assumes only one-sided distributivity...

Click to read more »
Wheel theory
Kamis, 2026-07-02 05:22:00

of a commutative ring (and semiring) where addition and multiplication are not a group but respectively a commutative monoid and a commutative monoid...

Click to read more »
Integral domain
Rabu, 2026-07-15 03:46:16

In mathematics, an integral domain is a nonzero commutative ring in which the product of any two nonzero elements is nonzero. In an integral domain, every...

Click to read more »
Interchange of limiting operations
Selasa, 2025-10-28 16:49:36

that "The problem of deciding whether two given limit operations are commutative is one of the most important in mathematics". An opinion apparently not...

Click to read more »
Flexible algebra
Senin, 2025-07-07 03:47:56

Every commutative or associative operation is flexible, so flexibility becomes important for binary operations that are neither commutative nor associative...

Click to read more »
Ringed space
Senin, 2024-11-04 10:46:54

be commutative rings, including Hartshorne and Wikipedia. Éléments de géométrie algébrique, on the other hand, does not impose the commutativity assumption...

Click to read more »
Tautology (rule of inference)
Jumat, 2024-06-21 06:08:47

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
Boolean algebra
Selasa, 2026-08-11 02:07:10

visualizing laws. The commutativity laws for ∧ and ∨ can be seen from the symmetry of the diagrams: a binary operation that was not commutative would not have...

Click to read more »
Banach algebra
Selasa, 2026-02-03 22:04:29

multiplication whose norm is 1 , {\displaystyle 1,} and commutative if its multiplication is commutative. Any Banach algebra A {\displaystyle A} (whether it...

Click to read more »
Noetherian ring
Senin, 2026-06-29 03:49:34

left- and right-Noetherian. Noetherian rings are fundamental in both commutative and noncommutative ring theory since many rings that are encountered...

Click to read more »
Greatest common divisor
Minggu, 2026-08-23 16:26:47

polynomials (see Polynomial greatest common divisor) and other commutative rings (see § In commutative rings below). The greatest common divisor (GCD) of integers...

Click to read more »
Supercommutative algebra
Selasa, 2026-05-12 09:00:24

mathematics, a supercommutative (associative) algebra (sometimes termed a commutative superalgebra) is a superalgebra (i.e. a Z2-graded algebra) such that...

Click to read more »
Monoid
Rabu, 2026-08-12 07:13:54

necessary to perform the Grothendieck construction – commutativity is sufficient. However, if a commutative monoid does not have the cancellation property,...

Click to read more »
Simplicial group
Jumat, 2026-05-22 02:00:07

_{i\geq 0}K(\pi _{i}A,i).} A commutative monoid in the category of simplicial abelian groups is a simplicial commutative ring. Eckmann (1945) discusses...

Click to read more »
Noncommutative harmonic analysis
Jumat, 2026-03-27 03:58:33

from Fourier analysis are extended to topological groups that are not commutative. Since locally compact abelian groups have a well-understood theory,...

Click to read more »
Seiberg–Witten map
Senin, 2023-02-20 19:39:13

non-commutative degrees of freedom of a gauge theory to their commutative counterparts. It was argued by Seiberg and Witten that certain non-commutative gauge...

Click to read more »
Gelfand representation
Minggu, 2026-04-05 04:53:57

things: a way of representing commutative Banach algebras as algebras of continuous functions; the fact that for commutative C*-algebras, this representation...

Click to read more »
Addition
Senin, 2026-08-24 18:50:03

additional experience, children learn to add more quickly by exploiting the commutativity of addition by counting up from the larger number, in this case, starting...

Click to read more »
Polynomial ring
Minggu, 2026-08-16 23:16:27

all the products that have a sum among their factors, and then using commutativity (except for the product of two scalars), and associativity for transforming...

Click to read more »
Graph operations
Jumat, 2025-11-07 05:20:06

associative (for unlabelled graphs) and non-commutative operation, strong graph product: it is a commutative and associative operation (for unlabelled graphs)...

Click to read more »
Semigroup with three elements
Sabtu, 2026-08-15 23:37:47

product of any element with itself is itself again. Two of these bands are commutative, therefore semilattices (one of them is the three-element totally ordered...

Click to read more »
Conflict-free replicated data type
Sabtu, 2026-06-20 23:48:03

means that the merge function must be commutative, associative, and idempotent. The intuition behind commutativity, associativity and idempotence is that...

Click to read more »
Glossary of commutative algebra
Kamis, 2026-05-21 12:59:24

This is a glossary of commutative algebra. See also list of algebraic geometry topics, glossary of classical algebraic geometry, glossary of algebraic...

Click to read more »
Division ring
Selasa, 2026-05-12 05:46:43

a b–1 ≠ b–1 a. A commutative division ring is a field. Wedderburn's little theorem asserts that all finite division rings are commutative and therefore finite...

Click to read more »
Category of rings
Senin, 2026-08-24 21:24:30

all commutative rings. This category is one of the central objects of study in the subject of commutative algebra. Any ring can be made commutative by...

Click to read more »
Special classes of semigroups
Selasa, 2025-10-28 19:08:59

Thus the class of commutative semigroups consists of all those semigroups in which the binary operation satisfies the commutativity property that ab =...

Click to read more »
Algebraic structure
Jumat, 2026-05-15 07:32:32

remain true. Here are some common examples. Commutativity An operation ∗ {\displaystyle *} is commutative if x ∗ y = y ∗ x {\displaystyle x*y=y*x} for...

Click to read more »
Noncommutative algebraic geometry
Selasa, 2026-05-12 01:34:37

isomorphic to the Weyl algebra. When α is zero, however, the relation is the commutativity relation for x and y, and the resulting quotient ring is the polynomial...

Click to read more »
Exp algebra
Minggu, 2026-05-03 03:58:14

words the functor Exp from abelian groups to commutative rings is adjoint to the functor from commutative rings to abelian groups taking a ring to the...

Click to read more »
Almost commutative ring
Senin, 2024-05-13 09:06:28

almost commutative if the associated graded ring gr ⁡ A = ⊕ A i / A i − 1 {\displaystyle \operatorname {gr} A=\oplus A_{i}/{A_{i-1}}} is commutative. Basic...

Click to read more »
Non-associative algebra
Rabu, 2026-04-22 19:52:36

necessarily associative", just as "noncommutative" means "not necessarily commutative" for noncommutative rings. An algebra is unital or unitary if it has...

Click to read more »
Division algebra
Senin, 2026-06-15 12:54:08

algebra is a corollary of Hopf's theorem. Dropping the requirement of commutativity, Hopf generalized his result: Any finite-dimensional real division algebra...

Click to read more »
Non-commutative cryptography
Jumat, 2025-06-13 16:44:20

Non-commutative cryptography is the area of cryptology where the cryptographic primitives, methods and systems are based on algebraic structures like...

Click to read more »
Center (ring theory)
Kamis, 2026-02-19 08:13:59

of the elements x such that xy = yx for all elements y in R. It is a commutative ring and is denoted as Z(R); 'Z' stands for the German word Zentrum,...

Click to read more »
Coalgebra
Sabtu, 2026-08-15 14:30:28

axioms of unital associative algebras can be formulated in terms of commutative diagrams. Turning all arrows around, one obtains the axioms of coalgebras...

Click to read more »
Commutation (neurophysiology)
Kamis, 2024-05-30 21:35:15

consistent with non-commutativity in the brain, but none that clearly rules out all commutative models. Tweed goes on to demonstrate non-commutative computation...

Click to read more »
Finite ring
Selasa, 2025-12-16 09:32:52

that guarantees commutativity of a ring: if for every element r of R there exists an integer n > 1 such that r n = r, then R is commutative. More general...

Click to read more »
Hideyuki Matsumura
Kamis, 2025-03-06 07:16:40

was a Japanese mathematician particularly known for his textbooks in commutative algebra. He received his Ph.D. in 1958 from Kyoto University under the...

Click to read more »
Nilpotent algebra
Selasa, 2026-06-09 19:27:37

specifically in ring theory, a nilpotent algebra over a commutative ring is an algebra over a commutative ring, in which for some positive integer n every product...

Click to read more »
C*-algebra
Selasa, 2026-07-21 15:13:58

established by using the continuous functional calculus or by reduction to commutative C*-algebras. In the latter case, we can use the fact that the structure...

Click to read more »
Modus non excipiens
Minggu, 2025-06-01 20:43:49

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
Symmetric algebra
Senin, 2026-08-24 00:54:20

functors from commutative algebras to associative algebras (forgetting commutativity), and from associative algebras to vectors or modules (forgetting the...

Click to read more »
Regular local ring
Kamis, 2026-07-30 17:16:45

In commutative algebra, a regular local ring is a Noetherian local ring having the property that the minimal number of generators of its maximal ideal...

Click to read more »
Spectrum of a ring
Jumat, 2026-08-07 05:08:31

and more specifically in commutative algebra and algebraic geometry, the prime spectrum (or simply the spectrum) of a commutative ring R {\displaystyle R}...

Click to read more »
Zero-divisor graph
Jumat, 2026-01-30 21:00:20

specifically in combinatorial commutative algebra, a zero-divisor graph is an undirected graph representing the zero divisors of a commutative ring. It has elements...

Click to read more »
Coordinate system
Minggu, 2026-08-02 23:29:03

may be complex numbers or elements of a more abstract system such as a commutative ring. The use of a coordinate system allows problems in geometry to be...

Click to read more »
Magma (algebra)
Senin, 2026-08-24 05:20:22

property. Magmas with commutativity Commutative magma: A magma with commutativity. Commutative monoid: A monoid with commutativity. Abelian group: A group...

Click to read more »
Wightman axioms
Minggu, 2026-06-07 20:51:52

axioms restrict the causal structure of the theory by imposing either commutativity or anticommutativity between spacelike separated fields. They also postulate...

Click to read more »
Dieudonné module
Senin, 2026-05-11 00:07:00

introduced by Jean Dieudonné (1954, 1957b), is a module over the non-commutative Dieudonné ring, which is generated over the ring of Witt vectors by two...

Click to read more »
Eckmann–Hilton argument
Minggu, 2026-06-07 23:25:02

are the same, and the resulting magma is a commutative monoid. This can then be used to prove the commutativity of the higher homotopy groups. The principle...

Click to read more »
Von Neumann algebra
Minggu, 2026-05-17 11:40:29

)} of essentially bounded measurable functions on the real line is a commutative von Neumann algebra, whose elements act as multiplication operators by...

Click to read more »
Singular (software)
Minggu, 2023-05-21 12:04:29

polynomial computations with special emphasis on the needs of commutative and non-commutative algebra, algebraic geometry, and singularity theory. Singular...

Click to read more »
Double negation
Senin, 2025-12-01 21:20:26

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
Excellent
Minggu, 2026-06-21 12:57:29

containing Excellent Excellence (disambiguation) Excellent ring, in commutative algebra Most Excellent Majesty, a form of address in the United Kingdom...

Click to read more »
Condensed mathematics
Kamis, 2026-07-30 19:11:29

Kiran Kedlaya described condensed mathematics as "technology for doing commutative algebra over topological rings." The fundamental idea in the development...

Click to read more »
Melvin Hochster
Minggu, 2026-03-01 07:39:48

Hochster (born August 2, 1943) is an American mathematician working in commutative algebra. He is currently the Jack E. McLaughlin Distinguished University...

Click to read more »
Journal of Commutative Algebra
Selasa, 2026-01-06 08:20:49

The Journal of Commutative Algebra is a peer-reviewed academic journal of mathematical research that specializes in commutative algebra and closely related...

Click to read more »
Module (mathematics)
Senin, 2026-08-10 23:24:46

space in which the field of scalars is replaced by a (not necessarily commutative) ring. The concept of a module also generalizes the notion of an abelian...

Click to read more »
Lie algebra
Rabu, 2026-08-12 03:59:42

order, the group operation may be non-commutative, and the second-order terms describing the non-commutativity of G near the identity give g {\displaystyle...

Click to read more »
Annihilator (ring theory)
Selasa, 2026-06-16 18:21:42

multiplied by each element of S. For example, if R {\displaystyle R} is a commutative ring and I {\displaystyle I} is an ideal of R {\displaystyle R} , we...

Click to read more »
Krull dimension
Kamis, 2025-10-30 11:56:55

In commutative algebra, the Krull dimension of a commutative ring R, named after Wolfgang Krull, is the supremum of the lengths of all chains of prime...

Click to read more »
Unique factorization domain
Rabu, 2026-07-22 04:44:44

arithmetic holds. Specifically, a UFD is an integral domain (a nontrivial commutative ring in which the product of any two non-zero elements is non-zero) in...

Click to read more »
Prime ideal
Selasa, 2026-07-07 07:32:49

prime, and prime ideals are both primary and semiprime. An ideal P of a commutative ring R is prime if it has the following two properties: If a and b are...

Click to read more »
Deformation quantization
Kamis, 2026-06-04 15:11:47

provides rules for how to deform the "classical" commutative algebra of observables to a quantum non-commutative algebra of observables. The basic setup in...

Click to read more »
Neithalath Mohan Kumar
Minggu, 2026-03-08 06:27:39

Kumar) (born 12 May 1951) is an Indian mathematician who specializes in commutative algebra and algebraic geometry. Kumar is a professor emeritus in the...

Click to read more »
Central series
Sabtu, 2026-08-22 01:00:26

Normal series of subgroups which indicate almost-commutativity...

Click to read more »
Gyrovector space
Selasa, 2026-06-30 00:00:03

gyr[a, ⊖ {\displaystyle \ominus } b]b for all a, b ∈ G. Coaddition is commutative if the gyrogroup addition is gyrocommutative. Relativistic velocities...

Click to read more »
Michel André (mathematician)
Selasa, 2026-06-16 10:49:17

March 1936 – 9 July 2009) was a Swiss mathematician, specializing in non-commutative algebra and its applications to topology. He is known for André–Quillen...

Click to read more »
Divisibility (ring theory)
Minggu, 2026-07-12 21:08:45

Divisibility is a useful concept for the analysis of the structure of commutative rings because of its relationship with the ideal structure of such rings...

Click to read more »
Strong monad
Jumat, 2025-06-20 04:27:58

to be commutative when the diagram commutes for all objects A {\displaystyle A} and B {\displaystyle B} . The Kleisli category of a commutative monad...

Click to read more »
Algebra
Minggu, 2026-08-23 15:43:38

equation that is true for all elements of the underlying set. For example, commutativity is a universal equation that states that a ∘ b {\displaystyle a\circ...

Click to read more »
Pullback (category theory)
Rabu, 2026-08-19 09:39:20

pullback is the "most general" way to complete the two given morphisms to a commutative square. The dual concept of the pullback is the pushout. Explicitly,...

Click to read more »
Diagram (category theory)
Selasa, 2026-04-07 07:21:21

compositions. The commutativity corresponds to the uniqueness of a map between two objects in a poset category. Conversely, every commutative diagram represents...

Click to read more »
Subtraction
Jumat, 2026-07-31 23:47:43

Subtraction follows several important patterns. Subtraction is anti-commutative, meaning that changing the order changes the sign of the answer. It is...

Click to read more »
Space (mathematics)
Minggu, 2026-08-23 20:48:56

and commutative algebra. The fundamental objects of study in commutative algebra are commutative rings. If R {\displaystyle R} is a commutative ring...

Click to read more »
Glossary of ring theory
Rabu, 2026-08-19 09:49:22

of the subject. For the items in commutative algebra (the theory of commutative rings), see Glossary of commutative algebra. For ring-theoretic concepts...

Click to read more »
Nilradical of a ring
Jumat, 2026-05-01 03:43:13

the product of any element with a nilpotent element is nilpotent (by commutativity). It can also be characterized as the intersection of all the prime...

Click to read more »
Torsion (algebra)
Selasa, 2025-08-19 02:39:25

noncommutative, a torsion element is an element of finite order. Contrary to the commutative case, the torsion elements do not form a subgroup, in general. An element...

Click to read more »
Éléments de mathématique
Sabtu, 2026-08-08 02:15:34

Algèbre commutative: Chapitres 1 à 4. Éléments de mathématique. Springer. ISBN 9783540339373. French paperback edition. Algèbre commutative: Chapitres...

Click to read more »
Nakayama's lemma
Kamis, 2026-07-09 00:43:31

In mathematics, more specifically abstract algebra and commutative algebra, Nakayama's lemma — also known as the Krull–Azumaya theorem — governs the interaction...

Click to read more »
Modus ponens
Kamis, 2026-08-20 06:45:08

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
Serre's conjecture
Rabu, 2024-05-01 04:20:19

concerning Galois representations Serre's multiplicity conjectures in commutative algebra Ribet's theorem, formerly known as Serre's epsilon conjecture...

Click to read more »
Disjunctive syllogism
Selasa, 2026-03-10 10:00:40

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
CA-group
Rabu, 2026-05-13 17:19:53

explicitly. CA-groups are also called commutative-transitive groups (or CT-groups for short) because commutativity is a transitive relation amongst the...

Click to read more »
Nilpotent
Minggu, 2026-06-21 18:07:41

nilpotent element is a unit when they commute. The nilpotent elements from a commutative ring R {\displaystyle R} form an ideal N {\displaystyle {\mathfrak {N}}}...

Click to read more »
Prime avoidance lemma
Sabtu, 2026-03-21 13:14:30

In algebra, the prime avoidance lemma says that if an ideal I in a commutative ring R is contained in a union of finitely many prime ideals Pi's, then...

Click to read more »
Product (mathematics)
Jumat, 2026-08-21 19:16:32

numbers are multiplied has no bearing on the product; this is known as the commutative law of multiplication. When matrices or members of various other associative...

Click to read more »
Ordered exponential
Sabtu, 2025-10-11 11:41:43

mathematical operation defined in non-commutative algebras, equivalent to the exponential of the integral in the commutative algebras. In practice the ordered...

Click to read more »
Derived scheme
Jumat, 2026-03-27 02:07:02

classical commutative rings are replaced with derived versions such as differential graded algebras, commutative simplicial rings, or commutative ring spectra...

Click to read more »
List of lemmas
Minggu, 2026-04-05 17:24:11

(polynomials) Schwartz–Zippel lemma Artin–Rees lemma Hensel's lemma (commutative rings) Nakayama lemma Noether's normalization lemma Prime avoidance lemma...

Click to read more »
Rank of an abelian group
Minggu, 2026-04-12 07:00:33

Number of elements in a subset of a commutative group...

Click to read more »
Completion of a ring
Jumat, 2026-05-01 03:44:28

together they are among the most basic tools in analysing commutative rings. Complete commutative rings have a simpler structure than general ones, and Hensel's...

Click to read more »
Convolution
Minggu, 2026-06-14 20:23:19

shifted before the integral does not change the integral result (see commutativity). Graphically, it expresses how the 'shape' of one function is modified...

Click to read more »
Free module
Selasa, 2026-04-21 12:43:38

ring of the coefficients is not a division ring (not a field in the commutative case), then there exist non-free modules. Given any set S and ring R...

Click to read more »
Zariski's main theorem
Selasa, 2026-05-26 21:58:42

the structure of quasi-finite morphisms of schemes. Several results in commutative algebra imply the geometric forms of Zariski's main theorem, including:...

Click to read more »
Neena Gupta (mathematician)
Kamis, 2025-09-04 12:51:59

originally posed by Oscar Zariski in 1949. Her primary fields of interest are commutative algebra and affine algebraic geometry. Gupta graduated with honours in...

Click to read more »
Christine Ayoub
Kamis, 2026-02-12 00:04:54

(1922–2024) was a Canadian and American mathematician specializing in commutative algebra and a professor of mathematics at Pennsylvania State University...

Click to read more »
Frobenius endomorphism
Selasa, 2026-04-28 01:39:27

In commutative algebra and field theory, the Frobenius endomorphism (after Ferdinand Georg Frobenius) is a special endomorphism of commutative rings with...

Click to read more »
Spectral space
Rabu, 2026-08-05 15:24:26

space is a topological space that is homeomorphic to the spectrum of a commutative ring. It is sometimes also called a coherent space because of the connection...

Click to read more »
Diane Maclagan
Senin, 2026-07-20 23:54:33

University of Warwick. She is a researcher in combinatorial and computational commutative algebra and algebraic geometry, with an emphasis on toric varieties,...

Click to read more »
Semilattice
Minggu, 2025-08-31 08:11:05

following identities hold: Associativity x ∧ (y ∧ z) = (x ∧ y) ∧ z Commutativity x ∧ y = y ∧ x Idempotency x ∧ x = x A meet-semilattice ⟨ S , ∧ ⟩ {\displaystyle...

Click to read more »
Paxos (computer science)
Senin, 2026-07-13 13:06:18

could be applied in any order. i.e., when the proposed operations are commutative operations for the state machine. In such cases, the conflicting operations...

Click to read more »
Hopf algebra
Jumat, 2026-06-26 09:24:48

of id H {\displaystyle \operatorname {id} _{H}} is equivalent to the commutativity of the following diagram : In the sumless Sweedler notation, this property...

Click to read more »
Cayley–Dickson construction
Senin, 2026-04-06 15:48:53

Cayley–Dickson construction is repeatedly applied: first losing order, then commutativity of multiplication, associativity of multiplication, and finally alternativity...

Click to read more »
Iterated integral
Jumat, 2026-06-19 01:30:02

In multivariable calculus, an iterated integral is the result of applying integrals to a function of more than one variable (for example f ( x , y ) {\displaystyle...

Click to read more »
Marc Thomas (computer scientist)
Jumat, 2025-05-09 01:42:05

1976. His successful research projects include the resolution of the commutative Singer–Wermer conjecture and construction of a non-standard closed ideal...

Click to read more »
Complex number
Rabu, 2026-06-24 18:39:09

H {\displaystyle \mathbb {H} } loses commutativity, while the octonions (additionally to not being commutative) fail to be associative. The reals, complex...

Click to read more »
Noncommutative topology
Rabu, 2026-08-19 04:06:15

formulated as properties of the C*-algebras without making reference to commutativity or the underlying space, and so have an immediate generalization. Among...

Click to read more »
AW*-algebra
Kamis, 2025-03-06 12:36:00

Neumann algebras. A commutative C*-algebra is an AW*-algebra if and only if its spectrum is a Stonean space. Via Stone duality, commutative AW*-algebras therefore...

Click to read more »
Noncommutative Jordan algebra
Senin, 2022-01-17 06:11:44

In algebra, a noncommutative Jordan algebra is an algebra, usually over a field of characteristic not 2, such that the four operations of left and right...

Click to read more »
Noncommutative residue
Kamis, 2025-11-13 14:20:57

In mathematics, noncommutative residue, defined independently by M. Wodzicki (1984) and Guillemin (1985), is a certain trace on the algebra of pseudodifferential...

Click to read more »
Uniform algebra
Minggu, 2026-07-05 08:31:32

closed subalgebra of the commutative algebra (structure) Banach algebra C(X), a uniform algebra is itself a unital commutative Banach algebra (when equipped...

Click to read more »
Function composition
Kamis, 2026-07-16 04:47:09

functions g and f are said to commute with each other if g ∘ f = f ∘ g. Commutativity is a special property, attained only by particular functions, and often...

Click to read more »
David Hilbert
Rabu, 2026-08-05 05:29:01

fundamental ideas including invariant theory, the calculus of variations, commutative algebra, algebraic number theory, the foundations of geometry, spectral...

Click to read more »
Trace monoid
Jumat, 2025-05-30 14:25:21

equivalence under all reorderings. The trace monoid or free partially commutative monoid is a monoid of traces. Traces were introduced by Pierre Cartier...

Click to read more »
Minimal axioms for Boolean algebra
Jumat, 2025-11-07 14:38:34

y})}=x} as being equivalent to Boolean algebra, when combined with the commutativity of the OR operation, x ∨ y = y ∨ x {\displaystyle x\lor y=y\lor x} ...

Click to read more »
Multiplication
Selasa, 2026-08-04 07:19:57

_{i=1}^{n}x=x\cdot x\cdot \ldots \cdot x=x^{n}.} Associativity and commutativity of multiplication imply ∏ i = 1 n x i y i = ( ∏ i = 1 n x i ) ( ∏ i...

Click to read more »
Yoshiro Mori (mathematician)
Rabu, 2025-07-23 08:17:59

Yoshiro Mori is a Japanese mathematician working on commutative algebra who introduced the Mori–Nagata theorem and whose work led to Mori domains in the...

Click to read more »
Tensor product of algebras
Selasa, 2026-04-28 04:44:58

In mathematics, the tensor product of two algebras over a commutative ring R is also an R-algebra. This gives the tensor product of algebras. When the...

Click to read more »
Golod–Shafarevich theorem
Kamis, 2026-05-21 07:51:15

in 1964 by Evgeny Golod and Igor Shafarevich. It is a result in non-commutative homological algebra which solves the class field tower problem, by showing...

Click to read more »
Sweedler's Hopf algebra
Minggu, 2025-01-19 23:11:50

algebra H4 is a certain 4-dimensional quotient of it that is neither commutative nor cocommutative. The following infinite dimensional Hopf algebra was...

Click to read more »
Functional-theoretic algebra
Kamis, 2025-09-04 18:27:11

terms of two linear functionals. In general, it is a non-commutative algebra. It becomes commutative when the two functionals are the same. Let AF be a vector...

Click to read more »
Pushout (category theory)
Selasa, 2026-05-19 14:06:35

an object P along with two morphisms X → P and Y → P that complete a commutative square with the two given morphisms f and g. In fact, the defining universal...

Click to read more »
Binary operation
Selasa, 2026-06-30 03:59:33

Many binary operations of interest in both algebra and formal logic are commutative, satisfying f ( a , b ) = f ( b , a ) {\displaystyle f(a,b)=f(b,a)} for...

Click to read more »
Operator algebra
Senin, 2026-01-26 17:46:37

spectral theory of a single operator. In general, operator algebras are non-commutative rings. An operator algebra is typically required to be closed in a specified...

Click to read more »
Differential operator
Kamis, 2026-08-06 17:09:14

particular mappings between modules over a commutative algebra, allowing the concept to be seen as a part of commutative algebra. A differential operator of...

Click to read more »
Modus tollens
Senin, 2026-07-20 05:22:09

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
Nil ideal
Kamis, 2026-03-26 07:45:40

conjecture. In commutative rings, the nil ideals are better understood than in noncommutative rings, primarily because in commutative rings, products...

Click to read more »
Conglomerate (mathematics)
Kamis, 2026-01-15 05:04:36

functor Elementary topos Grothendieck topos Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived...

Click to read more »
Jacobian conjecture
Rabu, 2026-08-19 14:01:17

"Polynomial automorphisms and the Jacobian conjecture" (PDF), Algèbre non commutative, groupes quantiques et invariants (Reims, 1995), Sémin. Congr., vol. 2...

Click to read more »
Kähler differential
Sabtu, 2025-09-20 03:15:09

arbitrary commutative rings or schemes. The notion was introduced by Erich Kähler in the 1930s. It was adopted as standard in commutative algebra and...

Click to read more »
Dharam Vir Ahluwalia
Rabu, 2026-08-05 05:48:31

One Fermions neutrino mixing matrix gravitationally induced phases non-commutative spacetime Scientific career Fields Theoretical Physics (Mass Dimension...

Click to read more »
Hopf algebra of permutations
Kamis, 2026-04-30 23:17:49

of all elements of all the finite symmetric groups Sn, and is a non-commutative analogue of the Hopf algebra of symmetric functions. It is both free...

Click to read more »
Conjunction introduction
Selasa, 2025-10-14 23:32:50

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
Addition theorem
Sabtu, 2025-11-01 08:59:30

this appears as part of the theory of algebraic groups, dealing with commutative groups. The connected, projective variety examples are indeed exhausted...

Click to read more »
Matrix multiplication
Minggu, 2026-08-23 19:43:31

condition that c belongs to the center of the ring. One special case where commutativity does occur is when D and E are two (square) diagonal matrices (of the...

Click to read more »
Global dimension
Jumat, 2024-12-13 11:32:24

Serre, global dimension can be used to characterize within the class of commutative Noetherian local rings those rings which are regular. Their global dimension...

Click to read more »
Operad
Senin, 2026-08-17 12:18:39

modules over a commutative ring, chain complexes, groupoids (or even the category of categories itself), coalgebras, etc. Given a commutative ring R we consider...

Click to read more »
Icosian calculus
Senin, 2026-07-13 23:31:57

The icosian calculus is a non-commutative algebraic structure discovered by the Irish mathematician William Rowan Hamilton in 1856. In modern terms, he...

Click to read more »
Ranthony Edmonds
Kamis, 2025-08-07 16:23:43

Ranthony A. C. Edmonds is an American mathematician specializing in commutative ring theory, factorization theory, and applied algebraic topology. She...

Click to read more »
Simple theorems in the algebra of sets
Minggu, 2026-04-05 14:13:11

Basic set identities like commutative and associative laws...

Click to read more »
Integral element
Minggu, 2026-05-10 08:53:29

In commutative algebra, an element b of a commutative ring B is said to be integral over a subring A of B if b is a root of some monic polynomial over...

Click to read more »
Combinatorial commutative algebra
Selasa, 2026-05-05 00:14:07

Combinatorial commutative algebra is a relatively new, rapidly developing mathematical discipline. As the name implies, it lies at the intersection of...

Click to read more »
Regular sequence
Rabu, 2026-05-06 08:52:52

In commutative algebra, a regular sequence is a sequence of elements of a commutative ring which are as independent as possible, in a precise sense. This...

Click to read more »
Vector space
Senin, 2026-08-10 12:32:20

objects. Another crucial example are Lie algebras, which are neither commutative nor associative, but the failure to be so is limited by the constraints...

Click to read more »
Coherent duality
Selasa, 2026-05-12 01:30:08

algebraic geometry and complex manifold theory, as well as some aspects of commutative algebra that are part of the 'local' theory. The historical roots of...

Click to read more »
Lawvere's fixed-point theorem
Jumat, 2026-08-21 10:08:05

functor Elementary topos Grothendieck topos Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived...

Click to read more »
Pairing
Minggu, 2026-05-10 22:23:06

product of two R-modules, where the underlying ring R is commutative. Let R be a commutative ring with unit, and let M, N and L be R-modules. A pairing...

Click to read more »
Linear algebra
Selasa, 2026-08-25 07:10:05

except that determinants exist only if the ring is commutative, and that a square matrix over a commutative ring is invertible only if its determinant has...

Click to read more »
Map of lattices
Sabtu, 2025-09-20 12:36:50

group Magma Lie group Group theory Ring-like Ring Rng Semiring Near-ring Commutative ring Domain Integral domain Field Division ring Lie ring Ring theory...

Click to read more »
Dual Steenrod algebra
Jumat, 2026-08-14 15:33:26

through an algebraic operation (dualization), there is an associated commutative algebra from the noncommutative Steenrod algebras called the dual Steenrod...

Click to read more »
Operator overloading
Minggu, 2026-08-16 08:17:19

can be wrongly expected or unintentionally assumed. For example, the commutativity of + (i.e. that a + b == b + a) does not always apply; an example of...

Click to read more »
Dimension theory (algebra)
Minggu, 2026-07-26 20:22:33

In mathematics, dimension theory is the study in terms of commutative algebra of the notion of dimension of an algebraic variety (and by extension that...

Click to read more »
Universal instantiation
Kamis, 2024-01-25 17:12:35

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
Noncommutative logic
Jumat, 2026-03-27 02:58:35

Noncommutative logic is an extension of linear logic that combines the commutative connectives of linear logic with the noncommutative multiplicative connectives...

Click to read more »
Minimal prime ideal
Sabtu, 2026-07-18 23:55:43

In mathematics, especially in commutative algebra, certain prime ideals called minimal prime ideals play an important role in understanding rings and...

Click to read more »
Polynomial identity ring
Jumat, 2026-01-02 09:09:22

language, since "polynomial" here stands for what is usually called a "non-commutative polynomial". The abbreviation PI-ring is common. More generally, the...

Click to read more »
Unit (ring theory)
Kamis, 2025-09-04 05:24:36

(that is, R× = R ∖ {0}) is called a division ring (or a skew-field). A commutative division ring is called a field. For example, the unit group of the field...

Click to read more »
Theorem of transition
Senin, 2024-05-13 12:45:37

In algebra, the theorem of transition is said to hold between commutative rings A ⊂ B {\displaystyle A\subset B} if B {\displaystyle B} dominates A {\displaystyle...

Click to read more »
Determinant
Selasa, 2026-08-25 02:37:31

than 2 × 2 {\displaystyle 2\times 2} blocks, again under appropriate commutativity conditions among the individual blocks. For A = D {\displaystyle A=D}...

Click to read more »
F-algebra
Selasa, 2025-11-04 21:48:35

functor F(G) = 1 + G + G×G as for groups, with an additional axiom for commutativity: m∘t = m, where t(x,y) = (y,x) is the transpose on GxG. Monoids are...

Click to read more »
Bialgebra
Kamis, 2026-04-30 23:18:31

_{B})\circ \Delta } . Coassociativity and counit are expressed by the commutativity of the following two diagrams (they are the duals of the diagrams expressing...

Click to read more »
Medial magma
Jumat, 2025-11-21 04:19:04

alternation, transposition, interchange, bi-commutative, bisymmetric, surcommutative, entropic, etc. Any commutative semigroup is a medial magma, and a medial...

Click to read more »
Monus
Sabtu, 2025-12-27 12:11:19

operator on certain commutative monoids that are not groups. A commutative monoid on which a monus operator is defined is called a commutative monoid with monus...

Click to read more »
Logical conjunction
Jumat, 2026-08-21 08:08:37

Either of the above are constructively valid proofs by contradiction. commutativity: yes associativity: yes distributivity: with various operations, especially...

Click to read more »
I-adic topology
Jumat, 2026-05-01 03:34:36

In commutative algebra, the mathematical study of commutative rings, adic topologies are a family of topologies on the underlying set of a module, generalizing...

Click to read more »
Ore condition
Rabu, 2025-08-13 23:10:45

by Øystein Ore, in connection with the question of extending beyond commutative rings the construction of a field of fractions, or more generally localization...

Click to read more »
Zero ring
Minggu, 2026-07-26 21:43:25

= 0. The proof of the last equality is found here.) The zero ring is commutative. The element 0 in the zero ring is a unit, serving as its own multiplicative...

Click to read more »
SymbolicC++
Minggu, 2025-12-28 18:52:39

toggles the commutativity of a variable, i.e. if b is commutative that ~b is non-commutative and if b is non-commutative ~b is commutative. import "symbolicc++...

Click to read more »
Nonlinear algebra
Minggu, 2026-04-26 00:36:21

algebraic sets. Related areas in mathematics are tropical geometry, commutative algebra, and optimization. Nonlinear algebra is closely related to algebraic...

Click to read more »
Glossary of areas of mathematics
Selasa, 2026-06-09 08:47:01

number theory devoted to the use of algebraic methods, mainly those of commutative algebra, for the study of number fields and their rings of integers....

Click to read more »
Ordered ring
Rabu, 2026-01-28 10:21:19

In abstract algebra, an ordered ring is a (usually commutative) ring R with a total order ≤ such that for all a, b, and c in R: if a ≤ b then a + c ≤...

Click to read more »
Krull's principal ideal theorem
Jumat, 2026-07-10 21:49:40

In commutative algebra, Krull's principal ideal theorem, named after Wolfgang Krull (1899–1971), gives a bound on the height of a principal ideal in a...

Click to read more »
Gizzard (Scala framework)
Sabtu, 2026-05-30 07:07:11

consistent by requiring that all write operations are idempotent and commutative. As operations fail they are retried at a later time. Gizzard is available...

Click to read more »
Cohen–Macaulay ring
Sabtu, 2026-03-21 22:31:05

In mathematics, a Cohen–Macaulay ring is a commutative ring with some of the algebro-geometric properties of a smooth variety, such as local equidimensionality...

Click to read more »
Monoid (category theory)
Sabtu, 2026-08-22 08:19:05

A monoid M {\displaystyle M} in C {\displaystyle {\mathcal {C}}} is commutative when μ ∘ γ = μ {\displaystyle \mu \circ \gamma =\mu } . A monoid object...

Click to read more »
Free monoid
Selasa, 2026-06-23 05:58:18

an idempotent, commutative operation, and so it forms a bounded semilattice or a commutative band. Given a set A, the free commutative monoid on A is...

Click to read more »
Introduction to Commutative Algebra
Senin, 2026-08-17 12:45:43

Introduction to Commutative Algebra (often informally referred to by the authors' names as "Atiyah and Macdonald") is a well-known commutative algebra textbook...

Click to read more »
Smooth functor
Selasa, 2024-03-05 02:12:45

functor Elementary topos Grothendieck topos Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived...

Click to read more »
Braided monoidal category
Jumat, 2026-02-13 22:38:13

In mathematics, a commutativity constraint γ {\displaystyle \gamma } on a monoidal category C {\displaystyle {\mathcal {C}}} is a choice of isomorphism...

Click to read more »
Formal group law
Jumat, 2026-08-21 20:44:03

ring R to be the commutative ring generated by the elements ci,j, with the relations that are forced by the associativity and commutativity laws for formal...

Click to read more »
Cyclic group
Senin, 2026-05-04 16:28:38

Z {\displaystyle \mathbb {Z} } n or Zn, not to be confused with the commutative ring of p-adic numbers), that is generated by a single element. That...

Click to read more »
RSA problem
Rabu, 2025-07-09 08:33:57

cryptography Elliptic-curve cryptography Hash-based cryptography Non-commutative cryptography RSA problem Trapdoor function Tropical cryptography Standardization...

Click to read more »
Gorenstein ring
Selasa, 2026-03-31 21:19:04

In commutative algebra, a Gorenstein local ring is a commutative Noetherian local ring R with finite injective dimension as an R-module. There are many...

Click to read more »
Primary ideal
Jumat, 2026-05-01 03:45:55

In mathematics, specifically commutative algebra, a proper ideal q {\displaystyle {\mathfrak {q}}} of a commutative ring A {\displaystyle A} is said to...

Click to read more »
Summation
Jumat, 2026-05-01 23:48:21

\sum _{n=s}^{t}g(n)=\sum _{n=s}^{t}\left(f(n)\pm g(n)\right)\quad } (commutativity and associativity) ∑ n = s t f ( n ) = ∑ n = s + p t + p f ( n − p )...

Click to read more »
Emmy Noether
Kamis, 2026-07-23 08:40:30

general commutative ring theory, and gives one of the first general definitions of a commutative ring. Before her paper, most results in commutative algebra...

Click to read more »
Scalar multiplication
Sabtu, 2026-06-27 06:06:18

,} where i, j, k are the quaternion units. The non-commutativity of quaternion multiplication prevents the transition of changing ij...

Click to read more »
Monoidal category
Jumat, 2026-08-14 22:16:19

Zbl 0478.18005. Mac Lane, Saunders (1963). "Natural Associativity and Commutativity". Rice University Studies. 49 (4): 28–46. CiteSeerX 10.1.1.953.2731...

Click to read more »
Judith D. Sally
Sabtu, 2026-08-15 07:11:41

Emeritus of Mathematics at Northwestern University. Her research was in commutative algebra, particularly in the study of Noetherian local rings and graded...

Click to read more »
Fuzzy sphere
Jumat, 2026-07-24 05:06:25

fuzzy sphere is one of the simplest and most canonical examples of non-commutative geometry. Ordinarily, the functions defined on a sphere form a commuting...

Click to read more »
Masayoshi Nagata
Kamis, 2026-06-18 13:03:06

2008) was a Japanese mathematician, known for his work in the field of commutative algebra. He was celebrated for the construction of a number of intricate...

Click to read more »
Viterbi semiring
Rabu, 2026-06-10 18:44:21

The Viterbi semiring is a commutative semiring defined over the set of probabilities (typically the interval [ 0 , 1 ] {\displaystyle [0,1]} ) with addition...

Click to read more »
Hopf algebroid
Selasa, 2025-11-18 03:44:16

algebra anti-homomorphism t: R → H called a target map, such that the commutativity condition s(r1) t(r2) = t(r2) s(r1) is satisfied for all r1, r2 ∈ R...

Click to read more »
Going up and going down
Jumat, 2026-05-01 03:46:23

In commutative algebra, a branch of mathematics, going up and going down are terms which refer to certain properties of chains of prime ideals in integral...

Click to read more »
List of set identities and relations
Minggu, 2026-08-02 11:04:47

symmetric difference are commutative operations: L ∪ R = R ∪ L  (Commutativity) L ∩ R = R ∩ L  (Commutativity) L △ R = R △ L  (Commutativity) {\displaystyle...

Click to read more »
Support
Minggu, 2026-01-04 23:53:51

referred to as support Support of a module, a set of prime ideals in commutative algebra Support, the natural logarithm of the likelihood ratio, as used...

Click to read more »
Supergeometry
Sabtu, 2025-04-19 21:09:02

Supergeometry is differential geometry of modules over graded commutative algebras, supermanifolds and graded manifolds. Supergeometry is part and parcel...

Click to read more »
Complete homogeneous symmetric polynomial
Minggu, 2026-08-09 09:24:17

In mathematics, specifically in algebraic combinatorics and commutative algebra, the complete homogeneous symmetric polynomials are a specific kind of...

Click to read more »
Lift (mathematics)
Jumat, 2026-02-20 04:43:44

The morphism h is a lift of f (commutative diagram)...

Click to read more »
Existential quantification
Selasa, 2026-04-07 07:13:54

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
Integer
Minggu, 2026-04-19 16:47:10

say that ⁠ Z {\displaystyle \mathbb {Z} } ⁠ under multiplication is a commutative monoid. However, not every integer has a multiplicative inverse (as is...

Click to read more »
Residuated lattice
Sabtu, 2026-02-07 02:46:54

right and left residuals, these operations coincide when the monoid is commutative. The general concept was introduced by Morgan Ward and Robert P. Dilworth...

Click to read more »
Semiprime ring
Rabu, 2026-04-22 08:21:00

semiprime rings are generalizations of prime ideals and prime rings. In commutative algebra, semiprime ideals are also called radical ideals and semiprime...

Click to read more »
Field (mathematics)
Senin, 2026-08-17 18:21:35

mentioned above, commutative rings satisfy all field axioms except for the existence of multiplicative inverses. Dropping instead commutativity of multiplication...

Click to read more »
Power-bounded element
Rabu, 2025-03-26 06:21:42

|x|\leq 1} hold. More generally, if A {\displaystyle A} is a topological commutative ring whose topology is induced by an absolute value, then an element...

Click to read more »
Lorenzo Ramero
Rabu, 2026-02-04 05:20:34

textbook on commutative algebra, Grimoire d'Algèbre Commutative (in French), emphasizing the numerous connections and interactions between commutative algebra...

Click to read more »
*-algebra
Selasa, 2026-06-09 05:20:15

mathematical structure consisting of two involutive rings R and A, where R is commutative and A has the structure of an associative algebra over R. Involutive...

Click to read more »
Derived algebraic geometry
Jumat, 2026-04-03 20:26:40

mathematics that generalizes algebraic geometry to a situation where commutative rings, which provide local charts, are replaced by either differential...

Click to read more »
Manin matrix
Minggu, 2025-11-23 05:05:49

stands on the right, while commutative inverse to the determinant of M stands on the left, i.e. due to non-commutativity the order is important. Proposition...

Click to read more »
Lie product formula
Minggu, 2026-05-17 08:07:57

In mathematics, the Lie product formula, named for Sophus Lie (1875), but also widely called the Trotter product formula, named after Hale Trotter, states...

Click to read more »
Euclidean vector
Selasa, 2026-08-18 16:01:29

analogues for vectors, operations which obey the familiar algebraic laws of commutativity, associativity, and distributivity. These operations and associated...

Click to read more »
Lexicographic order
Minggu, 2026-06-21 22:09:21

the order of the terms does not matter in general, as the addition is commutative. However, some algorithms, such as polynomial long division, require...

Click to read more »
Generalized Jacobian
Rabu, 2025-06-04 23:04:49

In algebraic geometry a generalized Jacobian is a commutative algebraic group associated to a curve with a divisor, generalizing the Jacobian variety...

Click to read more »
Disjunction introduction
Selasa, 2026-03-03 21:35:10

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
Conditional proof
Senin, 2023-10-16 06:12:00

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
Lazard's universal ring
Kamis, 2020-04-16 03:01:14

and commutativity laws for formal group laws. More or less by definition, the ring R has the following universal property: For every commutative ring...

Click to read more »
Linear time-invariant system
Kamis, 2026-07-16 05:38:13

_{-\infty }^{\infty }h(t-\tau )Ae^{s\tau }\,\mathrm {d} \tau } which, by the commutative property of convolution, is equivalent to ∫ − ∞ ∞ h ( τ ) A e s ( t −...

Click to read more »
Affine monoid
Selasa, 2026-08-04 17:35:20

In abstract algebra, a branch of mathematics, an affine monoid is a commutative monoid that is finitely generated, and is isomorphic to a submonoid of...

Click to read more »
MV-algebra
Rabu, 2026-06-03 04:37:26

logic of Łukasiewicz. MV-algebras coincide with the class of bounded commutative BCK algebras. An MV-algebra is an algebraic structure ⟨ A , ⊕ , ¬ , 0...

Click to read more »
Leonid Vaserstein
Selasa, 2026-08-18 23:14:02

providing a simple proof of the Quillen–Suslin theorem, a result in commutative algebra, first conjectured by Jean-Pierre Serre in 1955, and then proved...

Click to read more »
Sprague–Grundy theorem
Minggu, 2026-07-05 02:24:32

{\displaystyle G'+G} (which is equal to G + G ′ {\displaystyle G+G'} by commutativity of addition) is in the same outcome class as G + G {\displaystyle G+G}...

Click to read more »
Modus ponendo tollens
Senin, 2026-03-16 22:42:37

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
Free algebra
Sabtu, 2026-05-09 22:34:43

Likewise, the polynomial ring may be regarded as a free commutative algebra. For R a commutative ring, the free (associative, unital) algebra on n indeterminates...

Click to read more »
Square (algebra)
Sabtu, 2026-05-23 01:15:19

elements. A commutative ring such that the square of a non zero element is never zero is called a reduced ring. More generally, in a commutative ring, a radical...

Click to read more »
Claudia Polini
Sabtu, 2025-12-27 14:56:22

Claudia Polini is an Italian mathematician specializing in commutative algebra. She is the Glynn Family Honors Collegiate Professor of Mathematics at...

Click to read more »
Differential graded algebra
Senin, 2026-07-13 03:40:07

{\displaystyle (A_{\bullet },d,\cdot )} , which satisfies a graded version of commutativity. Namely, a ⋅ b = ( − 1 ) | a | | b | b ⋅ a {\displaystyle a\cdot b=(-1)^{|a||b|}b\cdot...

Click to read more »
Mathematics
Senin, 2026-08-24 01:46:20

essentially the same as linear algebra ring theory commutative algebra, which is the study of commutative rings, includes the study of polynomials, and is...

Click to read more »
Maximal ideal
Kamis, 2026-06-25 18:21:17

rings, and in the special case of commutative rings they are also fields. The set of maximal ideals of a commutative ring R is known as the maximal spectrum...

Click to read more »
Hochschild homology
Jumat, 2026-05-15 21:41:44

of the Hochschild complex in the case of commutative rings, and more generally, for sheaves of commutative rings: it is constructed from the derived...

Click to read more »
Overcategory
Minggu, 2026-04-05 21:15:19

A/{\text{CRing}}} for the category of commutative rings. This is because the structure of an A {\displaystyle A} -algebra on a commutative ring B {\displaystyle B}...

Click to read more »
Zero divisor
Rabu, 2026-05-27 16:13:33

may be different from the nonzero y such that ya = 0). If the ring is commutative, then the left and right zero divisors are the same. An element of a...

Click to read more »
Cohomology
Jumat, 2026-08-21 20:44:28

AiBi = P for all i. By graded-commutativity, it follows that BiAi = −P. On any topological space, graded-commutativity of the cohomology ring implies...

Click to read more »
Elementary topos
Sabtu, 2026-08-22 05:36:16

functor Elementary topos Grothendieck topos Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived...

Click to read more »
Term (logic)
Selasa, 2026-07-07 14:31:32

contexts, the particular variable names in a term don't matter, e.g. the commutativity axiom for addition can be stated as x+y=y+x or as a+b=b+a; in such cases...

Click to read more »
Dimension of an algebraic variety
Sabtu, 2026-07-04 00:48:38

geometric nature, while some others are purely algebraic and rely on commutative algebra. Some are restricted to algebraic varieties while others apply...

Click to read more »
Torsion-free module
Selasa, 2026-01-06 17:41:51

the only module satisfying this condition is the zero module. Over a commutative ring R with total quotient ring K, a module M is torsion-free if and...

Click to read more »
Affine
Rabu, 2026-07-22 16:05:55

of an affine space Affine scheme, the spectrum of prime ideals of a commutative ring Affine morphism, a morphism of schemes such that the pre-image of...

Click to read more »
Complete intersection ring
Senin, 2026-06-29 05:12:07

In commutative algebra, a complete intersection ring is a commutative ring similar to the coordinate rings of varieties that are complete intersections...

Click to read more »
Topological abelian group
Kamis, 2026-02-19 16:31:36

group operations are continuous, and the group's binary operation is commutative. The theory of topological groups applies also to TAGs, but more can...

Click to read more »
Torsion-free abelian group
Sabtu, 2025-05-24 19:50:08

non-trivial torsion elements; that is, a group in which the group operation is commutative and the identity element is the only element with finite order. While...

Click to read more »
Merkle signature scheme
Senin, 2025-11-10 11:14:06

cryptography Elliptic-curve cryptography Hash-based cryptography Non-commutative cryptography RSA problem Trapdoor function Tropical cryptography Standardization...

Click to read more »
Cayley table
Sabtu, 2026-01-10 19:33:14

is associative simply by glancing at its Cayley table, as it is with commutativity. This is because associativity depends on a 3 term equation, ( a b )...

Click to read more »
Prime element
Jumat, 2026-07-10 02:50:47

mathematics, specifically in abstract algebra, a prime element of a commutative ring is an object satisfying certain properties similar to the prime...

Click to read more »
Forgetful functor
Senin, 2026-08-24 17:08:08

a functor from the category CRing to Ring that forgets the axiom of commutativity, but keeps all the operations. Occasionally the object may include extra...

Click to read more »
Constructive dilemma
Sabtu, 2026-02-14 22:31:16

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
Absorption law
Minggu, 2026-04-19 04:58:55

absorption law if: a ¤ (a ⁂ b) = a ⁂ (a ¤ b) = a. A set equipped with two commutative and associative binary operations ∨ {\displaystyle \scriptstyle \lor...

Click to read more »
Simplicial commutative ring
Kamis, 2025-09-04 14:09:47

In algebra, a simplicial commutative ring is a commutative monoid in the category of simplicial abelian groups, or, equivalently, a simplicial object...

Click to read more »
ML-KEM
Sabtu, 2026-07-25 03:36:06

cryptography Elliptic-curve cryptography Hash-based cryptography Non-commutative cryptography RSA problem Trapdoor function Tropical cryptography Standardization...

Click to read more »
Quillen–Suslin theorem
Rabu, 2026-05-27 08:14:24

also known as Serre's problem or Serre's conjecture, is a theorem in commutative algebra concerning the relationship between free modules and projective...

Click to read more »
Connection (algebraic framework)
Kamis, 2025-09-04 13:06:04

sections of E → X {\displaystyle E\to X} . Let A {\displaystyle A} be a commutative ring and M {\displaystyle M} an A-module. There are different equivalent...

Click to read more »
Alternativity
Sabtu, 2025-10-18 17:01:47

Cayley-Dickson construction once to a commutative ring with a trivial involution a ∗ = a {\displaystyle a^{\ast }=a} gives a commutative associative algebra. Applying...

Click to read more »
Hom functor
Senin, 2026-04-06 16:42:16

diagram commutes: Both paths send g : A → B to f ∘ g ∘ h : A′ → B′. The commutativity of the above diagram implies that Hom(–, –) is a bifunctor from C ×...

Click to read more »
Negation introduction
Kamis, 2026-04-02 07:15:45

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
List of commutative algebra topics
Kamis, 2026-01-15 18:16:04

Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideals, and modules over such rings....

Click to read more »
Category of groups
Senin, 2026-08-24 21:21:48

functor Elementary topos Grothendieck topos Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived...

Click to read more »
Eben Matlis
Rabu, 2025-08-06 11:53:41

rings and modules, especially for his work with injective modules over commutative Noetherian rings, and his introduction of Matlis duality. Matlis earned...

Click to read more »
Pre-abelian category
Senin, 2026-06-29 22:18:20

functor Elementary topos Grothendieck topos Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived...

Click to read more »
Hurwitz quaternion
Sabtu, 2026-05-02 05:38:29

Hurwitz integral quaternion is the better one to operate with. For a non-commutative ring such as H, maximal orders need not be unique, so one needs to fix...

Click to read more »
Rosa M. Miró-Roig
Kamis, 2026-05-07 08:29:06

the University of Barcelona, specializing in algebraic geometry and commutative algebra. She did her graduate studies at the University of Barcelona...

Click to read more »
Pareigis Hopf algebra
Senin, 2023-01-30 01:06:55

Pareigis (1981) as a natural example of a Hopf algebra that is neither commutative nor cocommutative. As an algebra over k, the Pareigis algebra is generated...

Click to read more »
Threshold cryptosystem
Sabtu, 2026-02-07 04:42:44

cryptography Elliptic-curve cryptography Hash-based cryptography Non-commutative cryptography RSA problem Trapdoor function Tropical cryptography Standardization...

Click to read more »
Material implication (rule of inference)
Minggu, 2026-07-19 04:15:41

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
Array programming
Kamis, 2026-04-02 22:00:15

not commutative as the extension of the scalar solution to the matrix case would require: (a * x)/ a ==b / a (x * a)/ a ==b / a       (commutativity does...

Click to read more »
Cayley–Hamilton theorem
Kamis, 2026-06-25 11:59:11

these relations are valid for matrices with entries in any commutative ring (commutativity must be assumed for determinants to be defined in the first...

Click to read more »
Unification (computer science)
Senin, 2026-08-10 13:27:43

to be commutative, then the substitution {x ↦ b, y ↦ a} solves the above equation, since The background knowledge E could state the commutativity of ⁠...

Click to read more »
Quaternions and spatial rotation
Jumat, 2026-08-21 08:55:03

applied as a single rotation. (Note that quaternion multiplication is not commutative.) Conjugating p by q refers to the operation p ↦ qpq−1. Consider the...

Click to read more »
Classical logic
Sabtu, 2026-05-16 11:36:02

explosion Monotonicity of entailment and idempotency of entailment Commutativity of conjunction De Morgan duality: every logical operator is dual to...

Click to read more »
Rees algebra
Selasa, 2026-03-31 10:34:24

In commutative algebra, the Rees algebra or Rees ring of an ideal I in a commutative ring R is defined to be R [ I t ] = ⨁ n = 0 ∞ I n t n ⊆ R [ t ] ...

Click to read more »
Pointed set
Senin, 2026-04-27 00:10:10

{1} \to \mathbf {1} } extends the commutative triangles defining arrows of the coslice category to form the commutative squares defining homomorphisms of...

Click to read more »
Gabriele Vezzosi
Rabu, 2026-02-04 05:20:58

Angelo Vistoli. His first papers dealt with differential calculus over commutative rings, intersection theory, (equivariant) algebraic K-theory, motivic...

Click to read more »
Semifield
Selasa, 2026-01-20 05:54:58

assumed to be commutative or associative. A semifield that is associative is a division ring, and one that is both associative and commutative is a field...

Click to read more »
Elliptic-curve Diffie–Hellman
Rabu, 2026-04-01 00:33:00

cryptography Elliptic-curve cryptography Hash-based cryptography Non-commutative cryptography RSA problem Trapdoor function Tropical cryptography Standardization...

Click to read more »
Plancherel theorem
Senin, 2026-03-16 04:44:42

makes sense for non-commutative locally compact groups satisfying certain technical assumptions. This is the subject of non-commutative harmonic analysis...

Click to read more »
Krull ring
Senin, 2026-07-13 11:55:19

In commutative algebra, a Krull ring, or Krull domain, is a commutative ring with a well behaved theory of prime factorization. They were introduced by...

Click to read more »
Zero to the power of zero
Rabu, 2026-07-22 12:18:50

The Sage Development Team (2020). "Sage 9.2 Reference Manual: Standard Commutative Rings. Elements of the ring Z of integers". Retrieved 2021-01-21. For...

Click to read more »
Zero morphism
Kamis, 2026-02-19 12:31:39

functor Elementary topos Grothendieck topos Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived...

Click to read more »
Timeline of category theory and related mathematics
Sabtu, 2026-05-30 10:19:08

duality 1963 Saunders Mac Lane Mac Lane coherence theorem for determining commutativity of diagrams in monoidal categories 1964 William Lawvere ETCS Elementary...

Click to read more »
Quadratic algebra
Kamis, 2026-03-19 12:59:16

coefficients in the ring. There are free and graded quadratic algebras. Given a commutative ring R, and the ring of polynomials R[X], a free quadratic algebra may...

Click to read more »
Distributed key generation
Kamis, 2024-04-11 15:27:04

cryptography Elliptic-curve cryptography Hash-based cryptography Non-commutative cryptography RSA problem Trapdoor function Tropical cryptography Standardization...

Click to read more »
Monoidal functor
Minggu, 2026-03-15 07:00:39

\otimes ,R)} if R {\displaystyle R} is commutative). If R → S {\displaystyle R\to S} is a homomorphism of commutative rings, then the restriction functor...

Click to read more »
Irreducible element
Jumat, 2026-07-10 02:50:34

by c {\displaystyle c} . This equivalence does not hold for general commutative rings, which is why the assumption of the ring having no nonzero zero...

Click to read more »
Flat module
Selasa, 2026-05-12 06:56:12

is a right exact functor.) These definitions apply also if R is a non-commutative ring, and M is a left R-module; in this case, K, L and J must be right...

Click to read more »
Primary decomposition
Sabtu, 2026-06-27 18:52:00

decomposition does not hold in general for non-commutative Noetherian rings. Noether gave an example of a non-commutative Noetherian ring with a right ideal that...

Click to read more »
Matrix factorization (algebra)
Jumat, 2026-05-08 21:35:01

is a tool used to study infinitely long resolutions, generally over commutative rings. One of the problems with non-smooth algebras, such as Artin algebras...

Click to read more »
Bicomplex number
Sabtu, 2026-01-24 16:53:27

quadratic form in the first component. The bicomplex numbers form a commutative algebra over C of dimension two that is isomorphic to the direct sum...

Click to read more »
Euclid's lemma
Jumat, 2026-07-10 02:50:11

define prime elements, a generalization of prime numbers to arbitrary commutative rings. Euclid's lemma shows that in the integers irreducible elements...

Click to read more »
Ascending chain condition
Jumat, 2026-05-15 21:55:11

ideals in certain commutative rings. These conditions played an important role in the development of the structure theory of commutative rings in the works...

Click to read more »
David Buchsbaum
Kamis, 2024-07-18 18:32:52

January 8, 2021) was a mathematician at Brandeis University who worked on commutative algebra, homological algebra, and representation theory. He proved the...

Click to read more »
Cartier duality
Senin, 2026-04-20 22:16:41

Pontryagin duality for commutative group schemes. It was introduced by Pierre Cartier (1962). Given any finite flat commutative group scheme G over a scheme...

Click to read more »
Quantum algorithm
Minggu, 2026-08-16 09:37:25

1145/1374376.1374394. ISBN 978-1-60558-047-0. Pak, Igor (2012). "Testing commutativity of a group and the power of randomization". LMS Journal of Computation...

Click to read more »
Theory of computation
Rabu, 2026-06-10 06:01:30

theory Philosophy of mathematics Set theory Type theory Algebra Abstract Commutative Elementary Field theory Group theory Homological Linear Multilinear Analysis...

Click to read more »
Polynomial hierarchy
Senin, 2026-05-25 21:40:36

Commutative diagram equivalent to the polynomial time hierarchy. The arrows denote inclusion....

Click to read more »
Keri Sather-Wagstaff
Jumat, 2026-05-22 15:00:11

Framingham State University in Framingham, Massachusetts. Educated as a commutative algebraist, she lists her current professional focus as "intersectional...

Click to read more »
Morphism of finite type
Rabu, 2025-05-28 02:18:15

In commutative algebra, given a homomorphism A → B {\displaystyle A\to B} of commutative rings, B {\displaystyle B} is called an A {\displaystyle A} -algebra...

Click to read more »
2D rotation
Senin, 2026-05-25 00:41:00

\end{aligned}}} Since complex numbers form a commutative ring, vector rotations in two dimensions are commutative, unlike in higher dimensions. They have only...

Click to read more »
Nagata ring
Sabtu, 2026-04-25 05:54:06

In commutative algebra, an N-1 ring is an integral domain A {\displaystyle A} whose integral closure in its quotient field is a finitely generated A {\displaystyle...

Click to read more »
Alternating algebra
Selasa, 2026-05-12 08:59:25

subalgebra contained in the centre of A, and is thus commutative. An anticommutative algebra A over a (commutative) base ring R in which 2 is not a zero divisor...

Click to read more »
Applied category theory
Senin, 2026-06-22 22:49:02

functor Elementary topos Grothendieck topos Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived...

Click to read more »
Artinian ring
Selasa, 2026-05-12 09:15:13

Artinian or two-sided Artinian if it is both left and right Artinian. For commutative rings the left and right definitions coincide, but in general they are...

Click to read more »
Oseledets theorem
Jumat, 2025-04-18 18:51:48

the accumulation of f(x) values weighted by μ(dx). Since addition is commutative, the accumulation of the f(x)μ(dx) values may be done in arbitrary order...

Click to read more »
David A. Cox
Minggu, 2026-04-26 00:43:49

algorithms: an introduction to computational algebraic geometry and commutative algebra, 3rd. edition, Springer Verlag 2007 David A. Cox, John Little...

Click to read more »
Prüfer domain
Rabu, 2026-04-22 08:22:04

In mathematics, a Prüfer domain is a type of commutative ring that generalizes Dedekind domains in a non-Noetherian context. These rings possess the nice...

Click to read more »
De Morgan's laws
Minggu, 2026-08-02 21:52:09

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
Double Ratchet Algorithm
Selasa, 2026-03-24 00:07:07

cryptography Elliptic-curve cryptography Hash-based cryptography Non-commutative cryptography RSA problem Trapdoor function Tropical cryptography Standardization...

Click to read more »
Noncrossing partition
Sabtu, 2026-05-09 18:32:33

be a non-commutative probability space (See free probability for terminology.), a ∈ A {\displaystyle a\in {\mathcal {A}}} a non-commutative random variable...

Click to read more »
Logical equivalence
Minggu, 2026-02-08 01:22:01

q\equiv q\vee p} p ∧ q ≡ q ∧ p {\displaystyle p\wedge q\equiv q\wedge p} Commutative laws ( p ∨ q ) ∨ r ≡ p ∨ ( q ∨ r ) {\displaystyle (p\vee q)\vee r\equiv...

Click to read more »
Algebraic differential equation
Sabtu, 2021-09-25 06:07:26

differential calculus, so that algebraic differential equations make sense in commutative rings. The theory of differential fields was set up to express differential...

Click to read more »
Existential instantiation
Sabtu, 2025-08-30 03:03:40

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
Luchezar Avramov
Kamis, 2026-03-05 21:59:13

Лъчезар Л. Аврамов) is a Bulgarian-American mathematician who works in commutative algebra. He held the Dale M. Jensen Chair in Mathematics at the University...

Click to read more »
Fundamental groupoid
Sabtu, 2025-07-19 08:48:55

functor Elementary topos Grothendieck topos Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived...

Click to read more »
Natural number
Selasa, 2026-08-11 21:09:02

b, and c, a + (b + c) = (a + b) + c and a × (b × c) = (a × b) × c. Commutativity: for all natural numbers a and b, a + b = b + a and a × b = b × a. Existence...

Click to read more »
Gauss sum
Selasa, 2026-01-27 22:53:10

\chi (r)\cdot \psi (r)} where the sum is over elements r of some finite commutative ring R, ψ is a group homomorphism of the additive group R+ into the unit...

Click to read more »
Artin–Tate lemma
Jumat, 2026-05-01 03:41:50

advisor Emil Artin, states: Let A be a commutative Noetherian ring and B ⊂ C {\displaystyle B\subset C} commutative algebras over A. If C is of finite type...

Click to read more »
Join (graph theory)
Senin, 2026-06-08 19:45:18

{\displaystyle n-1} vertices with a single vertex). The join operation is commutative for unlabeled graphs: G 1 + G 2 ≅ G 2 + G 1 {\displaystyle G_{1}+G_{2}\cong...

Click to read more »
Conjunction elimination
Jumat, 2025-10-03 21:35:11

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
Band (algebra)
Kamis, 2026-01-01 21:48:32

{\displaystyle x\leq y} if x y = x {\displaystyle xy=x} . Requiring commutativity implies that this preorder becomes a (semilattice) partial order. A...

Click to read more »
Commercial National Security Algorithm Suite
Kamis, 2026-03-12 11:18:53

cryptography Elliptic-curve cryptography Hash-based cryptography Non-commutative cryptography RSA problem Trapdoor function Tropical cryptography Standardization...

Click to read more »
Disk algebra
Kamis, 2025-11-27 20:53:00

{D} }}{\big \}},} by construction, it becomes a uniform algebra and a commutative Banach algebra. By construction, the disc algebra is a closed subalgebra...

Click to read more »
Encrypted key exchange
Minggu, 2022-07-17 23:17:24

cryptography Elliptic-curve cryptography Hash-based cryptography Non-commutative cryptography RSA problem Trapdoor function Tropical cryptography Standardization...

Click to read more »
Free probability
Jumat, 2025-09-05 00:09:29

Free probability is a mathematical theory that studies non-commutative random variables. The "freeness" or free independence property is the analogue...

Click to read more »
Category theory
Minggu, 2026-08-16 03:31:02

Relations among morphisms (such as fg = h) are often depicted using commutative diagrams, with "points" (corners) representing objects and "arrows" representing...

Click to read more »
Schur functor
Kamis, 2026-02-19 14:59:36

Schur) are certain functors from the category of modules over a fixed commutative ring to itself. They generalize the constructions of exterior powers...

Click to read more »
Ideal (ring theory)
Jumat, 2026-07-10 08:31:12

ring is commutative, the definitions of left, right, and two-sided ideal coincide, and one talks simply of an ideal. In the non-commutative case, "ideal"...

Click to read more »
Amitsur–Levitzki theorem
Kamis, 2026-04-16 01:29:05

Amitsur–Levitzki theorem states that the algebra of n × n matrices over a commutative ring satisfies a certain identity of degree 2n. It was proved by Amitsur...

Click to read more »
Uncertainty principle
Minggu, 2026-08-16 11:55:11

{\displaystyle [{\hat {x}},{\hat {p}}]=i\hbar .} The physical meaning of the non-commutativity can be understood by considering the effect of the commutator on position...

Click to read more »
Universal enveloping algebra
Jumat, 2026-07-10 09:08:35

tensor of rank m = d − n {\displaystyle m=d-n} . By linearity and the commutativity of addition, i.e. that ad x + y = ad y + x , {\displaystyle \operatorname...

Click to read more »
Siegel modular variety
Selasa, 2026-04-14 05:00:48

theory Philosophy of mathematics Set theory Type theory Algebra Abstract Commutative Elementary Field theory Group theory Homological Linear Multilinear Analysis...

Click to read more »
Higher category theory
Sabtu, 2026-05-30 10:23:17

functor Elementary topos Grothendieck topos Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived...

Click to read more »
Ordinal arithmetic
Selasa, 2026-07-14 13:54:11

do not have direct predecessors. Ordinal addition is, in general, not commutative. For example, 3 + ω = ω since the order relation for 3 + ω is 0 < 1 <...

Click to read more »
Numerical semigroup
Minggu, 2026-06-07 17:37:36

in the set and 1 + 1 = 2 is not in the set. Numerical semigroups are commutative monoids and are also known as numerical monoids. The definition of numerical...

Click to read more »
James reduced product
Rabu, 2020-05-27 21:45:21

same homotopy type as ΩΣX, the loop space of the suspension of X. The commutative analogue of the James reduced product is called the infinite symmetric...

Click to read more »
Composition ring
Senin, 2026-08-17 20:41:16

In mathematics, a composition ring, introduced in (Adler 1962), is a commutative ring (R, 0, +, −, ·), possibly without an identity 1, together with an...

Click to read more »
Elementary Calculus: An Infinitesimal Approach
Selasa, 2025-06-17 02:27:36

Closure law for addition: for any x and y, the sum x + y is defined. Commutative law for addition: x + y = y + x. A rule for order: if 0 < x < y then...

Click to read more »
Superalgebra
Kamis, 2026-04-02 15:51:44

associative and unital. A commutative superalgebra (or supercommutative algebra) is one which satisfies a graded version of commutativity. Specifically, A {\displaystyle...

Click to read more »
Biconditional introduction
Selasa, 2023-08-01 19:38:51

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
Quantum geometry
Rabu, 2026-03-25 00:46:40

Alejandro; Zapata, José A. (1998), "Quantum theory of geometry. III. Non-commutativity of Riemannian structures", Classical and Quantum Gravity, 15 (10): 2955–2972...

Click to read more »
Hodge–de Rham spectral sequence
Sabtu, 2026-06-20 16:21:21

also the de Rham cohomology of a variety admit generalizations to non-commutative geometry. This more general setup studies dg categories. To a dg category...

Click to read more »
Non-commutative conditional expectation
Sabtu, 2026-04-11 20:57:16

In mathematics, non-commutative conditional expectation is a generalization of the notion of conditional expectation in classical probability. The space...

Click to read more »
Floating-point arithmetic
Jumat, 2026-08-07 20:53:33

precision. While floating-point addition and multiplication are both commutative (a + b = b + a and a × b = b × a), they are not necessarily associative...

Click to read more »
List object
Selasa, 2026-04-07 07:38:45

functor Elementary topos Grothendieck topos Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived...

Click to read more »
Corona theorem
Kamis, 2024-03-21 02:37:04

conjectured by Kakutani (1941) and proved by Lennart Carleson (1962). The commutative Banach algebra and Hardy space H∞ consists of the bounded holomorphic...

Click to read more »
Burchnall–Chaundy theory
Minggu, 2022-10-23 14:36:19

Burchnall–Chaundy polynomial. Burchnall, J. L.; Chaundy, T. W. (1923), "Commutative ordinary differential operators", Proceedings of the London Mathematical...

Click to read more »
Ideal quotient
Kamis, 2026-07-16 12:49:20

algebra, if I {\displaystyle I} and J {\displaystyle J} are ideals of a commutative ring R {\displaystyle R} , their ideal quotient ( I : J ) {\displaystyle...

Click to read more »
Product (category theory)
Sabtu, 2026-07-18 02:30:01

operation ⟨ ⋅ , ⋅ ⟩ . {\displaystyle \langle \cdot ,\cdot \rangle .} Commutativity of the diagrams above is guaranteed by the equality: for all f 1 , f...

Click to read more »
Marie-Paule Malliavin
Kamis, 2025-05-15 09:19:46

on commutative algebra and representation theory of finite groups are frequently cited. At the beginning of her career, she worked on commutative algebra...

Click to read more »
Logical biconditional
Senin, 2026-08-10 17:41:20

represent the same operation. Red areas stand for true (as in for and). Commutativity: Yes Associativity: Yes Distributivity: Biconditional doesn't distribute...

Click to read more »
Hecke algebra of a pair
Kamis, 2026-07-02 15:06:12

of the pair (G, K). If (G, K) is as above, then the Hecke algebra is commutative if and only if (G, K) is a Gelfand pair. In 1979, Daniel Flath gave a...

Click to read more »
Top (algebra)
Minggu, 2023-08-13 05:29:32

Projective cover Radical of a module Socle (mathematics) David Eisenbud, Commutative algebra with a view toward Algebraic Geometry ISBN 0-387-94269-6 v t...

Click to read more »
Semigroup
Rabu, 2026-07-08 02:40:51

associative but non-commutative is matrix multiplication. If the semigroup operation is commutative, then the semigroup is called a commutative semigroup or...

Click to read more »
Hitman 2 (2025 film)
Sabtu, 2026-08-08 10:38:32

released in 2020. In the first weekend it was at 2nd place with 604,887 commutative audience at the Korean box office. On January 29, the film surpassed...

Click to read more »
Hyman Bass
Jumat, 2026-07-31 07:29:48

mathematics education. His research interests have been in algebraic K-theory, commutative algebra and algebraic geometry, algebraic groups, geometric methods in...

Click to read more »
Biconditional elimination
Jumat, 2024-02-02 03:12:53

excipiens Negation introduction Rules of replacement Associativity Commutativity Distributivity Double negation De Morgan's laws Transposition Material...

Click to read more »
Associated prime
Kamis, 2026-01-22 00:34:41

annihilator). In commutative algebra, associated primes are linked to the Lasker–Noether primary decomposition of ideals in commutative Noetherian rings...

Click to read more »
Henselian ring
Minggu, 2026-05-10 23:43:47

originally allowed Henselian rings to be non-commutative, but most authors now restrict them to be commutative. Some standard references for Hensel rings...

Click to read more »
Pólya urn model
Jumat, 2026-01-23 13:14:15

will be equal to the following expression, where we take advantage of commutativity of multiplication in the numerator: P ( X 1 = x 1 , X 2 = x 2 , . ....

Click to read more »
Jacobson ring
Kamis, 2026-04-30 23:02:57

such that every prime ideal is an intersection of primitive ideals. For commutative rings, primitive ideals are the same as maximal ideals so in this case...

Click to read more »
Umdeutung paper
Selasa, 2026-05-12 16:32:55

final states of quantum jumps. In addition, Heisenberg introduced non-commutative operators in a new multiplication rule, i.e. generally A B ≠ B A {\displaystyle...

Click to read more »
Cartesian product
Kamis, 2026-08-06 03:45:48

definitions. Let A, B, and C be sets. The Cartesian product A × B is not commutative, A × B ≠ B × A , {\displaystyle A\times B\neq B\times A,} because the...

Click to read more »
Normal matrix
Rabu, 2026-07-01 02:17:43

normal elements in C*-algebras. As in the matrix case, normality means commutativity is preserved, to the extent possible, in the noncommutative setting...

Click to read more »
Elliptic Curve Digital Signature Algorithm
Selasa, 2026-07-21 18:26:58

cryptography Elliptic-curve cryptography Hash-based cryptography Non-commutative cryptography RSA problem Trapdoor function Tropical cryptography Standardization...

Click to read more »
Étale algebra
Senin, 2026-03-23 01:46:29

In commutative algebra, an étale algebra over a field is a special type of algebra, one that is isomorphic to a finite product of finite separable field...

Click to read more »
Web of trust
Sabtu, 2026-05-02 18:14:24

cryptography Elliptic-curve cryptography Hash-based cryptography Non-commutative cryptography RSA problem Trapdoor function Tropical cryptography Standardization...

Click to read more »
Jacobson radical
Kamis, 2026-06-04 21:17:27

definitions based on if the ring is commutative or not. In the commutative case, the Jacobson radical of a commutative ring R is defined as the intersection...

Click to read more »
Identity function
Senin, 2026-03-02 17:50:20

Rosales, J. C.; García-Sánchez, P. A. (1999). Finitely Generated Commutative Monoids. Nova Publishers. p. 1. ISBN 978-1-56072-670-8. The element 0...

Click to read more »
Isbell duality
Rabu, 2026-04-22 06:17:15

note:In order for this commutative diagram to hold, it is required that A {\displaystyle {\mathcal {A}}} is small and E is co-complete....

Click to read more »
Diagram
Jumat, 2026-08-07 01:01:20

Collaboration diagram – from UML 2.0 Communication diagram – from UML 2.0 Commutative diagram Comparison diagram Component diagram – from UML 3/9 Composite...

Click to read more »
Shilov boundary
Senin, 2026-04-13 14:05:52

Shilov boundary is the smallest closed subset of the structure space of a commutative Banach algebra where an analog of the maximum modulus principle holds...

Click to read more »
Hyperoperation
Jumat, 2026-08-07 05:02:37

Bennett in 1914, who developed some of the theory of commutative hyperoperations (see § Commutative hyperoperations below). About 12 years later, Wilhelm...

Click to read more »
Domain
Selasa, 2026-06-02 17:21:21

without left or right nonzero zero divisors Integral domain, a non-trivial commutative ring without nonzero zero divisors Atomic domain, an integral domain...

Click to read more »
Cyclic homology
Minggu, 2026-03-08 08:01:46

is referred to as the periodicity sequence. Cyclic cohomology of the commutative algebra A of regular functions on an affine algebraic variety over a...

Click to read more »
Gröbner basis
Minggu, 2026-08-09 16:19:58

computer algebra, computational algebraic geometry, and computational commutative algebra, a Gröbner basis is a particular kind of generating set of an...

Click to read more »
Tensor product of modules
Sabtu, 2026-07-04 18:42:48

proposition (strictly speaking, what is needed is a bimodule structure not commutativity; see a paragraph below). Equipped with this R-module structure, M ⊗...

Click to read more »
Primitive ideal
Minggu, 2026-05-17 11:36:23

primitive ideal is a left primitive ring. For commutative rings the primitive ideals are maximal, and so commutative primitive rings are all fields. The primitive...

Click to read more »
Free object
Selasa, 2026-08-11 12:05:11

space free monoid free commutative monoid free partially commutative monoid free ring free semigroup free semiring free commutative semiring free theory...

Click to read more »
Opposite ring
Rabu, 2026-08-05 22:24:05

R^{\text{op}}} is essentially the same as ⁠ R {\displaystyle R} ⁠. All commutative rings are self-opposite. Let us define the antiisomorphism ⁠ ι : ( R...

Click to read more »
Functor
Jumat, 2026-08-21 12:47:53

axioms are: F {\displaystyle F} transforms each commutative diagram in C {\displaystyle C} into a commutative diagram in D {\displaystyle D} ; if f {\displaystyle...

Click to read more »
John D'Angelo
Jumat, 2026-04-17 22:26:56

domain and analytic subvarieties. D'Angelo's work uses analysis and commutative algebra. A domain all of whose boundary points have finite D'Angelo type...

Click to read more »
Algebraic space
Selasa, 2026-07-14 13:44:31

though there are non quasi-separated group objects that are not schemes. Commutative-group objects in the category of algebraic spaces over an arbitrary scheme...

Click to read more »
Linearly ordered group
Kamis, 2025-09-11 19:02:53

Gérard; Thibon, Jean-Yves (1992). "Simple orderings for free partially commutative groups". International Journal of Algebra and Computation. 2 (3): 351–355...

Click to read more »
Difference of two squares
Kamis, 2026-08-06 20:52:12

elements of any commutative ring. Conversely, if this identity holds in a ring R for all pairs of elements a and b, then R is commutative. To see this,...

Click to read more »
Graded manifold
Minggu, 2026-07-26 06:19:14

manifolds and supermanifolds are phrased in terms of sheaves of graded commutative algebras. However, graded manifolds are characterized by sheaves on smooth...

Click to read more »
Supermodule
Jumat, 2026-03-20 12:43:53

the concept supersymmetry in theoretical physics. Supermodules over a commutative superalgebra can be viewed as generalizations of super vector spaces...

Click to read more »
Fourier transform
Jumat, 2026-08-14 01:20:59

transform on compact groups is a major tool in representation theory and non-commutative harmonic analysis. Let G be a compact Hausdorff topological group, and...

Click to read more »
Secondary calculus and cohomological physics
Jumat, 2025-10-10 15:12:55

Differential calculus over commutative algebras Spectrum of a ring – Set of a ring's prime ideals I. S. Krasil'shchik, Calculus over Commutative Algebras: a concise...

Click to read more »
Projection (mathematics)
Minggu, 2026-03-01 20:09:12

The commutativity of this diagram is the universality of the projection π, for any map f and set X....

Click to read more »
Frobenioid
Kamis, 2026-08-13 02:43:36

Frobenioid of a commutative monoid, given by a sort of semidirect product of the monoid of positive integers by a family Φ of commutative monoids over a...

Click to read more »
Von Neumann regular ring
Minggu, 2026-05-10 06:44:44

Neumann regular ring is a ring R (associative, with 1, not necessarily commutative) such that for every element a in R there exists an x in R with a = axa...

Click to read more »
Falcon (signature scheme)
Minggu, 2026-05-10 20:44:01

cryptography Elliptic-curve cryptography Hash-based cryptography Non-commutative cryptography RSA problem Trapdoor function Tropical cryptography Standardization...

Click to read more »
Projective module
Kamis, 2026-06-25 20:58:06

R-modules and Ab is the category of abelian groups. When the ring R is commutative, Ab is advantageously replaced by R-Mod in the preceding characterization...

Click to read more »
Schnorr signature
Rabu, 2026-05-20 15:46:28

cryptography Elliptic-curve cryptography Hash-based cryptography Non-commutative cryptography RSA problem Trapdoor function Tropical cryptography Standardization...

Click to read more »
Farhad Ardalan
Minggu, 2026-06-07 21:45:20

supergravity solutions with a quotient structure, and discovery of non-commutativity in D-branes of string theory. He is also known for research work in...

Click to read more »
3-category
Senin, 2026-08-24 21:30:37

functor Elementary topos Grothendieck topos Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived...

Click to read more »
NIST Post-Quantum Cryptography Standardization
Sabtu, 2026-08-22 12:49:01

cryptography Elliptic-curve cryptography Hash-based cryptography Non-commutative cryptography RSA problem Trapdoor function Tropical cryptography Standardization...

Click to read more »
SQIsign
Senin, 2026-05-25 18:05:15

cryptography Elliptic-curve cryptography Hash-based cryptography Non-commutative cryptography RSA problem Trapdoor function Tropical cryptography Standardization...

Click to read more »
Robbins algebra
Kamis, 2025-12-11 07:33:54

{\displaystyle a\lor \left(b\lor c\right)=\left(a\lor b\right)\lor c} Commutativity: a ∨ b = b ∨ a {\displaystyle a\lor b=b\lor a} Robbins equation: ¬ (...

Click to read more »
Stanley–Reisner ring
Senin, 2026-08-03 01:33:41

construction is a basic tool within algebraic combinatorics and combinatorial commutative algebra. Its properties were investigated by Richard Stanley, Melvin...

Click to read more »
Rubik's Cube group
Kamis, 2026-05-07 03:42:37

Rubik's Cube group is non-abelian as composition of cube moves is not commutative; doing a sequence of cube moves in a different order can result in a...

Click to read more »
Rocq
Senin, 2026-04-20 07:48:30

the theory of equality modulo ring or semiring axioms via associative-commutative rewriting. For example, the following proof establishes a complex equality...

Click to read more »
Fontaine's period rings
Sabtu, 2026-06-06 04:05:10

In mathematics, Fontaine's period rings are a collection of commutative rings first defined by Jean-Marc Fontaine that are used to classify p {\displaystyle...

Click to read more »
List of Schoolhouse Rock! episodes
Minggu, 2026-07-05 04:54:17

with diamond rings, barrels of oil, and 12 wives. It also explores the commutative property in multiplication. 7 7 "Lucky Seven Sampson" Bob Dorough Bob...

Click to read more »
Diffie–Hellman key exchange
Senin, 2026-07-13 01:40:40

cryptography Elliptic-curve cryptography Hash-based cryptography Non-commutative cryptography RSA problem Trapdoor function Tropical cryptography Standardization...

Click to read more »
Poisson ring
Kamis, 2026-04-02 09:45:09

In mathematics, a Poisson ring is a commutative ring on which an anticommutative and distributive binary operation [ ⋅ , ⋅ ] {\displaystyle [\cdot ,\cdot...

Click to read more »
Galois ring
Minggu, 2025-05-25 15:58:30

In mathematics, Galois rings are a type of finite commutative rings which generalize both the finite fields and the rings of integers modulo a prime power...

Click to read more »
Tensor product
Minggu, 2026-07-12 08:36:46

of two vector spaces V {\displaystyle V} and W {\displaystyle W} is commutative in the sense that there is a canonical isomorphism: V ⊗ W ≅ W ⊗ V , {\displaystyle...

Click to read more »
Satoshi Suzuki (mathematician)
Sabtu, 2026-03-21 23:42:39

written by Suzuki are cited in the textbook "Homologie des algèbres commutatives". Satoshi Suzuki was born on 24 June 1930 in Nagoya. He entered Kyoto...

Click to read more »
Technical definition
Sabtu, 2024-08-31 23:28:23

group is a group which is commutative. term: abelian group category: mathematical groups distinguishing features: commutative When a term needs to be explained...

Click to read more »
Weil restriction
Minggu, 2026-06-21 03:02:21

\operatorname {Res} _{L/k}\mathbb {G} } of a (commutative) group variety G {\displaystyle \mathbb {G} } is again a (commutative) group variety of dimension [ L :...

Click to read more »
Topological K-theory
Kamis, 2026-05-14 21:31:10

{\displaystyle K_{k}(X)} is defined to be the Grothendieck group of the commutative monoid of isomorphism classes of finite-dimensional k-vector bundles...

Click to read more »
Divided power structure
Selasa, 2026-07-28 02:03:53

In mathematics, specifically commutative algebra, a divided power structure is a way of introducing items with similar properties as expressions of the...

Click to read more »
Burnside's theorem
Minggu, 2026-04-19 10:38:08

{\displaystyle G} , Z ( Z [ G ] ) {\displaystyle Z(\mathbb {Z} [G])} , is a commutative ring, finitely generated over Z {\displaystyle \mathbb {Z} } . All of...

Click to read more »
Subdirect product
Senin, 2025-07-07 06:50:20

represent many small perfect groups in (Holt & Plesken 1989). Every reduced commutative Noetherian ring is a sub-direct product of integral domains (over a field...

Click to read more »
Polynomial expansion
Selasa, 2026-02-03 05:03:37

Two expressions can be multiplied by using the commutative law, associative law and distributive law. (To multiply more than 2 expressions, just multiply...

Click to read more »
Translation (geometry)
Sabtu, 2026-06-13 22:34:43

) {\displaystyle E(n)/\mathbb {T} \cong O(n)} Because translation is commutative, the translation group is abelian. There are an infinite number of possible...

Click to read more »
Sober space
Rabu, 2025-12-03 04:20:33

is sober. Finite T0 spaces are sober. The prime spectrum Spec(R) of a commutative ring R with the Zariski topology is a compact sober space. In fact, every...

Click to read more »
Rule of replacement
Selasa, 2026-02-24 02:57:36

∧ q ) → ( q ∧ p ) {\displaystyle (p\wedge q)\rightarrow (q\wedge p)} Commutative ( p ∧ q ) → r ∴ p → ( q → r ) ¯ {\displaystyle {\begin{aligned}(p\wedge...

Click to read more »
O. Carruth McGehee
Senin, 2025-09-08 18:26:50

November 1939 in Baton Rouge) is an American mathematician, specializing in commutative harmonic analysis, functional analysis, and complex analysis. McGehee...

Click to read more »
Logical connective
Minggu, 2026-05-24 07:51:25

not matter as long as the sequence of the operands is not changed. Commutativity The operands of the connective may be swapped, preserving logical equivalence...

Click to read more »
Group homomorphism
Kamis, 2026-08-06 13:31:18

homomorphisms is defined by (h + k)(u) = h(u) + k(u)    for all u in G. The commutativity of H is needed to prove that h + k is again a group homomorphism. The...

Click to read more »
Commuting matrices
Sabtu, 2026-05-09 17:13:47

restricted to Hermitian matrices without multiple eigenvalues, then commutativity is transitive, as a consequence of the characterization in terms of...

Click to read more »
Catenary ring
Selasa, 2026-03-24 13:01:14

In mathematics, a commutative ring R is catenary if for any pair of prime ideals p, q, any two strictly increasing chains p = p0 ⊂ p1 ⊂ ... ⊂ pn = q of...

Click to read more »
John von Neumann
Sabtu, 2026-08-08 08:49:40

determination of its momentum and vice versa, is translated into the non-commutativity of the two corresponding operators. This new mathematical formulation...

Click to read more »
Essentially surjective functor
Selasa, 2024-03-05 02:02:20

functor Elementary topos Grothendieck topos Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived...

Click to read more »
Quotient ring
Jumat, 2026-07-31 11:40:29

facts prove useful in commutative algebra and algebraic geometry: for R ≠ { 0 } {\displaystyle R\neq \lbrace 0\rbrace } commutative, R   /   I {\displaystyle...

Click to read more »
Sheaf of algebras
Kamis, 2025-07-10 01:17:05

algebraic geometry, a sheaf of algebras on a ringed space X is a sheaf of commutative rings on X that is also a sheaf of O X {\displaystyle {\mathcal {O}}_{X}}...

Click to read more »
Combinatorial number system
Jumat, 2026-08-21 20:02:12

theorem of Eakin and Sathaye and Green's hyperplane restriction theorem", Commutative Algebra: Geometric, Homological, Combinatorial and Computational Aspects...

Click to read more »
Numerical algebraic geometry
Minggu, 2026-08-23 23:44:31

theory Philosophy of mathematics Set theory Type theory Algebra Abstract Commutative Elementary Field theory Group theory Homological Linear Multilinear Analysis...

Click to read more »
ElGamal encryption
Jumat, 2026-08-14 01:25:26

cryptography Elliptic-curve cryptography Hash-based cryptography Non-commutative cryptography RSA problem Trapdoor function Tropical cryptography Standardization...

Click to read more »
Monomorphism
Selasa, 2026-07-14 06:52:58

functor Elementary topos Grothendieck topos Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived...

Click to read more »
Additive inverse
Senin, 2026-06-22 22:12:41

{\displaystyle y+x=e} . Addition is typically only used to refer to a commutative operation, but for some systems of numbers, such as floating point, it...

Click to read more »
Irvin Cohen
Senin, 2026-07-06 09:45:06

named after him and Francis Sowerby Macaulay. In 1950, he proved that a commutative ring whose prime ideals are all finitely generated is a Noetherian ring...

Click to read more »
Sarah Glaz
Jumat, 2025-12-26 23:41:35

is a mathematician and mathematical poet. Her research specialty is commutative algebra; she is a professor emeritus of mathematics at the University...

Click to read more »
Join (topology)
Selasa, 2026-06-23 08:29:46

or, the discrete space with two points). The join of two spaces is commutative up to homeomorphism, i.e. A ⋆ B ≅ B ⋆ A {\displaystyle A\star B\cong...

Click to read more »
Principal ideal ring
Rabu, 2026-04-22 08:27:25

satisfied for both left and right ideals, such as the case when R is a commutative ring, R can be called a principal ideal ring, or simply principal ring...

Click to read more »
Abstract algebra
Senin, 2026-08-03 20:21:12

1870 Kronecker defined an abstract binary operation that was closed, commutative, associative, and had the left cancellation property b ≠ c → a ⋅ b ≠...

Click to read more »
Chern–Gauss–Bonnet theorem
Rabu, 2025-06-18 00:14:50

2n × 2n matrix whose entries are 2-forms, so it is a matrix over the commutative ring ⋀ even T ∗ M {\textstyle {\bigwedge }^{\text{even}}\,T^{*}M} . Hence...

Click to read more »
Homogeneous polynomial
Jumat, 2026-08-21 04:43:11

x n , {\displaystyle x_{1},\ldots ,x_{n},} one has, whichever is the commutative ring of the coefficients, d P = ∑ i = 1 n x i ∂ P ∂ x i , {\displaystyle...

Click to read more »
Exclusive or
Minggu, 2026-05-17 12:32:58

{\triangledown } T} , or S △ ⁡ T {\displaystyle S\mathop {\vartriangle } T} . Commutativity: yes Associativity: yes Distributivity: The exclusive or does not distribute...

Click to read more »
Vector algebra relations
Senin, 2025-05-05 04:44:38

n-dimensions. Commutativity of addition: A + B = B + A {\displaystyle \mathbf {A} +\mathbf {B} =\mathbf {B} +\mathbf {A} } . Commutativity of scalar product:...

Click to read more »
Reduced ring
Jumat, 2026-03-27 01:58:00

A commutative algebra over a commutative ring is called a reduced algebra if its underlying ring is reduced. The nilpotent elements of a commutative ring...

Click to read more »
Quantale
Kamis, 2026-05-21 23:42:01

strictly two-sided (or simply integral). A commutative quantale is a quantale whose multiplication is commutative. A frame, with its multiplication given...

Click to read more »
Artin–Tits group
Kamis, 2026-04-16 10:43:52

and Giovanni Paolini). Free partially commutative monoid Artinian group (an unrelated notion) Non-commutative cryptography Elementary abelian group Artin...

Click to read more »
RSA cryptosystem
Jumat, 2026-08-14 02:48:27

cryptography Elliptic-curve cryptography Hash-based cryptography Non-commutative cryptography RSA problem Trapdoor function Tropical cryptography Standardization...

Click to read more »
Complex multiplication of abelian varieties
Minggu, 2025-02-09 13:23:04

defined over a field K is said to have CM-type if it has a large enough commutative subring in its endomorphism ring End(A). The terminology here is from...

Click to read more »
Lattice
Minggu, 2026-08-09 01:38:04

systems based on partially ordered access privileges Skew lattice, a non-commutative generalization of order-theoretic lattices Lattice multiplication, a...

Click to read more »
Tensor
Rabu, 2026-08-19 06:11:34

of the component notation: the ability to re-arrange terms at will (commutativity), the need to use different indices when working with multiple objects...

Click to read more »
Non-abelian gauge transformation
Sabtu, 2025-07-19 21:11:36

structure constants C a b c {\displaystyle C^{abc}} quantify the lack of commutativity, and do not vanish. We can deduce that the structure constants are antisymmetric...

Click to read more »
Cone (category theory)
Kamis, 2026-02-19 12:32:19

functor Elementary topos Grothendieck topos Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived...

Click to read more »
Tannakian formalism
Jumat, 2026-03-27 03:59:33

functor Elementary topos Grothendieck topos Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived...

Click to read more »
Isomorphism
Senin, 2026-08-10 15:50:46

functor Elementary topos Grothendieck topos Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived...

Click to read more »
Primary
Senin, 2025-09-08 21:06:58

Primary decomposition into primary ideals Primary ideals, concept in commutative algebra Primary number, positive integer power of a prime number Primary...

Click to read more »
Two-element Boolean algebra
Senin, 2025-04-14 20:09:35

assume that (1) associates from either the left or the right, then prove commutativity. Then prove association from the other direction. Associativity is simply...

Click to read more »
David Eisenbud
Jumat, 2026-06-19 02:30:31

Mathematical Society. Eisenbud's mathematical interests include commutative and non-commutative algebra, algebraic geometry, topology, and computational methods...

Click to read more »
Krull–Schmidt category
Kamis, 2026-04-30 17:37:21

additive category, or more generally an additive R-linear category for a commutative ring R. We call C a Krull–Schmidt category provided that every object...

Click to read more »
Vieta's formulas
Sabtu, 2026-05-30 17:55:19

closed field containing R. If a polynomial of degree n factors over a commutative ring as a 0 x n + a 1 x n − 1 + ⋯ + a n = a 0 ( x − r 1 ) ⋯ ( x − r n...

Click to read more »
Normal scheme
Jumat, 2026-02-20 22:27:10

MR 1507376 theorem 11 Eisenbud, D. Commutative Algebra (1995). Springer, Berlin. Theorem 11.5 Eisenbud, D. Commutative Algebra (1995). Springer, Berlin...

Click to read more »
Tertiary ideal
Rabu, 2025-03-12 12:39:12

primary ideal is tertiary. Tertiary ideals and primary ideals coincide for commutative rings. To any (two-sided) ideal, a tertiary ideal can be associated called...

Click to read more »
Skew lattice
Sabtu, 2025-11-01 05:43:19

structure that is a non-commutative generalization of a lattice. While the term skew lattice can be used to refer to any non-commutative generalization of a...

Click to read more »
Stable ∞-category
Kamis, 2026-04-30 23:56:02

functor Elementary topos Grothendieck topos Pre-abelian Preadditive Commutative diagram Cone End Exponential Functor Adjoint functors Conservative Derived...

Click to read more »
Néron model
Senin, 2026-05-11 00:01:28

and are commutative quasi-projective group schemes over R. The fiber of a Néron model over a closed point of Spec(R) is a smooth commutative algebraic...

Click to read more »
Monad (functional programming)
Senin, 2026-07-13 16:58:27

pseudocode § above. Algebraically, the relationship between the two (non-commutative) monoid aspects resembles that of a near-semiring, and some additive...

Click to read more »
Hilbert C*-module
Kamis, 2026-05-07 01:21:20

the work of Irving Kaplansky in 1953, which developed the theory for commutative, unital algebras (though Kaplansky observed that the assumption of a...

Click to read more »
Derivation (differential algebra)
Kamis, 2026-04-02 15:40:19

D(k)=0} for all k ∈ K {\displaystyle k\in K} . If A {\displaystyle A} is commutative, then D ( x 2 ) = x D ( x ) + D ( x ) x = 2 x D ( x ) {\displaystyle...

Click to read more »
Elementary arithmetic
Rabu, 2026-03-25 04:01:19

elementary arithmetic, multiplication satisfies the following properties: Commutativity. Switching the order in a product does not change the result: a × b...

Click to read more »
Finitely generated abelian group
Selasa, 2026-05-12 01:42:24

Commutative group where every element is the sum of elements from one finite subset...

Click to read more »
Gelfand–Naimark theorem
Selasa, 2025-09-09 06:24:53

isometries. Remark. The Gelfand representation or Gelfand isomorphism for a commutative C*-algebra with unit A {\displaystyle A} is an isometric *-isomorphism...

Click to read more »
Group scheme
Jumat, 2026-04-10 07:00:17

Pontryagin duality taking finite commutative group schemes to finite commutative group schemes. Finite flat commutative group schemes over a perfect field...

Click to read more »
Logical disjunction
Sabtu, 2026-08-15 15:37:02

properties apply to disjunction: Associativity: a ∨ (b ∨ c) ≡ (a ∨ b) ∨ c Commutativity: a ∨ b ≡ b ∨ a Distributivity: (a ∧ (b ∨ c)) ≡ ((a ∧ b) ∨ (a ∧ c)) (a...

Click to read more »
Frobenius theorem (real division algebras)
Senin, 2026-06-15 05:06:35

dimension 1, 2, and 4, respectively. Of these three algebras, R and C are commutative, but H is not. The main ingredients for the following proof are the Cayley–Hamilton...

Click to read more »
Outline of logic
Minggu, 2026-02-01 10:03:39

Biconditional elimination Biconditional introduction Case analysis Commutativity of conjunction Conjunction introduction Constructive dilemma Contraposition...

Click to read more »