Free unitary and symmetric pairs in normal subgroups of division rings with involution
摘要
Let D be a division ring with center Z of char ≠ 2, with an involution*. Let D† be the multiplicative group of D, and let N ⊲ D† be a normal subgroup. An element u ∈ D† is said to be symmetric (unitary) if u* = u (respectively u* = u−1). Let