Description: Enumerate the primes in $\mathbb N$. Let $M$ be the additive submonoid of positive rationals generated by $\frac{1}{2^ip_i}$ $i \geq 0$. With field $F$ and indeterminate $X$, and generate $F$ algebra generated by $X^m$, $m\in M$. Localize at the set of elements with nonzero constant term. This localization is the ring.

Notes:

Keywords semigroup ring

Reference(s):

- Anne Grams, Atomic Rings And The Ascending Chain Condition For Principal Ideals., Math. Proc. Of The Cambridge Phil. Soc. Vol. 75. No. 03. Cambridge University., (1974). Main Example

This ring has the following properties:

2-primal
Abelian
ACC annihilator (left)
ACC annihilator (right)
Baer
commutative
connected
DCC annihilator (left)
DCC annihilator (right)
Dedekind finite
domain
duo (left)
duo (right)
finite uniform dimension (left)
finite uniform dimension (right)
finitely generated socle (left)
finitely generated socle (right)
Goldie (left)
Goldie (right)
IBN
nonsingular (left)
nonsingular (right)
Ore domain (left)
Ore domain (right)
Ore ring (left)
Ore ring (right)
orthogonally finite
polynomial identity
prime
quasi-duo (left)
quasi-duo (right)
reduced
reversible
Rickart (left)
Rickart (right)
semiprime
stably finite
symmetric
uniform (left)
uniform (right)

The ring lacks the following properties:

$\pi$-regular
ACC principal (left)
ACC principal (right)
Artinian (left)
Artinian (right)
cogenerator ring (left)
cogenerator ring (right)
cohopfian (left)
cohopfian (right)
division ring
dual (left)
dual (right)
essential socle (left)
essential socle (right)
FI-injective (left)
FI-injective (right)
finite
finitely cogenerated (left)
finitely cogenerated (right)
free ideal ring (left)
free ideal ring (right)
Frobenius
fully prime
fully semiprime
hereditary (left)
hereditary (right)
Kasch (left)
Kasch (right)
Noetherian (left)
Noetherian (right)
nonzero socle (left)
nonzero socle (right)
perfect (left)
perfect (right)
primary
primitive (left)
primitive (right)
principal ideal domain (left)
principal ideal domain (right)
principal ideal ring (left)
principal ideal ring (right)
principally injective (left)
principally injective (right)
pseudo-Frobenius (left)
pseudo-Frobenius (right)
quasi-Frobenius
self-injective (left)
self-injective (right)
semiprimary
semisimple
simple
simple Artinian
simple socle (left)
simple socle (right)
strongly $\pi$-regular
strongly regular
unit regular
V ring (left)
V ring (right)
von Neumann regular

We don't know if the ring has or lacks the following properties:

Bezout (left)
Bezout (right)
Bezout domain (left)
Bezout domain (right)
clean
coherent (left)
coherent (right)
continuous (left)
continuous (right)
distributive (left)
distributive (right)
exchange
finitely pseudo-Frobenius (left)
finitely pseudo-Frobenius (right)
I_0
Ikeda-Nakayama (left)
Ikeda-Nakayama (right)
lift/rad
local
nil radical
nilpotent radical
semi free ideal ring
semihereditary (left)
semihereditary (right)
semilocal
semiperfect
semiprimitive
semiregular
serial (left)
serial (right)
simple-injective (left)
simple-injective (right)
stable range 1
T-nilpotent radical (left)
T-nilpotent radical (right)
top regular
top simple
top simple Artinian
valuation ring (left)
valuation ring (right)
Zorn