universal central extension of E n(R)

GPTKB entity