Does there exist an operator, $\star$, such that for all full rank matrices $B$ and all $A$ of appropriate dimensions: $$ B(B^\intercal AB)^\star B = A^\star, $$ and such that $A^\star=0$ if and only if $A=0$?