Geodesic
When is the orbit algebra of a group an integral domain ? Proof of a conjecture of P. J. Cameron
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 42 (2008) no. 1, pp. 83-103

Voir la notice de l'article provenant de la source Numdam

Cameron introduced the orbit algebra of a permutation group and conjectured that this algebra is an integral domain if and only if the group has no finite orbit. We prove that this conjecture holds and in fact that the age algebra of a relational structure R is an integral domain if and only if R is age-inexhaustible. We deduce these results from a combinatorial lemma asserting that if a product of two non-zero elements of a set algebra is zero then there is a finite common tranversal of their supports. The proof is built on Ramsey theorem and the integrity of a shuffle algebra.

DOI : 10.1051/ita:2007054
Classification : 03C13, 03C52, 05A16, 05C30, 20B27
Keywords: relational structures, ages, counting functions, oligomorphic groups, age algebra, Ramsey theorem, integral domain 
@article{ITA_2008__42_1_83_0,
     author = {Pouzet, Maurice},
     title = {When is the orbit algebra of a group an integral domain ? {Proof} of a conjecture of {P.} {J.} {Cameron}},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {83--103},
     publisher = {EDP-Sciences},
     volume = {42},
     number = {1},
     year = {2008},
     doi = {10.1051/ita:2007054},
     mrnumber = {2382545},
     zbl = {1146.03015},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1051/ita:2007054/}
}
TY  - JOUR
AU  - Pouzet, Maurice
TI  - When is the orbit algebra of a group an integral domain ? Proof of a conjecture of P. J. Cameron
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2008
SP  - 83
EP  - 103
VL  - 42
IS  - 1
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/articles/10.1051/ita:2007054/
DO  - 10.1051/ita:2007054
LA  - en
ID  - ITA_2008__42_1_83_0
ER  - 
%0 Journal Article
%A Pouzet, Maurice
%T When is the orbit algebra of a group an integral domain ? Proof of a conjecture of P. J. Cameron
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2008
%P 83-103
%V 42
%N 1
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/articles/10.1051/ita:2007054/
%R 10.1051/ita:2007054
%G en
%F ITA_2008__42_1_83_0
Pouzet, Maurice. When is the orbit algebra of a group an integral domain ? Proof of a conjecture of P. J. Cameron. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 42 (2008) no. 1, pp. 83-103. doi: 10.1051/ita:2007054

Cité par Sources :