The decision of prime and primary ideal (Q1942148)

From MaRDI portal
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
    0 references
    0 references
    0 references
    0 references
    0 references
    prime ideal
    0 references
    primary ideal
    0 references
    zero-dimensional ideal
    0 references
    polyniomial rings
    0 references
    Gröbner basis
    0 references
    0 references