Commutative algebra Definition
Ideal generated by a subset
Builds on IdealCommutative ring
Definition
Let be a ring and let be a subset. The left ideal generated by is the intersection of all the left ideals of that contain . The notation for it is . It is the smallest left ideal of that contains .
Remarks
The left ideal is the set of the finite sums with , and . For a finite set, one writes for . In , the ideal is . An ideal generated by one element is a principal ideal.
Reading path
To understand this page from the ground up, read these 5 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Group concept
- Ring definition
- Commutative ring definition
- Ideal definition
- Ideal generated by a subset definition
Where this leads
54 pages build on this one.
- Principal ideal
- Uniqueness of finite fields of a given order
- Existence of splitting fields
- Uniqueness of the algebraic closure
- Galois field
- PID implies UFD
- Uniqueness of splitting fields
- Z[x] is not a principal ideal domain
- In a PID a nonzero element is irreducible iff it generates a maximal ideal
- K[x]/(f) is a field iff f is irreducible
- Impossibility of doubling the cube
- Impossibility of trisecting the angle
- Adjoining a root of a polynomial
- Noetherian ring
- Degree of a simple extension is the degree of the minimal polynomial
- Euclidean domains are principal ideal domains
- Principal ideal domain
- The degree of a constructible number is a power of two
- Existence of finite fields of every prime power order
- Every polynomial has a root in some extension field
- Impossibility of squaring the circle
- Gauss–Wantzel theorem
- Hilbert's basis theorem
- K(a) is isomorphic to K[x] modulo the minimal polynomial
- Regular local rings are UFDs
- Algebraic set
- Complete intersection
- Artin–Tate lemma
- Lasker–Noether theorem
- Gröbner basis
- Model theory of algebraically closed fields
- Weil conjectures
- Jacobson's conjecture
- Akizuki–Hopkins–Levitzki theorem
- Steinitz's theorem on algebraically closed fields
- Extension and contraction of ideals
- Standard conjectures on algebraic cycles
- Coherent ring
- Krull–Akizuki theorem
- Nagata's criterion for factoriality
- Mori–Nagata theorem
- Embedded prime
- Levitzki's theorem
- Lenagan's theorem
- Categorical theory
- Zero divisors are the union of associated primes
- Krull's principal ideal theorem
- Krull's height theorem
- Cohen's theorem on Noetherian rings
- Hopkins–Levitzki theorem
- Impossibility of the classical construction problems
- Bézout domain
- Finiteness of associated primes
- Buchberger's algorithm
Further reading
About this page
| Tag | 030TZ0DQWT |
|---|---|
| URI | m2://030TZ0DQWT |
| Kind | definition |
| Writing | W0 stub |
| MSC | 13A15 |
| Defines | Ideal generated by a subset |
| Uses | Ideal, Commutative ring |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.