Related papers: On quaternion algebras that split over quadratic n…

Let K be a field of any characteristic and let R be an algebra generated by two elements satisfying quadratic equations. Then R is a homomorphic image of F=K<x,y | x^2+ax+b=0,y^2+cy+d=0> for suitable a,b,c,d in K. We establish that F can be…

We present an explicit algorithmic method for computing square roots in quaternion algebras over global fields of characteristic different from 2.

Assuming a mild non-degeneracy condition excluding very low-level Cantor endpoints, and assuming a counting/input hypothesis for the contribution of non-deep orbit indices, we show that for the quadratic field $K=\mathbb{Q}(\alpha)$ there…

We define the degenerate two boundary affine Hecke-Clifford algebra $\mathcal{H}_d$, and show it admits a well-defined $\mathfrak{q}(n)$-linear action on the tensor space $M\otimes N\otimes V^{\otimes d}$, where $V$ is the natural module…

For all positive integers $k$ and $N$ we prove that there are infinitely many totally real multiquadratic fields $K$ of degree $2^k$ over $\mathbb Q$ such that each universal quadratic form over $K$ has at least $N$ variables.

We study partitions of totally positive integers in real quadratic fields. We develop an algorithm for computing the number of partitions, prove a result about the parity of the partition function, and characterize the quadratic fields such…

Lagrange's Four Squares Theorem states that any positive integer can be expressed as the sum of four integer squares. We investigate the analogous question over Quaternion rings, focusing on squares of elements of Quaternion rings with…

In this paper I explore the set of quaternion algebras over field. Quaternion algebra E(C,-1,-1) is isomorphic to tensor product of complex field C and quaternion algebra H=E(R,-1,-1). Considered two sets of quaternion functions, which…

Let $(\alpha,\mathcal{N}_{\alpha})$ and $(\beta,\mathcal{N}_{\beta})$ be two canonical number systems for an imaginary quadratic number field $K$ such that $\alpha$ and $\beta$ are multiplicatively independent. We provide an effective lower…

It is known that quaternions represent rotations in 3D Euclidean and Minkowski spaces. However, product by a quaternion gives rotation in two independent planes at once and to obtain single-plane rotations one has to apply by half-angle…

Except for blocks with a cyclic or Klein four defect group, it is not known in general whether the Morita equivalence class of a block algebra over a field of prime characteristic determines that of the corresponding block algebra over a…

Let $K=\mathbb{Q}[\iota]$ and $N=K[\sqrt[4]{\alpha}]$, $\alpha\in\mathbb{Z}[\iota]$, $alpha=fg^2h^3$, $f$, $g$, $h\in \mathbb{Z}[\iota]$ are pairwise coprime and square free. Let $\mathcal{O}_N$ be the ring of integers of $N$. In this…

We study the existence of free subalgebras in division algebras, and prove the following general result: if $A$ is a noetherian domain which is countably generated over an uncountable algebraically closed field $k$ of characteristic 0, then…

Let K = Q(\omega) with \omega^3 = m be a pure cubic number field. We show that the elements\alpha \in K^\times whose squares have the form a - \omega form a group isomorphic to the group of rational points on the elliptic curve E_m: y^2=…

Let k be an algebraically closed field of characteristic 0. We prove that any division algebra over k(x,y) whose ramification locus lies on a quartic curve is cyclic.

Let $k$ be a positive integer and let $F$ be a finite unramified extension of $\mathbb{Q}_2$ with ring of integers $\mathcal{O}_F$. An integral (resp. classic) quadratic form over $\mathcal{O}_F$ is called $k$-universal (resp. classically…

Let us consider the pure quartic fields of the form $\K=\Q(\sqrt[4]{p})$ where $0<p\equiv 7\pmod{16}$ is a prime integer. We prove that the $2$-class group of $\K$ has order $2$. As a consequence of this, if the class number of $\K$ is $2$,…

We discuss spectral properties of the family of quartic oscillators $\mathfrak h_{\mathcal M}(\alpha) =-\frac{d^2}{dt^2} +\Big(\frac{1}{2} t^{2} -\alpha\Big)^2$ on the real line, where $\alpha\in \mathbb{R}$ is a parameter. This operator…

Suppose q is a complex number of modulus one and different from 1,-1. Let O(R^2_q) be the *-algebra with two hermitean generators x and y satisfying the relation xy=qyx. Using operator representations of the *-algebra O(R^2_q) on Hilbert…

Let $\ell \geq 5$ be a prime and let $N$ be a non-squarefree integer not divisible by $\ell$. For a rational Eisenstein prime $\mathfrak{m}$ of the Hecke ring $\mathbb{T}(N)$ of level $N$ acting on $J_0(N)$, we precisely compute the…