Logo
Unionpedia
Communication
Get it on Google Play
New! Download Unionpedia on your Android™ device!
Free
Faster access than browser!
 

Ideal (ring theory)

Index Ideal (ring theory)

In ring theory, a branch of abstract algebra, an ideal is a special subset of a ring. [1]

93 relations: Abstract algebra, Additive group, Annihilator (ring theory), Artinian ideal, Bimodule, Boolean prime ideal theorem, Bounded operator, Chinese remainder theorem, Closure (mathematics), Compact operator, Complete lattice, Congruence relation, Continuous function, Coset, Cyclic group, David Hilbert, Dedekind domain, Distributive lattice, Division ring, Emmy Noether, Empty set, Empty sum, Ernst Kummer, Field (mathematics), Field of fractions, Finitely generated module, Fractional ideal, Fundamental theorem of arithmetic, Generating set of a module, Group theory, Homomorphism, Ideal (order theory), Ideal norm, Ideal number, Ideal quotient, Ideal theory, Idealizer, Integer, Integral domain, Intersection (set theory), Irreducible ideal, Isomorphism theorems, Kernel (algebra), Krull's theorem, Lattice (order), Macaulay computer algebra system, Matrix (mathematics), Maximal ideal, Michiel Hazewinkel, Minimal ideal, ..., Modular arithmetic, Modular lattice, Module (mathematics), Natural number, Nil ideal, Noncommutative ring, Normal subgroup, Number theory, Opposite ring, Order theory, Parity (mathematics), Partially ordered set, Pointwise product, Polynomial, Primary ideal, Prime ideal, Prime number, Prime ring, Primitive ideal, Primitive ring, Principal ideal, Principal ideal domain, Pseudo-ring, Quotient group, Quotient ring, Radical of an ideal, Reduced ring, Regular ideal, Richard Dedekind, Ring (mathematics), Ring homomorphism, Ring theory, Semiprime ring, Semiring, Simple module, Simple ring, Springer Science+Business Media, Subgroup, Subset, Union (set theory), Unit (ring theory), Vorlesungen über Zahlentheorie, Zorn's lemma. Expand index (43 more) »

Abstract algebra

In algebra, which is a broad division of mathematics, abstract algebra (occasionally called modern algebra) is the study of algebraic structures.

New!!: Ideal (ring theory) and Abstract algebra · See more »

Additive group

An additive group is a group of which the group operation is to be thought of as addition in some sense.

New!!: Ideal (ring theory) and Additive group · See more »

Annihilator (ring theory)

In mathematics, specifically module theory, the annihilator of a set is a concept generalizing torsion and orthogonality.

New!!: Ideal (ring theory) and Annihilator (ring theory) · See more »

Artinian ideal

In abstract algebra, an Artinian ideal, named after Emil Artin, is encountered in ring theory, in particular, with polynomial rings.

New!!: Ideal (ring theory) and Artinian ideal · See more »

Bimodule

In abstract algebra, a bimodule is an abelian group that is both a left and a right module, such that the left and right multiplications are compatible.

New!!: Ideal (ring theory) and Bimodule · See more »

Boolean prime ideal theorem

In mathematics, a prime ideal theorem guarantees the existence of certain types of subsets in a given algebra.

New!!: Ideal (ring theory) and Boolean prime ideal theorem · See more »

Bounded operator

In functional analysis, a bounded linear operator is a linear transformation L between normed vector spaces X and Y for which the ratio of the norm of L(v) to that of v is bounded above by the same number, over all non-zero vectors v in X. In other words, there exists some M\ge 0 such that for all v in X The smallest such M is called the operator norm \|L\|_ \, of L. A bounded linear operator is generally not a bounded function; the latter would require that the norm of L(v) be bounded for all v, which is not possible unless L(v).

New!!: Ideal (ring theory) and Bounded operator · See more »

Chinese remainder theorem

The Chinese remainder theorem is a theorem of number theory, which states that if one knows the remainders of the Euclidean division of an integer by several integers, then one can determine uniquely the remainder of the division of by the product of these integers, under the condition that the divisors are pairwise coprime.

New!!: Ideal (ring theory) and Chinese remainder theorem · See more »

Closure (mathematics)

A set has closure under an operation if performance of that operation on members of the set always produces a member of the same set; in this case we also say that the set is closed under the operation.

New!!: Ideal (ring theory) and Closure (mathematics) · See more »

Compact operator

In functional analysis, a branch of mathematics, a compact operator is a linear operator L from a Banach space X to another Banach space Y, such that the image under L of any bounded subset of X is a relatively compact subset (has compact closure) of Y. Such an operator is necessarily a bounded operator, and so continuous.

New!!: Ideal (ring theory) and Compact operator · See more »

Complete lattice

In mathematics, a complete lattice is a partially ordered set in which all subsets have both a supremum (join) and an infimum (meet).

New!!: Ideal (ring theory) and Complete lattice · See more »

Congruence relation

In abstract algebra, a congruence relation (or simply congruence) is an equivalence relation on an algebraic structure (such as a group, ring, or vector space) that is compatible with the structure.

New!!: Ideal (ring theory) and Congruence relation · See more »

Continuous function

In mathematics, a continuous function is a function for which sufficiently small changes in the input result in arbitrarily small changes in the output.

New!!: Ideal (ring theory) and Continuous function · See more »

Coset

In mathematics, if G is a group, and H is a subgroup of G, and g is an element of G, then Only when H is normal will the set of right cosets and the set of left cosets of H coincide, which is one definition of normality of a subgroup.

New!!: Ideal (ring theory) and Coset · See more »

Cyclic group

In algebra, a cyclic group or monogenous group is a group that is generated by a single element.

New!!: Ideal (ring theory) and Cyclic group · See more »

David Hilbert

David Hilbert (23 January 1862 – 14 February 1943) was a German mathematician.

New!!: Ideal (ring theory) and David Hilbert · See more »

Dedekind domain

In abstract algebra, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integral domain in which every nonzero proper ideal factors into a product of prime ideals.

New!!: Ideal (ring theory) and Dedekind domain · See more »

Distributive lattice

In mathematics, a distributive lattice is a lattice in which the operations of join and meet distribute over each other.

New!!: Ideal (ring theory) and Distributive lattice · See more »

Division ring

In abstract algebra, a division ring, also called a skew field, is a ring in which division is possible.

New!!: Ideal (ring theory) and Division ring · See more »

Emmy Noether

Amalie Emmy NoetherEmmy is the Rufname, the second of two official given names, intended for daily use.

New!!: Ideal (ring theory) and Emmy Noether · See more »

Empty set

In mathematics, and more specifically set theory, the empty set or null set is the unique set having no elements; its size or cardinality (count of elements in a set) is zero.

New!!: Ideal (ring theory) and Empty set · See more »

Empty sum

In mathematics, an empty sum, or nullary sum, is a summation where the number of terms is zero.

New!!: Ideal (ring theory) and Empty sum · See more »

Ernst Kummer

Ernst Eduard Kummer (29 January 1810 – 14 May 1893) was a German mathematician.

New!!: Ideal (ring theory) and Ernst Kummer · See more »

Field (mathematics)

In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined, and behave as when they are applied to rational and real numbers.

New!!: Ideal (ring theory) and Field (mathematics) · See more »

Field of fractions

In abstract algebra, the field of fractions of an integral domain is the smallest field in which it can be embedded.

New!!: Ideal (ring theory) and Field of fractions · See more »

Finitely generated module

In mathematics, a finitely generated module is a module that has a finite generating set.

New!!: Ideal (ring theory) and Finitely generated module · See more »

Fractional ideal

In mathematics, in particular commutative algebra, the concept of fractional ideal is introduced in the context of integral domains and is particularly fruitful in the study of Dedekind domains.

New!!: Ideal (ring theory) and Fractional ideal · See more »

Fundamental theorem of arithmetic

In number theory, the fundamental theorem of arithmetic, also called the unique factorization theorem or the unique-prime-factorization theorem, states that every integer greater than 1 either is a prime number itself or can be represented as the product of prime numbers and that, moreover, this representation is unique, up to (except for) the order of the factors.

New!!: Ideal (ring theory) and Fundamental theorem of arithmetic · See more »

Generating set of a module

In algebra, a generating set G of a module M over a ring R is a subset of M such that the smallest submodule of M containing G is M itself (the smallest submodule containing a subset is the intersection of all submodules containing the set).

New!!: Ideal (ring theory) and Generating set of a module · See more »

Group theory

In mathematics and abstract algebra, group theory studies the algebraic structures known as groups.

New!!: Ideal (ring theory) and Group theory · See more »

Homomorphism

In algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type (such as two groups, two rings, or two vector spaces).

New!!: Ideal (ring theory) and Homomorphism · See more »

Ideal (order theory)

In mathematical order theory, an ideal is a special subset of a partially ordered set (poset).

New!!: Ideal (ring theory) and Ideal (order theory) · See more »

Ideal norm

In commutative algebra, the norm of an ideal is a generalization of a norm of an element in the field extension.

New!!: Ideal (ring theory) and Ideal norm · See more »

Ideal number

In number theory an ideal number is an algebraic integer which represents an ideal in the ring of integers of a number field; the idea was developed by Ernst Kummer, and led to Richard Dedekind's definition of ideals for rings.

New!!: Ideal (ring theory) and Ideal number · See more »

Ideal quotient

In abstract algebra, if I and J are ideals of a commutative ring R, their ideal quotient (I: J) is the set Then (I: J) is itself an ideal in R. The ideal quotient is viewed as a quotient because IJ \subseteq K if and only if I \subseteq K: J. The ideal quotient is useful for calculating primary decompositions.

New!!: Ideal (ring theory) and Ideal quotient · See more »

Ideal theory

In mathematics, ideal theory is the theory of ideals in commutative rings; and is the precursor name for the contemporary subject of commutative algebra.

New!!: Ideal (ring theory) and Ideal theory · See more »

Idealizer

In abstract algebra, the idealizer of a subsemigroup T of a semigroup S is the largest subsemigroup of S in which T is an ideal.

New!!: Ideal (ring theory) and Idealizer · See more »

Integer

An integer (from the Latin ''integer'' meaning "whole")Integer 's first literal meaning in Latin is "untouched", from in ("not") plus tangere ("to touch").

New!!: Ideal (ring theory) and Integer · See more »

Integral domain

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

New!!: Ideal (ring theory) and Integral domain · See more »

Intersection (set theory)

In mathematics, the intersection A ∩ B of two sets A and B is the set that contains all elements of A that also belong to B (or equivalently, all elements of B that also belong to A), but no other elements.

New!!: Ideal (ring theory) and Intersection (set theory) · See more »

Irreducible ideal

In mathematics, a proper ideal of a commutative ring is said to be irreducible if it cannot be written as the intersection of two strictly larger ideals.

New!!: Ideal (ring theory) and Irreducible ideal · See more »

Isomorphism theorems

In mathematics, specifically abstract algebra, the isomorphism theorems are three theorems that describe the relationship between quotients, homomorphisms, and subobjects.

New!!: Ideal (ring theory) and Isomorphism theorems · See more »

Kernel (algebra)

In the various branches of mathematics that fall under the heading of abstract algebra, the kernel of a homomorphism measures the degree to which the homomorphism fails to be injective.

New!!: Ideal (ring theory) and Kernel (algebra) · See more »

Krull's theorem

In mathematics, and more specifically in ring theory, Krull's theorem, named after Wolfgang Krull, asserts that a nonzero ring has at least one maximal ideal.

New!!: Ideal (ring theory) and Krull's theorem · See more »

Lattice (order)

A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra.

New!!: Ideal (ring theory) and Lattice (order) · See more »

Macaulay computer algebra system

Macaulay is a computer algebra system for doing polynomial computations, particularly Gröbner basis calculations.

New!!: Ideal (ring theory) and Macaulay computer algebra system · See more »

Matrix (mathematics)

In mathematics, a matrix (plural: matrices) is a rectangular array of numbers, symbols, or expressions, arranged in rows and columns.

New!!: Ideal (ring theory) and Matrix (mathematics) · See more »

Maximal ideal

In mathematics, more specifically in ring theory, a maximal ideal is an ideal that is maximal (with respect to set inclusion) amongst all proper ideals.

New!!: Ideal (ring theory) and Maximal ideal · See more »

Michiel Hazewinkel

Michiel Hazewinkel (born 22 June 1943) is a Dutch mathematician, and Emeritus Professor of Mathematics at the Centre for Mathematics and Computer and the University of Amsterdam, particularly known for his 1978 book Formal groups and applications and as editor of the Encyclopedia of Mathematics.

New!!: Ideal (ring theory) and Michiel Hazewinkel · See more »

Minimal ideal

In the branch of abstract algebra known as ring theory, a minimal right ideal of a ring R is a nonzero right ideal which contains no other nonzero right ideal.

New!!: Ideal (ring theory) and Minimal ideal · See more »

Modular arithmetic

In mathematics, modular arithmetic is a system of arithmetic for integers, where numbers "wrap around" upon reaching a certain value—the modulus (plural moduli).

New!!: Ideal (ring theory) and Modular arithmetic · See more »

Modular lattice

In the branch of mathematics called order theory, a modular lattice is a lattice that satisfies the following self-dual condition:;Modular law: x ≤ b implies x ∨ (a ∧ b).

New!!: Ideal (ring theory) and Modular lattice · See more »

Module (mathematics)

In mathematics, a module is one of the fundamental algebraic structures used in abstract algebra.

New!!: Ideal (ring theory) and Module (mathematics) · See more »

Natural number

In mathematics, the natural numbers are those used for counting (as in "there are six coins on the table") and ordering (as in "this is the third largest city in the country").

New!!: Ideal (ring theory) and Natural number · See more »

Nil ideal

In mathematics, more specifically ring theory, a left, right or two-sided ideal of a ring is said to be a nil ideal if each of its elements is nilpotent.

New!!: Ideal (ring theory) and Nil ideal · See more »

Noncommutative ring

In mathematics, more specifically abstract algebra and ring theory, a noncommutative ring is a ring whose multiplication is not commutative; that is, there exists a and b in R with a·b ≠ b·a.

New!!: Ideal (ring theory) and Noncommutative ring · See more »

Normal subgroup

In abstract algebra, a normal subgroup is a subgroup which is invariant under conjugation by members of the group of which it is a part.

New!!: Ideal (ring theory) and Normal subgroup · See more »

Number theory

Number theory, or in older usage arithmetic, is a branch of pure mathematics devoted primarily to the study of the integers.

New!!: Ideal (ring theory) and Number theory · See more »

Opposite ring

In algebra, the opposite of a ring is another ring with the same elements and addition operation, but with the multiplication performed in the reverse order.

New!!: Ideal (ring theory) and Opposite ring · See more »

Order theory

Order theory is a branch of mathematics which investigates the intuitive notion of order using binary relations.

New!!: Ideal (ring theory) and Order theory · See more »

Parity (mathematics)

In mathematics, parity is the property of an integer's inclusion in one of two categories: even or odd.

New!!: Ideal (ring theory) and Parity (mathematics) · See more »

Partially ordered set

In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set.

New!!: Ideal (ring theory) and Partially ordered set · See more »

Pointwise product

The pointwise product of two functions is another function, obtained by multiplying the image of the two functions at each value in the domain.

New!!: Ideal (ring theory) and Pointwise product · See more »

Polynomial

In mathematics, a polynomial is an expression consisting of variables (also called indeterminates) and coefficients, that involves only the operations of addition, subtraction, multiplication, and non-negative integer exponents of variables.

New!!: Ideal (ring theory) and Polynomial · See more »

Primary ideal

In mathematics, specifically commutative algebra, a proper ideal Q of a commutative ring A is said to be primary if whenever xy is an element of Q then x or yn is also an element of Q, for some n>0.

New!!: Ideal (ring theory) and Primary ideal · See more »

Prime ideal

In algebra, a prime ideal is a subset of a ring that shares many important properties of a prime number in the ring of integers.

New!!: Ideal (ring theory) and Prime ideal · See more »

Prime number

A prime number (or a prime) is a natural number greater than 1 that cannot be formed by multiplying two smaller natural numbers.

New!!: Ideal (ring theory) and Prime number · See more »

Prime ring

In abstract algebra, a nonzero ring R is a prime ring if for any two elements a and b of R, arb.

New!!: Ideal (ring theory) and Prime ring · See more »

Primitive ideal

In mathematics, a left primitive ideal in ring theory is the annihilator of a simple left module.

New!!: Ideal (ring theory) and Primitive ideal · See more »

Primitive ring

In the branch of abstract algebra known as ring theory, a left primitive ring is a ring which has a faithful simple left module.

New!!: Ideal (ring theory) and Primitive ring · See more »

Principal ideal

In the mathematical field of ring theory, a principal ideal is an ideal I in a ring R that is generated by a single element a of R through multiplication by every element of R. The term also has another, similar meaning in order theory, where it refers to an (order) ideal in a poset P generated by a single element x of P, which is to say the set of all elements less than or equal to x in P. The remainder of this article addresses the ring-theoretic concept.

New!!: Ideal (ring theory) and Principal ideal · See more »

Principal ideal domain

In abstract algebra, a principal ideal domain, or PID, is an integral domain in which every ideal is principal, i.e., can be generated by a single element.

New!!: Ideal (ring theory) and Principal ideal domain · See more »

Pseudo-ring

In mathematics, and more specifically in abstract algebra, a pseudo-ring is one of the following variants of a ring.

New!!: Ideal (ring theory) and Pseudo-ring · See more »

Quotient group

A quotient group or factor group is a mathematical group obtained by aggregating similar elements of a larger group using an equivalence relation that preserves the group structure.

New!!: Ideal (ring theory) and Quotient group · See more »

Quotient ring

In ring theory, a branch of abstract algebra, a quotient ring, also known as factor ring, difference ring or residue class ring, is a construction quite similar to the quotient groups of group theory and the quotient spaces of linear algebra.

New!!: Ideal (ring theory) and Quotient ring · See more »

Radical of an ideal

In commutative ring theory, a branch of mathematics, the radical of an ideal I is an ideal such that an element x is in the radical if some power of x is in I. A radical ideal (or semiprime ideal) is an ideal that is its own radical (this can be phrased as being a fixed point of an operation on ideals called 'radicalization').

New!!: Ideal (ring theory) and Radical of an ideal · See more »

Reduced ring

In ring theory, a ring R is called a reduced ring if it has no non-zero nilpotent elements.

New!!: Ideal (ring theory) and Reduced ring · See more »

Regular ideal

In mathematics, especially ring theory, a regular ideal can refer to multiple concepts.

New!!: Ideal (ring theory) and Regular ideal · See more »

Richard Dedekind

Julius Wilhelm Richard Dedekind (6 October 1831 – 12 February 1916) was a German mathematician who made important contributions to abstract algebra (particularly ring theory), axiomatic foundation for the natural numbers, algebraic number theory and the definition of the real numbers.

New!!: Ideal (ring theory) and Richard Dedekind · See more »

Ring (mathematics)

In mathematics, a ring is one of the fundamental algebraic structures used in abstract algebra.

New!!: Ideal (ring theory) and Ring (mathematics) · See more »

Ring homomorphism

In ring theory or abstract algebra, a ring homomorphism is a function between two rings which respects the structure.

New!!: Ideal (ring theory) and Ring homomorphism · See more »

Ring theory

In algebra, ring theory is the study of rings—algebraic structures in which addition and multiplication are defined and have similar properties to those operations defined for the integers.

New!!: Ideal (ring theory) and Ring theory · See more »

Semiprime ring

In ring theory, a branch of mathematics, semiprime ideals and semiprime rings are generalizations of prime ideals and prime rings.

New!!: Ideal (ring theory) and Semiprime ring · See more »

Semiring

In abstract algebra, a semiring is an algebraic structure similar to a ring, but without the requirement that each element must have an additive inverse.

New!!: Ideal (ring theory) and Semiring · See more »

Simple module

In mathematics, specifically in ring theory, the simple modules over a ring R are the (left or right) modules over R that have no non-zero proper submodules.

New!!: Ideal (ring theory) and Simple module · See more »

Simple ring

In abstract algebra, a simple ring is a non-zero ring that has no two-sided ideal besides the zero ideal and itself.

New!!: Ideal (ring theory) and Simple ring · See more »

Springer Science+Business Media

Springer Science+Business Media or Springer, part of Springer Nature since 2015, is a global publishing company that publishes books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.

New!!: Ideal (ring theory) and Springer Science+Business Media · See more »

Subgroup

In group theory, a branch of mathematics, given a group G under a binary operation ∗, a subset H of G is called a subgroup of G if H also forms a group under the operation ∗.

New!!: Ideal (ring theory) and Subgroup · See more »

Subset

In mathematics, a set A is a subset of a set B, or equivalently B is a superset of A, if A is "contained" inside B, that is, all elements of A are also elements of B. A and B may coincide.

New!!: Ideal (ring theory) and Subset · See more »

Union (set theory)

In set theory, the union (denoted by ∪) of a collection of sets is the set of all elements in the collection.

New!!: Ideal (ring theory) and Union (set theory) · See more »

Unit (ring theory)

In mathematics, an invertible element or a unit in a (unital) ring is any element that has an inverse element in the multiplicative monoid of, i.e. an element such that The set of units of any ring is closed under multiplication (the product of two units is again a unit), and forms a group for this operation.

New!!: Ideal (ring theory) and Unit (ring theory) · See more »

Vorlesungen über Zahlentheorie

Vorlesungen über Zahlentheorie (German for Lectures on Number Theory) is the name of several different textbooks of number theory.

New!!: Ideal (ring theory) and Vorlesungen über Zahlentheorie · See more »

Zorn's lemma

Zorn's lemma, also known as the Kuratowski–Zorn lemma, after mathematicians Max Zorn and Kazimierz Kuratowski, is a proposition of set theory that states that a partially ordered set containing upper bounds for every chain (that is, every totally ordered subset) necessarily contains at least one maximal element.

New!!: Ideal (ring theory) and Zorn's lemma · See more »

Redirects here:

Algebraic ideal, Comaximal, Finitely generated ideal, Ideal (algebra), Ideal (ring), Ideal (rings), Ideal Product, Ideal of a ring, Ideal ring theory, Left ideal, One-sided ideal, Product of ideals, Proper ideal, Right ideal, Ring ideal, Sum of ideals, Two sided ideal, Two-sided ideal, Unit ideal.

References

[1] https://en.wikipedia.org/wiki/Ideal_(ring_theory)

OutgoingIncoming
Hey! We are on Facebook now! »