Questions tagged [quaternion-algebras]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
64 views

The number of types of maximal orders in a definite quaternion algebra containing a certain order

I'm referring On the imbeddings of imaginary quadratic orders in definite quaternion orders by Brzezinski and Eichler here. Let $B$ be a definite quaternion algebra over $\mathbb{Q}$. Given an order $\...
Andy's user avatar
  • 113
1 vote
0 answers
65 views

Cardinality or covolume of $S$-units in quaternion algebras

Let $D=\left(\frac{a,b}{\mathbb{Q}}\right)$ be a quaternion algebra over $\mathbb{Q}$. Suppose $D$ is ramified at a finite set $S$ of places and $\infty\in S$. It is known that the $S$-units (the unit ...
Jun Yang's user avatar
  • 381
0 votes
0 answers
30 views

Proof that the left ideal I of prime norm in maximal order can be written as I = ON + Oα

It seems there is a well-known fact that if $O$ is a maximal order in quaternion algebra $B$ and $I$ is a left $O-$ideal such that $nrd(I) = N$ is prime, then $I = ON + Oα$ with $gcd(N^2, nrd(α)) = N$....
student17's user avatar
2 votes
0 answers
64 views

Group of invertible elements in a degree 4 central simple algebra with symplectic involution with norm in a center

Let $A$ be a central simple algebra of degree 4 (i.e. dimension 16) over a field $F$ with $\mathrm{char}(F) \neq 2$. It is known that any such algebra is a tensor product $D_1 \otimes D_2$ of two ...
Seewoo Lee's user avatar
  • 1,901
5 votes
2 answers
609 views

A note on orders in quaternion algebras

Definition. An algebra $B$ over a field $F$ is a quaternion algebra if there exists $i,j\in B$ such that $1,i,j,ij$ is a basis for $B$ as a vector space over $F$, where $i^2=a,j^2=b;a,b\in F^\times$. ...
Hussein Eid's user avatar
2 votes
0 answers
67 views

Maximal orders and surface subgroups of even genus

Let $A$ be a quaternion algebra over a totally real number field $k$. Suppose that $A$ splits at exactly one real place of $A$. Let $\mathcal{O}$ be a maximal order in $A$. Then $\mathcal{O}$ contains ...
Jacques's user avatar
  • 563
5 votes
1 answer
386 views

Motivating unpublished statements of Gauss about congruences and quaternions

Background Modern claims that Gauss anticipated the quaternions algebra are based primarily on an unpublished fragment of Gauss dated to 1819 and entitled "rotations of space". In this ...
user2554's user avatar
  • 1,869
3 votes
1 answer
207 views

Abelianizations of arithmetic Fuchsian groups

Let $a,b$ be positive integers with $x^2-ay^2-bz^2+abv^2=0$ having only the zero solution over $\mathbb Z$ and consider the Fuchsian group \begin{equation*} \Gamma=\left\{\begin{bmatrix} k+\sqrt{a}l &...
William of Baskerville's user avatar
4 votes
0 answers
63 views

Number of cosets by quaternion order

Let $D$ be a quaternion division algebra over $\mathbb Q$ and let $\Lambda\subset D$ be a maximal order. For $n\in\mathbb Z$ let $\Lambda^{(n)}$ denote the set of all $\lambda\in\Lambda$ with reduced ...
user avatar
1 vote
0 answers
45 views

Is the isomorphism class of Eichler order with prime level in $B_{p,\infty}$ with extra units at most unique?

Let $B_{p, \infty}$ be the quaternion algebra over $\mathbb{Q}$ ramified exactly at $p$ and $\infty$. Let $\mathcal{O}$ be an order in $B_{p, \infty}$. As we know, if $\mathcal{O}$ is maximal, then ...
breeze525's user avatar
2 votes
4 answers
631 views

How to prove that a quaternion algebra over ℤₚ is isomorphic to Mat₂(ℤₚ) for p prime?

How to prove without using advanced theorems that quaternions algebra $H = \genfrac(){}{}{-1,-1}{\mathbb{Z}_p}$, where $p$ is prime that $H \cong\operatorname{Mat}_2({\mathbb{Z}_p})$? My ideas: I ...
Joseph Jordan's user avatar
0 votes
2 answers
205 views

Are there any central simple algebras admitting a standard basis?

Are there any central simple algebras admitting a standard basis? By a standard basis I mean a normal basis that has a cyclic property generalizing that of the familiar basis $1, i, j, k$ for ...
Andy's user avatar
  • 113
3 votes
3 answers
654 views

Ramification of quaternion algebras over $\mathbb Q$

I'm reading on the classification of quaternion algebras over $\mathbb{Q}$. In the most common definition, we have a quaternion algebra $Q = \left(\frac{a,b}{\mathbb{Q}} \right)$ splits at a finite ...
Rdrr's user avatar
  • 851
2 votes
0 answers
72 views

Bézout theorem for complex solutions of systems of homogeneous quaternionic polynomials

Suppose that I have a system of $n$ homogeneous polynomials in $n+1$ variables $p_{1},\dots,p_{n}\in\mathbb{H}[x_{0},\dots,x_{n}]$ with coefficients at both sides in $\mathbb{H}.$ I want to know if ...
Hvjurthuk's user avatar
  • 573
2 votes
1 answer
162 views

Does a quaternion algebra exist over a number field that is split over some infinite real places, but not others?

Let $F$ be a totally real number field having at least two different real embeddings $\sigma_1 : F \hookrightarrow \mathbb{R}$ and $\sigma_2 : F \hookrightarrow \mathbb{R}$. Does a quaternion algebra $...
Doryan Temmerman's user avatar
3 votes
0 answers
70 views

Conceptual meaning of the Dickson construction

The Cayley-Dickson construction (a.k.a. Dickson construction or Dickson doubling) constructs a new *-algebra $A'$ out of a given *-algebra $A$. As a vector space $A' = A \oplus A$, and the ...
Jakob's user avatar
  • 1,986
2 votes
1 answer
152 views

Quaternions algebras whose class groupoid is actually a class group

Let $A$ be a finite-dimensional $\mathbb{Q}$-algebra, and let $\mathcal{O}$ be a maximal order in $A$. Like the case of number fields, we can define an equivalence relation to define something similar ...
Tireless and hardworking's user avatar
34 votes
1 answer
1k views

Quaternionic and octonionic analogues of the Basel problem

I asked this question in MSE around 3 months ago but I have received no answer yet, so following the suggestion in the comments I decided to post it here. It is a well-known fact that $$\sum_{0\neq n\...
pregunton's user avatar
  • 976
1 vote
1 answer
259 views

Are there algorithms for deciding or solving conjugacy in integer quaternion rings?

I am doing some research on the quaternions and their role in Non-commutative cryptography. I have found a number of articles, but it is still unclear to me if there is a known solution to the ...
user157838's user avatar
3 votes
1 answer
225 views

Subring of quaternion algebra

I am following the book Introduction to Quadratic Forms over Fields by T. Y. Lam. In section VI.2, the author proves that, over an arbitrary local field $F$, there is a unique quaternion division ...
user50139's user avatar
  • 493
1 vote
0 answers
132 views

Octonion algebras over number fields [closed]

Is there any textbook or paper about Arithmetic of Octonion Algebras or Octonion Algebras constructed over number fields? I know J. Voight book and K. Martin notes about quaternion algebras but I was ...
N Brasilis's user avatar
1 vote
1 answer
179 views

Lattices from quaternion algebras (MAGMA software)

I am studying the paper "Lattice Packing from Quaternion Algebras" from 2012 about the construction of ideal lattices. In Section 3.3 the authors construct very interesting examples of lattices using ...
N Brasilis's user avatar
4 votes
0 answers
130 views

System of eigenvalues of partial Laplacians and the Jacquet Langlands correspondence

I'm looking for a precise reference. I could not dig it up in the original paper of Jacquet-Langlands. Let $F$ be a totally real number field with $[F:\mathbb{Q}]=r$, let $B_1=M_2(F)$ be the split ...
Hugo Chapdelaine's user avatar
5 votes
2 answers
745 views

How can I find explicit examples of maximal orders of quaternion algebras that are not isomorphic?

I know that there exist algorithms that will construct maximal orders of a quaternion algebra over, say, $\mathbb{Q}$. However, the implemented algorithms that I know of require that you input an ...
Arseniy Sheydvasser's user avatar
4 votes
1 answer
367 views

Possible values of symmetric functions evaluated on quaternions

$\DeclareMathOperator\sym{sym}$Let $i$, $j$, $k$ be the units of quaternions, in particular $i^2=j^2=k^2=-1$, $ijk=-1$. We will use non commutative variables $x$, $y$, $z$. Define $\sym_{a,b,c}$ to be ...
Eric's user avatar
  • 43
6 votes
1 answer
572 views

The Hilbert symbols of quaternion algebras over a totally real field

Let $k$ be a totally real number field. Every quaternion algebra $B$ over $k$ can be written as $$B = \left(\frac{a,b}{k}\right), $$ for some constants $a,b \in k^\times$. My question is, can I always ...
Abenthy's user avatar
  • 517
5 votes
4 answers
759 views

Solutions to the Diophantine equation $x^2+3y^2+3z^2=n$

For a fixed positive integer $n$, the Diophantine equation $$x^2 + y^2 + z^2 = n$$ was studied by Gauss in Disquisitiones Arithmeticae. As is known, this equation is intimately connected to the ...
Anton's user avatar
  • 1,573
2 votes
2 answers
200 views

Involution on false elliptic curve

Let B be a indefinite quaternion algebra with discriminant $d>1$, maximal order $\mathcal{O}$ and standard involution $'$, then there exists $t\in{B}$ such that $t^2=-d$ and a new involution on B ...
GRH's user avatar
  • 131
5 votes
1 answer
190 views

A generalization of Witt's theorem for quaternion algebra isomorphism

Let $Q$ be a quaternion $k$-algebra (namely, a dimension 4 $k$-central simple algebra). Then it is possible to (canonically) attach a smooth projective conic $C_Q\subseteq \mathbf{P}_k^2$ to $Q$: if ...
Caligula's user avatar
  • 375
4 votes
0 answers
408 views

Quaternion algebras in characteristic 2

Let $k$ be a field and let $Q$ be a quaternion algebra over $k$. It is well known that, if $\mathrm{char}\,k\neq 2$, one can define $Q$ as the $k$-algebra of dimension $4$ generated by elements $x,y$ ...
Caligula's user avatar
  • 375
3 votes
1 answer
215 views

Fractional ideals of maximal orders in quaternion algebras

Let D be a skew field that is central and finite-dimensional over a number field F (in particular: a quaternion algebra over F). Let $\Delta$ $\subseteq$ D be a maximal $\mathcal{O}$$_{F}$-order. Let $...
jgerrit's user avatar
  • 31
4 votes
1 answer
120 views

Integrality of the support of matrix coefficients?

Consider a division quaternion algebra $D$ over a number field $F$. For an automorphic representation $\pi$ of $D$, I am interested in the associated matrix coefficients $$f : \gamma \in G \longmapsto ...
Gory's user avatar
  • 589
3 votes
0 answers
89 views

Length of $\mathbb{Z}_p$-modules for quaternion algebras

Consider $G$ the group of units of a division quaternion algebra $D$ over a number field $F$, say $\mathbb{Q}$ for simplicity. Consider a non-central element $x \in G(\mathbb{Z}_p)$: hence, it is ...
Automorphic's user avatar
2 votes
0 answers
130 views

When is $SL_1$ of a quaternion division algebra perfect?

Let $F$ be a field, let $a,b \in F$ and let $\mathcal A:= \left(\frac{a,b}{F}\right)$ be the quaternion algebra over $F$ determined by the relations $$ i^2 = a, \quad j^2 = b, \quad k = ij = -ji. $$ ...
Tom's user avatar
  • 63
4 votes
1 answer
277 views

Fuchsian group which is derived from a division quaternion algebra, Mixing flows on the quotient space

Suppose a Fuchsian group $\Gamma$ is derived from a division quaternion algebra. Then the quotient space $\Gamma\backslash \mathcal{H}$ is compact. I am reading the book "Fuchsian Groups" of ...
Markiff's user avatar
  • 303
5 votes
2 answers
549 views

About some property of automorphism of octonions

Let $f$ be an automorphism of the algebra of octonions. Is it true that $f$ preserves some quaternionic subalgebra? Has the statement an elementary proof?
Yourij1's user avatar
  • 175
2 votes
1 answer
297 views

What is the effect of imaginary quadratic extension on a quaternion algebra's ramified primes

A smart man once explained to me how to solve the following problem, then I forgot. Let $F\subset\mathbb{R}$ be a number field, let $d\in F^+$, and let $K=F(\sqrt{-d})$. Denote the rings of integers ...
j0equ1nn's user avatar
  • 2,438
1 vote
1 answer
188 views

Units in indefinite quaternionic algebra

This is the opposite to my last question case. Let $F$ be a totally real number field, $R$ is a quaternion algebra over $F$ unramified in at least one infinite place of $F$. Let $\mathcal{O}⊂R$ be an ...
SashaP's user avatar
  • 6,952
3 votes
1 answer
435 views

Finite group of units in quaternion orders

Let $F$ be a totally real number field, $R$ is a quaternion algebra over $F$ ramified in all infinite places of $F$. Let $\mathcal{O}\subset R$ be an order. By assumption on $R$ its group of units $\...
SashaP's user avatar
  • 6,952
2 votes
0 answers
228 views

A Quaternions version of the Gauss Lucas theorem

Edit: My serious thanks to Christian, Todd and Yemon for their comments to the previous version. The derivative is the same as Todd says: $(az^{n})'=naz^{n-1}$. The polynomial is in the form of $\...
Ali Taghavi's user avatar
15 votes
2 answers
1k views

Computing endomorphism rings of supersingular elliptic curves

I would like to know what algorithms there are to compute the linearly independent generators $(1,i,j,k)$ for quaternion algebra containing the endomorphism ring of a supersingular curve. The curve in ...
BlackAdder's user avatar
6 votes
1 answer
332 views

Compact hyperbolic 3-manifolds with prescribed quaternion algebra, quaternion parameters as ramification condition

What is an interesting class of examples of hyperbolic 3-manifolds, each of which satisfies the following conditions? 1. It is compact 2. Its trace field contains a unique imaginary quadratic ...
j0equ1nn's user avatar
  • 2,438