Chevalley group of type F4

Definition
Let $$K$$ be a field.

The Chevalley group of type $$F_4$$ over $$K$$, denoted $$F_4(K)$$, is defined as the group corresponding to the Dynkin diagram:



For a prime power $$q$$, $$F_4(q)$$ is defined as the group $$F_4(\mathbb{F}_q)$$.