Congruence-simple subsemirings of \(\mathbb{Q}^+\). (Q711604)

For \(\widetilde\mathbb{R}_0^+=\mathbb{R}_0^+\cup\{\infty\}\) define \(a<\infty\) and \(a+\infty=\infty+a=\infty+\infty=a\cdot\infty=\infty\cdot a=\infty\cdot\infty=\infty\) for all \(a\in\mathbb{R}_0^+\). Denote by \(\overline R\) the set of all sequences \(\mathbf r=(r_n)_{n\in\mathbb{Z}}\) over \(\widetilde\mathbb{R}_0^+\) such that \(r_m\leq r_n\) for all \(n\leq m\) and \(r_{n+m}\leq r_n\cdot r_m\) for all \(n,m\in\mathbb{Z}\), and by \(R^0\) the set of all sequences \(\mathbf r\in\overline R\) such that \(r_n<\infty\) for all \(n\in\mathbb{Z}\) and \(\lim_{n\to\infty}r_n=0\). For each prime \(p\) let \(v_p\colon\mathbb{Q}^+\to\mathbb{Z}\) be the usual valuation at \(p\), and define \(V^0(p,\mathbf r)=\{x\in\mathbb{Q}^+\mid r_{v_{p(x)}}<x\}\) for every \(\mathbf r\in\overline R\). It is shown that if \(p_1,\dots,p_n\) are prime numbers and \(\mathbf r_1,\dots,\mathbf r_n\in R^0\) then \(S=\bigcap_{i=1}^n V^0(p_i,\mathbf r_i)\) is a congruence-simple subsemiring of \(\mathbb{Q}^+\). Moreover, if \(p\) is prime and \(a\in(0,1)\) then \(T_p(a)=\{x\in\mathbb{Q}^+\mid a^{v_p(x)}<x\}\) is a maximal congruence-simple subsemiring of \(\mathbb{Q}^+\), and every congruence-simple subsemiring \(S\neq\mathbb{Q}^+\) is contained in at least one of them.