When is the orbit algebra of a group an integral domain ? Proof of a conjecture of P.J. Cameron

DOI10.1051/ITA:2007054zbMATH Open1146.03015arXiv0704.1548OpenAlexW1992923277WikidataQ123352108 ScholiaQ123352108MaRDI QIDQ3514636FDOQ3514636

Authors: Maurice Pouzet 

Publication date: 21 July 2008

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Abstract: P.J.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.

Full work available at URL: https://arxiv.org/abs/0704.1548

Recommendations

• Permutation groups, a related algebra and a conjecture of Cameron.
• On an algebra related to orbit-counting
• Orbits of automorphisms of integral domains
• scientific article; zbMATH DE number 1065054
• Some relational structures with polynomial growth and their associated algebras. II: Finite generation.

zbMATH Keywords

permutation groupintegral domainrelational structureorbit algebracounting functionsoligomorphic groupsage algebraenumeration of finite substructures

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Asymptotic enumeration (05A16) Enumeration in graph theory (05C30) Properties of classes of models (03C52) Infinite automorphism groups (20B27)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Transitivity of permutation groups on unordered sets
• Transitivity of finite permutation groups on unordered sets
• A natural ring basis for the shuffle algebra and an application to group schemes
• On incidence matrices of finite projective and affine spaces
• Orbits of Permutation Groups on Unordered Sets, II
• Application d'une propriété combinatoire des parties d'un ensemble aux groupes et aux rélations
• Ordering by Divisibility in Abstract Algebras
• A Certain Class of Incidence Matrices
• Title not available (Why is that?)
• The profile of relations
• Sandwiches of ages
• Title not available (Why is that?)
• Some counting problems related to permutation groups
• Application de la Notion de Relation Presque‐Enchainable au Denombrement des Restrictions Finies D'une Relation
• Title not available (Why is that?)
• Growth Rates in Infinite Graphs and Permutation Groups
• Title not available (Why is that?)
• Relation Minimale Pour Son Ǎge
• Title not available (Why is that?)
• On an algebra related to orbit-counting

Cited In (8)

• A survey of homogeneous structures
• Some relational structures with polynomial growth and their associated algebras. I: Quasi-polynomiality of the profile
• The morphology of infinite tournaments; application to the growth of their profile
• The orbit algebra of an oligomorphic permutation group with polynomial profile is Cohen-Macaulay
• Injective envelopes of transition systems and Ferrers languages
• Permutation groups, a related algebra and a conjecture of Cameron.
• Algebras, Graphs and Ordered Sets – ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet
• Well-quasi-ordering and Embeddability of Relational Structures

This page was built for publication: When is the orbit algebra of a group an integral domain ? Proof of a conjecture of P.J. Cameron

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3514636)