Irreducible (mathematics)

Irreducible (mathematics)

In mathematics, the term "irreducible" is used in several ways.

* In abstract algebra, irreducible can be an abbreviation for irreducible element; for example an irreducible polynomial.

* In representation theory, an irreducible representation is a nontrivial representation with no nontrivial proper subrepresentations. Similarly, an irreducible module is another name for a simple module.

* Absolutely irreducible is a term applied to mean irreducible, even after any finite extension of the field of coefficients. It applies in various situations, for example to irreducibility of a linear representation, or of an algebraic variety; where it means just the same as "irreducible over an algebraic closure".

* In commutative algebra, a commutative ring "R" is irreducible if its prime spectrum, that is, the topological space Spec "R", is an irreducible topological space.

* A directed graph is irreducible if, given any two vertices, there exists a path from the first vertex to the second. A digraph is irreducible if and only if its adjacency matrix is irreducible.

* In a related notion, a matrix is irreducible if it is not similar to a block upper triangular matrix via a permutation. (Replacing non-zero entries in the matrix by one, and viewing the matrix as an adjacency matrix of a graph, the matrix is irreducible if and only if the graph is.)

* Also, a Markov chain is irreducible if there is a non-zero probability of transitioning (even if in more than one step) from any state to any other state.

* In the theory of manifolds, an "n"-manifold is irreducible if any embedded ("n"−1)-sphere bounds an embedded "n"-ball. Implicit in this definition is the use of a suitable category, such as the category of differentiable manifolds or the category of piecewise-linear manifolds.

The notions of irreducibility in algebra and manifold theory are related. An "n"-manifold is called prime, if it cannot be written as a connected sum of two "n"-manifolds (neither of which is an "n"-sphere). An irreducible manifold is thus prime, although the converse does not hold. From an algebraist's perspective, prime manifolds should be called "irreducible"; however, the topologist (in particular the 3-manifold topologist) finds the definition above more useful. The only compact, connected 3-manifolds that are prime but not irreducible are the trivial 2-sphere bundle over "S"1 and the twisted 2-sphere bundle over "S"1. See, for example, Prime decomposition (3-manifold).

* A topological space is irreducible if it is not the union of two proper closed subsets. This notion is used in algebraic geometry, where spaces are equipped with the Zariski topology; it is not of much significance for Hausdorff spaces. See also irreducible component, algebraic variety.

* In universal algebra, irreducible can refer to the inability to represent an algebraic structure as a composition of simpler structures using a product construction; for example subdirectly irreducible.

* A 3-manifold is P²-irreducible if it is irreducible and contains no 2-sided mathbb RP^2 (real projective plane).

* An Irreducible fraction (or fraction in lowest terms) is a vulgar fraction in which the numerator and denominator are smaller than those in any other equivalent fraction.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Irreducible — may be used to refer to many different things.* In mathematics, the term irreducible is used in many different, unrelated fields; its use often follows from the denotative meaning of the word irreducible . *irreducible (philosophy) * Irreducible… …   Wikipedia

  • Irreducible polynomial — In mathematics, the adjective irreducible means that an object cannot be expressed as a product of at least two non trivial factors in a given set. See also factorization. For any field F , the ring of polynomials with coefficients in F is… …   Wikipedia

  • Irreducible component — In mathematics, the concept of irreducible component is used to make formal the idea that a set such as defined by the equation: XY = 0is the union of the two lines: X = 0and : Y = 0.The notion of irreducibility is stronger than connectedness.… …   Wikipedia

  • MATHEMATICS — Bible The Bible does not deal directly with proper mathematical subjects; however there are some parts that do relate indirectly to different mathematical topics. These are widely discussed by the various commentators on the Bible and Talmud: the …   Encyclopedia of Judaism

  • Mathematics of Sudoku — The class of Sudoku puzzles consists of a partially completed row column grid of cells partitioned into N regions each of size N cells, to be filled in using a prescribed set of N distinct symbols (typically the numbers {1, ..., N}), so that each …   Wikipedia

  • List of mathematics articles (I) — NOTOC Ia IA automorphism ICER Icosagon Icosahedral 120 cell Icosahedral prism Icosahedral symmetry Icosahedron Icosian Calculus Icosian game Icosidodecadodecahedron Icosidodecahedron Icositetrachoric honeycomb Icositruncated dodecadodecahedron… …   Wikipedia

  • Ring (mathematics) — This article is about algebraic structures. For geometric rings, see Annulus (mathematics). For the set theory concept, see Ring of sets. Polynomials, represented here by curves, form a ring under addition and multiplication. In mathematics, a… …   Wikipedia

  • Absolutely irreducible — In mathematics, absolutely irreducible is a term applied to linear representations or algebraic varieties over a field. It means that the object in question remains irreducible, even after any finite extension of the field of coefficients. In… …   Wikipedia

  • Intersection theory (mathematics) — In mathematics, intersection theory is a branch of algebraic geometry, where subvarieties are intersected on an algebraic variety, and of algebraic topology, where intersections are computed within the cohomology ring. The theory for varieties is …   Wikipedia

  • Field (mathematics) — This article is about fields in algebra. For fields in geometry, see Vector field. For other uses, see Field (disambiguation). In abstract algebra, a field is a commutative ring whose nonzero elements form a group under multiplication. As such it …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”