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
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