Given a ring $R$ with finite additive basis $\{e_i\}_{i=1}^{n}$, such that $e_i e_j=\sum c_{ijk}e_k$ with $c_{ijk}\in \mathbb{N}$, we define the Perron-Frobenius dimension $PFDim(e_i)$ of a basis element $e_i$ to be the maximal positive real eigenvalue of matrix $M_{e_i}$, multiplication by $e_i$. This exists by the Perron-Frobenius theorem, and we extend by linearity to all of $R$.

Now take $B(G)$ to be the burnside ring of a finite group $G$, with basis given by isomorphism classes of transitive actions of $G$. One can directly check for $G\cong C_p$ that $FPDim(X)=|X|$. Does this hold in general for finite $G$ sets?

Note that our ring $B(G)$ is not necessarily transitive in the sense of Etinghof's Tensor Categories (Definition 3.3.1), so this doesn't seem to follow immediately from the results in there.

Given a ring $R$ with finite additive basis $\{e_i\}_{i=1}^{n}$, such that $e_i e_j=\sum c_{ijk}e_k$ with $c_{ijk}\in \mathbb{N}$, we define the Perron-Frobenius dimension $FPDim(e_i)$ of a basis element $e_i$ to be the maximal positive real eigenvalue of matrix $M_{e_i}$, multiplication by $e_i$. This exists by the Perron-Frobenius theorem, and we extend by linearity to all of $R$.

Now take $B(G)$ to be the burnside ring of a finite group $G$, with basis given by isomorphism classes of transitive actions of $G$. One can directly check for $G\cong C_p$ that $FPDim(X)=|X|$. Does this hold in general for finite $G$-sets?

Note that our ring $B(G)$ is not necessarily transitive in the sense of Etingof's Tensor Categories (Definition 3.3.1), so this doesn't seem to follow immediately from the results in there.