1: \begin{abstract}

2: We compute minimal sets of generators for the $S_n$-modules ($n \le 4$) of multilinear polynomial identities

3: of arity $n$ satisfied by the Jordan product and the Jordan diproduct (resp.~pre-Jordan product) in every

4: triassociative (resp.~tridendriform) algebra.

5: These identities define Jordan trialgebras and post-Jordan algebras: Jordan analogues of the Lie trialgebras

6: and post-Lie algebras introduced by Dotsenko et al., Pei et al., Vallette \& Loday.

7: We include an extensive review of analogous structures existing in the literature, and their interrelations,

8: in order to identify the gaps filled by our two new varieties of algebras.

9: We use computer algebra (linear algebra over finite fields, representation theory of symmetric groups), to verify

10: in both cases that every polynomial identity of arity $\le 6$ is a consequence of those of arity $\le 4$.

11: We conjecture that in both cases the next independent identities have arity 8, imitating the Glennie identities

12: for Jordan algebras.

13: We formulate our results as a commutative square of operad morphisms, which leads to the conjecture that

14: the squares in a much more general class are also commutative.

15: \end{abstract}

16: