Subset (often algebraic set) that is not the union of subsets of the same nature
In algebraic geometry, an irreducible algebraic set or irreducible variety is an algebraic set that cannot be written as the union of two proper algebraic subsets. An irreducible component of an algebraic set is an algebraic subset that is irreducible and maximal (for set inclusion) for this property. For example, the set of solutions of the equation xy = 0 is not irreducible, and its irreducible components are the two lines of equations x = 0 and y = 0.
It is a fundamental theorem of classical algebraic geometry that every algebraic set may be written in a unique way as a finite union of irreducible components.
These concepts can be reformulated in purely topological terms, using the Zariski topology, for which the closed sets are the algebraic subsets: A topological space is irreducible if it is not the union of two proper closed subsets, and an irreducible component is a maximal subspace (necessarily closed) that is irreducible for the induced topology. Although these concepts may be considered for every topological space, this is rarely done outside algebraic geometry, since most common topological spaces are Hausdorff spaces, and, in a Hausdorff space, the irreducible components are the singletons.
and 21 Related for: Irreducible component information
two proper algebraic subsets. An irreduciblecomponent of an algebraic set is an algebraic subset that is irreducible and maximal (for set inclusion) for...
In mathematics, an irreducible polynomial is, roughly speaking, a polynomial that cannot be factored into the product of two non-constant polynomials...
Irreducible complexity (IC) is the argument that certain biological systems with multiple interacting parts would not function if one of the parts were...
In the mathematical field of topology, a hyperconnected space or irreducible space is a topological space X that cannot be written as the union of two...
are in general position). If mi denotes the multiplicity of an irreduciblecomponent Zi in the intersection (i.e., intersection multiplicity), then the...
∣ Z an irreduciblecomponent of f − 1 ( f ( x ) ) containing x } . {\displaystyle e(x)=\max\{\dim Z\mid Z{\text{ an irreduciblecomponent of }}f^{-1}(f(x)){\text{...
direct causal action of a high-level system on its components; qualities produced this way are irreducible to the system's constituent parts. The whole is...
V_{1}\subsetneq \cdots \subsetneq V_{\ell }\subset X.} An irreducible subset of X is an irreduciblecomponent of X if and only if the codimension of it in X is...
follows: hypersurfaces are exactly the algebraic sets whose all irreduciblecomponents have dimension n – 1. A real hypersurface is a hypersurface that...
representation has a subrepresentation, but only has one non-trivial irreduciblecomponent. For example, the additive group ( R , + ) {\displaystyle (\mathbb...
absolutely irreducible if it is irreducible over the complex field. For example, x 2 + y 2 − 1 {\displaystyle x^{2}+y^{2}-1} is absolutely irreducible, but...
algebraic set may be uniquely decomposed into a finite union of irreduciblecomponents. It has a straightforward extension to modules stating that every...
is unique. Thus its elements are called the irreduciblecomponents of the algebraic set. An irreducible algebraic set is also called a variety. It turns...
transition per state is either not irreducible or not aperiodic, hence cannot be ergodic. Some authors call any irreducible, positive recurrent Markov chains...
dim A + dim B − dim X, then A · B is a linear combination of the irreduciblecomponents of A ∩ B, with coefficients the intersection multiplicities. At...
factorization of a polynomial consists of decomposing it into a product of irreducible factors. This decomposition is theoretically possible and is unique for...
decomposed into irreducible submodules V = ⨁ i = 1 N V i {\displaystyle V=\bigoplus _{i=1}^{N}V_{i}} . Each finite-dimensional irreducible representation...
group G {\displaystyle G} are called disjoint, if they have no irreduciblecomponent in common, i.e. if ⟨ V 1 , V 2 ⟩ G = 0. {\displaystyle \langle V_{1}...