The decision of prime and primary ideal (Q1942148)

From MaRDI portal
Revision as of 07:31, 6 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
The decision of prime and primary ideal
scientific article

    Statements

    The decision of prime and primary ideal (English)
    0 references
    0 references
    0 references
    18 March 2013
    0 references
    The authors consider zero-dimensional ideals in the polynomial ring \(\mathbb R[x_1, \dots, x_n]\) which have a specific form and prove characterizations of these ideals to be prime or primary. The main results are as follows: Theorem 3. For all \(i \in \{ 1, \dots, n \}\), let \(p_i \in \mathbb R[x_i]\) be an irreducible polynomial. Then the zero-dimensional ideal \(\langle p_1, \dots, p_n \rangle\) in \(\mathbb R[x_1, \dots, x_n]\) is prime if and only if there exists an index \(i \in \{ 1, \dots, n \}\) such that \(\deg(p_j) = 1\) for all \(j \in \{ 1, \dots, n \} \setminus \{ i \}\). Theorem 4. For all \(i \in \{ 1, \dots, n \}\), let \(q_i \in \mathbb R[x_i]\) be a monic polynomial. Then the zero-dimensional ideal \(\langle q_1, \dots, q_n \rangle\) in \(\mathbb R[x_1, \dots, x_n]\) is primary if and only if the following conditions are satsifed:{\parindent=6mm \begin{itemize}\item[i)] There exist an index \(i \in \{ 1, \dots, n \}\), an irreducible polynomial \(p_i \in \mathbb R[x_i]\), and a \(t_i \in \mathbb N \setminus \{ 0 \}\) such that \(q_i = p_i^{t_i}\).\item[ii)] For all \(j \in \{ 1, \dots, n \} \setminus \{ i \}\), there exist a \(b_j \in \mathbb R\) and a \(t_j \in \mathbb N \setminus \{ 0 \}\) such that \(q_j = (x_j + b_j)^{t_j}\). \end{itemize}}
    0 references
    prime ideal
    0 references
    primary ideal
    0 references
    zero-dimensional ideal
    0 references
    polyniomial rings
    0 references
    Gröbner basis
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references