\(K\)-loops and Bruck loops on \(\mathbb{R}\times\mathbb{R}\) (Q686658)

\(K\)-loops are certain generalizations of neardomains. Using the function \(\lambda(x) = \cosh x\), \(K\)-loops on \(\mathbb{R}\times \mathbb{R}\) are constructed. Since every \(K\)-loop is a Bruck loop, we also have examples for Bruck loops. Furthermore the group of automorphisms \(\delta_{a,b}\) of the \(K\)-loop which satisfy the equation \(a+(b+c) = (a,b)+\delta_{a,b}(c)\) is examined.