Let $R$ be a (non-commutative) domain satisfying the (right) Ore condition; i.e. for all $a,b\in R$ one can find $\beta\_1,\beta\_2\in R$ such that $a\beta\_1=b\beta\_2$. In the well known construction of Ore, one considers pairs of elements $(a,b)$ (with $a,b\in R$, $b\neq 0$) together with the equivalence relation $(a,b)\sim(c,d)$ iff there exist $\beta\_1,\beta\_2\in R$ such that $a\beta\_1=c\beta\_2$ and $b\beta\_1=d\beta\_2$. The pair $(a,b)$ corresponds to an element of the type $ab^{-1}$. By introducing addition and multiplication on equivalence classes of pairs, one finds a division ring $F$ that contains $R$. An element $a\in R$ is embedded as $(a,1)$, and its inverse is simply $(1,a)$.


Now, assume that $R$ is also a $\ast$-algebra (over $\mathbb{C}$). Is there a canonical way of introducing a $\ast$-operation on $F$, such that $F$ becomes a $\ast$-algebra (over $\mathbb{C}$)?


I tried the following: Since $(ab^{-1})^\ast$ should equal ${b^\ast}^{-1} a^\ast$ one defines
$(a,b)^\ast=(1,b^\ast)(a^\ast,1)$. It is easy to see that $((a,b)^\ast)^\ast=(a,b)$ and $(\lambda(a,b)+\mu(c,d))^\ast=\bar{\lambda}(a,b)^\ast+\bar{\mu}(c,d)^\ast$. 


The problematic property is to show that $((a,b)(c,d))^\ast=(c,d)^\ast(a,b)^\ast$ (and right now I'm not even sure it is true). Does anyone have experience with (or can point me to a reference for) skew fraction fields of $\ast$-algebras? 



Skew fraction fields of *-algebras
Fun question! I think I can extend the $\*$-operation less explicitly with a shortcut. But I hope someone double-checks the details here because I fear this may be a little too fast-and-loose.


Your $\*$-operation is an anti-automorphism of $R$. In particular, because it is a right Ore domain, it's also a left Ore domain. Letting $S = R \setminus\{0\}$, we have $RS^{-1} = S^{-1}R$, and this is the "universal localization" of $R$ with respect to $S$ (it is universal among all rings with an $S$-inverting homomorphism $R \to T$); see Lam's *Lectures in Modules and Rings*, Corollary 10.14.


Let's think of $\* = g \colon R \to R^{op}$ as an isomorphism of $R$ with its opposite ring that satisfies $g(g(x)^{op}) = x$ (I'm considering "double-$op$" to be the identity). In particular, $g(S)$ consists of nonzero elements, hence the composite $R \to R^{op} \to R^{op}(S^{op})^{-1} = (S^{-1}R)^{op} = (RS^{-1})^{op}$ is $S$-inverting. Thus it extends to a homomorphism $g' \colon RS^{-1} \to (RS^{-1})^{op}$. Now $g'(g'(x)^{op}) = g(g(x)^{op}) = x$ for all $x \in R$, so the same identity holds for the inverse of any element of $R$. And since every element of $R$ has the form $rs^{-1}$ with $r \in R$ and $s \in S$, we see that the identity holds for all elements of $RS^{-1}$, proving that $g'$ determines a new involution $\*' \colon RS^{-1} \to RS^{-1}$.


I bet there's a proof using the explicit construction of $RS^{-1}$ that you give above, but I think the key is to use that $R$ is both left and right Ore and that $RS^{-1} = S^{-1}R$. I won't rob you of the joy of discovering such a proof for yourself!


