Product formula of Artin symbols in non-abelian extensions

The product formula for Artin symbols (norm residue symbols) connects local and global class field theory. Usually, the formula is considered in abelian extensions of global fields. In this paper, the product is considered in non-abelian extensions such that each symbol is well-defined. As an application, some properties of fundamental units of real quadratic fields are obtained.