Ideal membership in signomial rings
Author(s) -
Žarko Mijajlović,
Miloš Milošević,
Aleksandar Perović
Publication year - 2007
Publication title -
publikacija elektrotehnickog fakulteta - serija matematika
Language(s) - English
Resource type - Journals
eISSN - 2406-0852
pISSN - 0353-8893
DOI - 10.2298/petf0718064m
Subject(s) - ideal (ethics) , mathematics , decidability , multiplicative function , monoid , pure mathematics , field (mathematics) , discrete mathematics , combinatorics , mathematical analysis , philosophy , epistemology
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom