# Category:Ideal Theory

Jump to navigation
Jump to search

This category contains results about Ideal Theory.

Definitions specific to this category can be found in Definitions/Ideal Theory.

**Ideal Theory** is a branch of abstract algebra which studies ideals of rings.

## Subcategories

This category has the following 10 subcategories, out of 10 total.

### E

### I

### M

### P

### Q

### R

## Pages in category "Ideal Theory"

The following 93 pages are in this category, out of 93 total.

### C

- Canonical Epimorphism from Integers by Principal Ideal
- Canonical Injection from Ideal of External Direct Sum of Rings
- Commutative and Unitary Ring with 2 Ideals is Field
- Condition for Ideal to be Total Ring
- Conditions for Internal Ring Direct Sum
- Congruence Relation and Ideal are Equivalent
- Congruence Relation on Ring induces Ideal

### E

### I

- Ideal Contained in Finite Union of Prime Ideals
- Ideal induced by Congruence Relation defines that Congruence
- Ideal induces Congruence Relation on Ring
- Ideal is Additive Normal Subgroup
- Ideal is Bimodule over Ring
- Ideal is Contained in Contraction of Extension
- Ideal is Subring
- Ideal of External Direct Sum of Rings
- Ideal of Unit is Whole Ring
- Ideal of Unit is Whole Ring/Corollary
- Ideals Containing Ideal Form Lattice
- Ideals Containing Ideal Isomorphic to Quotient Ring
- Ideals of Division Ring
- Ideals of Field
- Ideals of Ring of Integers Modulo m
- Increasing Union of Ideals is Ideal
- Increasing Union of Ideals is Ideal/Chain
- Increasing Union of Ideals is Ideal/Sequence
- Increasing Union of Sequence of Ideals is Ideal
- Integer Divisor is Equivalent to Subset of Ideal
- Integral Ideal is Ideal of Ring
- Intersection of Integer Ideals is Lowest Common Multiple
- Intersection of Ring Ideals Containing Subset is Smallest
- Intersection of Ring Ideals is Ideal
- Intersection of Ring Ideals is Largest Ideal Contained in all Ideals

### N

### P

- Polynomial Forms over Field form Integral Domain/Formulation 1
- Preimage of Ideal under Ring Homomorphism is Ideal
- Preimage of Image of Ideal under Ring Homomorphism
- Prime Number iff Generates Principal Maximal Ideal
- Principal Ideal Domain fulfills Ascending Chain Condition
- Principal Ideal Domain is Unique Factorization Domain
- Principal Ideal from Element in Center of Ring
- Principal Ideal is Ideal
- Principal Ideals of Integers
- Projection onto Ideal of External Direct Sum of Rings
- Property of Being an Ideal is not Transitive

### Q

### R

### S

- Second Isomorphism Theorem for Rings
- Second Isomorphism Theorem/Rings
- Set of Ideals forms Complete Lattice
- Set of Ring Elements forming Zero Product with given Element is Ideal
- Subgroup of Additive Group Modulo m is Ideal of Ring
- Subgroup of Integers is Ideal
- Subring Generated by Unity of Ring with Unity
- Subring is not necessarily Ideal
- Subring of Integers is Ideal
- Sum of Ideals is Ideal
- Sum of Ideals is Ideal/Corollary
- Sum of Ideals is Ideal/General Result
- Sum of Ideals is Ideal/General Result/Corollary
- Sum of Integer Ideals is Greatest Common Divisor