Associative rings and algebras Definition
Zero divisor
Builds on Ring
Definition
Let be a ring. An element is a left zero divisor if there is a nonzero with . An element is a right zero divisor if there is a nonzero with . An element is a zero divisor if it is a left or a right zero divisor.
Remarks
In a commutative ring, left and right zero divisors are the same. In , the classes of and are zero divisors, because . Some authors do not count as a zero divisor. With the definition above, is a zero divisor of every nonzero ring. A unit is never a zero divisor.
Reading path
To understand this page from the ground up, read these 3 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Group concept
- Ring definition
- Zero divisor definition
Where this leads
146 pages build on this one.
- The integers are a Euclidean domain
- The characteristic of an integral domain is zero or prime
- Irreducible polynomial
- Uniqueness of finite fields of a given order
- Existence of splitting fields
- Uniqueness of the algebraic closure
- Euclidean algorithm in a Euclidean domain
- Eisenstein's criterion
- Algebraically closed field
- Norm on the Gaussian integers
- Galois field
- Irreducible element
- PID implies UFD
- The rationals as the field of fractions of the integers
- Maximal ideals are prime
- Uniqueness of splitting fields
- Z[x] is not a principal ideal domain
- Units of the Gaussian integers
- Unique factorisation domain
- Product of primitive polynomials is primitive
- Content of a polynomial
- In a PID a nonzero element is irreducible iff it generates a maximal ideal
- Integral domain
- R/P is an integral domain iff P is prime
- K[x]/(f) is a field iff f is irreducible
- R[x] is an integral domain iff R is
- Order of the Galois group of a Galois extension equals its degree
- Z[√-5] is not a UFD
- Normal extension
- A finite field of order q is the splitting field of x^q - x
- Irreducible elements need not be prime
- Finite subgroups of the multiplicative group of a field are cyclic
- Impossibility of doubling the cube
- Polynomial ring over a UFD is a UFD
- K[x] is a Euclidean domain
- Galois extension
- A finite integral domain is a field
- The multiplicative group of a finite field is cyclic
- Existence of an algebraic closure
- Impossibility of trisecting the angle
- Prime elements are irreducible in an integral domain
- Greatest common divisor in an integral domain
- Euclidean domain
- Cancellation in an integral domain
- The order of a finite field is a prime power
- Gaussian integers
- A polynomial over a field has at most as many roots as its degree
- Reduction modulo p test for irreducibility
- Adjoining a root of a polynomial
- Algebraic closure
- Degree of a simple extension is the degree of the minimal polynomial
- The minimal polynomial is irreducible
- Z/pZ is a field for p prime
- The Gaussian integers are a Euclidean domain
- Gauss's lemma
- Euclidean domains are principal ideal domains
- In a UFD irreducible elements are prime
- Principal ideal domain
- Irreducibility of the cyclotomic polynomials over the rationals
- Primitive polynomial
- The degree of a constructible number is a power of two
- Fundamental theorem of Galois theory
- Degree of a product
- Existence of finite fields of every prime power order
- Field of fractions
- Every polynomial has a root in some extension field
- Polynomials of degree two or three are irreducible iff they have no roots
- Bézout's identity in a Euclidean domain
- Impossibility of squaring the circle
- Gauss–Wantzel theorem
- Primitive element of a finite field
- K(a) is isomorphic to K[x] modulo the minimal polynomial
- Regular local rings are UFDs
- Primitive polynomial over a finite field
- Cohn's irreducibility criterion
- Field of formal Laurent series
- Galois group of a prime degree polynomial with two nonreal roots
- Artin–Schreier theorem
- Perron's irreducibility criterion
- Model theory of algebraically closed fields
- Weil conjectures
- Krull domain
- Finite field arithmetic
- Polynomial greatest common divisor
- Class number
- Moduli space
- Néron–Severi group
- Artin–Schreier theory
- Cyclotomic field
- Galois theory
- Cayley–Bacharach theorem
- Tropical variety
- Steinitz's theorem on algebraically closed fields
- Iwasawa manifold
- Quasi-algebraically closed field
- Standard conjectures on algebraic cycles
- Factorization of polynomials
- Polynomial interpolation
- Separably closed field
- Homotopy continuation for polynomial systems
- Complex p-adic numbers
- Krull–Akizuki theorem
- Krasner's lemma
- Pythagorean field
- Separable closure
- Nagata's criterion for factoriality
- Normal closure
- Capelli's theorem
- Berlekamp's algorithm
- Mori–Nagata theorem
- Field of rational functions
- Berkovich space dynamics
- Bézout's theorem
- Casus irreducibilis
- Galois group of a finite field extension
- Perfect field
- Hilbert's irreducibility theorem
- Infinite Galois theory
- GCD domain
- Characterizations of Galois extensions
- Cyclic extension
- Normal basis theorem
- Hilbertian field
- Generic smoothness
- Categorical theory
- Mori domain
- Atomic domain
- Quintic equation
- Zero divisors are the union of associated primes
- Shafarevich's theorem on solvable Galois groups
- Abelian extension
- Hahn series
- Krull topology
- Perfect closure
- Tsen's theorem
- Prüfer domain
- Impossibility of the classical construction problems
- Bézout domain
- Artin's theorem on fixed fields
- Separable degree
- Factorization of polynomials over finite fields
- Divisor class group
- Hilbert's Theorem 90
- Inverse Galois problem
- Valuation ring
- Newton–Puiseux theorem
Further reading
- Web https://en.wikipedia.org/wiki/Zero_divisor, lead section
About this page
| Tag | 0K26YKNBSA |
|---|---|
| URI | m2://0K26YKNBSA |
| Kind | definition |
| Writing | W1 stated |
| MSC | 16U99 |
| Defines | Zero divisor |
| Uses | Ring |
Markdown · JSON · Edit on GitHub
What this page needs for W2
- edge instance_of in: one example (0 of 1)
- edge not_instance_of in: one non-example that fails one clause (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.