| http://www.w3.org/ns/prov#value | - When G is a Chevalley group or R is a field, these are the so-called elementary root unipotents in G, parametrized by the roots in the root system of G, that were constructed in the 1950s and 1960s in the work of C. Chevalley, A. Borel, J. Tits, M. Demazure and A. Grothendieck.
|
