Is There an Ideal Membership Size?

2018 ◽  
Vol 14 (9) ◽  
pp. 4-4
Keyword(s):  
Author(s):  
V. Arvind ◽  
Abhranil Chatterjee ◽  
Rajit Datta ◽  
Partha Mukhopadhyay

2018 ◽  
Vol 2018 (737) ◽  
pp. 111-160 ◽  
Author(s):  
Guillaume Rond

AbstractWe give a necessary condition for algebraicity of finite modules over the ring of formal power series. This condition is given in terms of local zero estimates. In fact, we show that this condition is also sufficient when the module is a ring with some additional properties. To prove this result we show an effective Weierstrass Division Theorem and an effective solution to the Ideal Membership Problem in rings of algebraic power series. Finally, we apply these results to prove a gap theorem for power series which are remainders of the Grauert–Hironaka–Galligo Division Theorem.


Author(s):  
Zarko Mijajlovic ◽  
Milos Milosevic ◽  
Aleksandar Perovic

The paper presents decidability of ideal membership for finitely generated signomial ideals with rational exponents over computable field K of characteristic 0. We also prove the existence of no-recursive ideals in K[xQ], where xQ = xQ1?.xQn n is a multiplicative copy of the monoid Qn = Q ( ? ( Q.


Sign in / Sign up

Export Citation Format

Share Document