We show that the coordinate ring of a simply-connected simple algebraic group G G over the complex number field coincides with the Berenstein–Fomin–Zelevinsky cluster algebra and its upper cluster algebra, at least when G G is not of type F 4 F₄.
Hironori Oya (Thu,) studied this question.