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

DOI10.1051/ITA:2007054MaRDI QIDQ3514636zbMATH OpenOpenAlexWikidataFDO

Authors Maurice Pouzet

Publication date 21 July 2008

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

Full work available at URL https://arxiv.org/abs/0704.1548, https://eudml.org/doc/92866

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)

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.

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.

Cites work

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

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)