For quaternionic hermitian matrices (i.e. quaternionic square matrices $(a_{ij})$ satisfying $a_{ji}=\bar a_{ij}$) there is a nice notion of (Moore) determinant which can be defined as follows.

First, for any quaternionic $n\times n$ matrix $A$ one can define its realization $A^{\mathbb{R}}$ which is a real $4n\times 4n$ matrix as follows. Fix an $\mathbb{R}$-linear identification $\mathbb{H}^n\simeq \mathbb{R}^{4n}$. Consider the $\mathbb{R}$-linear map $\mathbb{H}^n\to \mathbb{H}^n$ given by $q\mapsto Aq$. Its matrix (of size $4n$) under the above identification $\mathbb{H}^n\simeq \mathbb{R}^{4n}$ will be denoted by $A^{\mathbb{R}}$. The following result is well known (unfortunately I do not know who is its author in this form):

**Theorem.** There exists a real polynomial $\det_M$, called Moore determinant, on the space of quaternionic hermitian matrices of size $n$ which is uniquely characterized by the following two properties:

1) for any quaternionic hermitian matrix $A$ one has $\det(A^{\mathbb{R}})=(\det_M(A))^4$;

2) $\det_M(I)=1.$

The Moore determinant has many nice properties similar to the properties of the usual determinant on real symmetric and complex hermitian matrices, e.g. the Sylvester criterion of positive definiteness holds in terms for this determinant. For more properties see Section 1 in http://arxiv.org/abs/math/0104209 for example.

**Question. Let us consider octonionic hermitian $n\times n$ matrices instead of quaternionic ones. In the same way as previously one can define the realization of such a matrix which has now size $8n$. Is it true that $\det A^{\mathbb{R}}$ is the 8th power of some other polynomial on the space of octonionic hermitian $n\times n$ matrices?**

Remark. For octonionic hermitian matrices of size 2 or 3 I am aware of a nice notion of determinant which is a polynomial in its entries and does satisfy Sylvester criterion of positive definiteness, however I have not checked whether that determinant provides also a positive answer to my question above.