Border bases for lattice ideals

Abstract : The main ingredient to construct an O-border basis of an ideal I ⊆ K[x1,. .. , xn] is the order ideal O, which is a basis of the K-vector space K[x1,. .. , xn]/I. In this paper we give a procedure to find all the possible order ideals associated with a lattice ideal IM (where M is a lattice of Z n). The construction can be applied to ideals of any dimension (not only zero-dimensional) and shows that the possible order ideals are always in a finite number. For lattice ideals of positive dimension we also show that, although a border basis is infinite, it can be defined in finite terms. Furthermore we give an example which proves that not all border bases of a lattice ideal come from Gröbner bases. Finally, we give a complete and explicit description of all the border bases for ideals IM in case M is a 2-dimensional lattice contained in Z 2 .
Type de document :
Communication dans un congrès
MEGA'2015 (Special Issue), Jun 2015, Trento, Italy
Liste complète des métadonnées

https://hal.inria.fr/hal-01350887
Contributeur : Alain Monteil <>
Soumis le : mardi 2 août 2016 - 09:27:20
Dernière modification le : lundi 29 août 2016 - 13:48:38
Document(s) archivé(s) le : mardi 8 novembre 2016 - 21:40:26

Fichiers

boffi_logarBB2.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

  • HAL Id : hal-01350887, version 1
  • ARXIV : 1608.08004

Collections

Citation

Giandomenico Boffi, Alessandro Logar. Border bases for lattice ideals. MEGA'2015 (Special Issue), Jun 2015, Trento, Italy. 〈hal-01350887〉

Partager

Métriques

Consultations de la notice

85

Téléchargements de fichiers

45