Mathematics – Rings and Algebras
Scientific paper
2008-07-31
Communications in Algebra, Volume 36, Issue 1 January 2008, pages 165 - 178
Mathematics
Rings and Algebras
16 pages
Scientific paper
10.1080/00927870701665297
An involution $#$ on an associative ring $R$ is \textit{formally real} if a sum of nonzero elements of the form $r^# r$ where $r \in R$ is nonzero. Suppose that $R$ is a central simple algebra (i.e. $R=M_n(D)$ for some integer $n$ and central division algebra $D$) and $#$ is an involution on $R$ of the form $r^# = a^{-1} r^\ast a$, where $\ast$ is some transpose involution on $R$ and $a$ is an invertible matrix such that $a^\ast=\pm a$. In section 1 we characterize formal reality of $#$ in terms of $a$ and $\ast|_D$. In later sections we apply this result to the study of formal reality of involutions on crossed product division algebras. We can characterize involutions on $D=(K/F,\Phi)$ that extend to a formally real involution on the split algebra $D \otimes_F K \cong M_n(K)$. Every such involution is formally real but we show that there exist formally real involutions on $D$ which are not of this form. In particular, there exists a formally real involution $#$ for which the hermitian trace form $x \mapsto \tr(x^#x)$ is not positive semidefinite.
No associations
LandOfFree
Formally real involutions on central simple algebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Formally real involutions on central simple algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Formally real involutions on central simple algebras will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-363485