Let $V$ be a finitely generated module over the ring $R=K\times K$ where $K$ is a field. We fix the switch involution on the ring $R$. Let $H$ be a hermitian form over $V$.


When $V$ is a free module, $H$ will be given by a matrix from $M\_n(K\times K)\cong M\_n(K)\times M\_n(K)$ where $n$ is the rank of $V$. Further the hermitian condition gives that it should look like $(A,A^t)$ and using this I can prove that there is a unique hermitian form up to equivalence. I feel that this should be true in general, that is, I don't need to assume free. Can someone please provide any reference for this? Thanks in advance.



Hermitian forms over $K\times K$
**The situation is quite the same when $V$ is not free over $R$.** You only need an extra parameter, namely the dimension $n\_1$ of $(1, 0)V$ over $K$. The equivalence classes of Hermitian forms over $V$ are in one-to-one correspondance with the Smith normal forms of $n\_1$-by-$n\_2$ matrices $A$ over $K$ where $n\_2 = \dim\_K((0,1)V)$, i.e., the rank of $A$ is a complete invariant.


Let us first observe that $R$ is a $K$-algebra via the embedding $k \mapsto (k, k)$ of $K$ into $R$.
We denote by $\sigma$ the switch involution of $R$, i.e, the $K$-automorphism which swaps the coordinates of $R$. We will say that $H: V \times V \rightarrow R$ is an *Hermitian form* over $R$ if the identities $H(rv + v',w) = rH(v, w) + H(v', w), H(v, rw + w') = \sigma(r)H(v, w) + H(v, w')$ and $H(v, w) = \sigma(H(w,v))$ hold for every $r \in R$ and $v, v', w, w' \in V$. Two Hermitian forms $H$ and $H'$ over $V$ are said to be *equivalent* if there is an $R$-automorphism $\phi$ of $V$ such that $H'(v,w) = H(\phi(v), \phi(w))$ for every $v,w \in V$.


Let us set $e\_1 = (1, 0), e\_2 = (0,1) \in R$ and $V\_i = e\_iV$ for $i = 1, 2$. Then we have $V = V\_1 \oplus V\_2$ as an $R$-module. An Hermitian form $H$ over $R$ is fully determined by its restriction to $V\_1 \times V\_2$. Indeed, the restriction of $H$ to $V\_i \times V\_i$ is zero (write $H(e\_i v, w)$ in two different ways) for $i = 1,2$ and we obtain the restriction to $V\_2 \times V\_1$ from the restriction to $V\_1 \times V\_2$ by swapping arguments at the source and the target. The restriction of $H$ to $V\_1 \times V\_2$ is any $K$-bilinear map taking values in the $K$-algebra $R$. Hence it identifies with a matrix in $M\_{n\_1, n\_2}(K)$ where $n\_i =\dim\_K(V\_i)$ for $i = 1, 2$. Thus $H$ can be written as an $n$-by-$n$ matrix over $K$ of the form $\text{Mat}(A) \Doteq \pmatrix{0 & A \\ A^t & 0}$ with $n = n\_1 + n\_2$ and $A \in M\_{n\_1, n\_2}(K)$.


An $R$-automorphism of $V$ is given by an $n$-by-$n$ matrix of the form $\pmatrix{P & 0 \\ 0 & Q}$ with $P \in GL\_{n\_1}(K), Q \in GL\_{n\_2}(K)$. Two Hermitian forms $\text{Mat}(A)$ and $\text{Mat}(B)$ are equivalent if and only if we can find $P \in GL\_{n\_1}(K), Q \in GL\_{n\_2}(K)$ such that $P^tAQ = B$ and $Q^tA^tP = B^t$, the second condition being redundant. Now it should be evident that the rank of $A$ over $K$ is a complete invariant of equivalence.


