Creating maximal orders in quaternion algebras

Open discussion for MAGMA library (Matrix Algebra on GPU and Multicore Architectures)
Post Reply
jangerrit
Posts: 1
Joined: Wed May 16, 2018 11:44 am

Creating maximal orders in quaternion algebras

Post by jangerrit » Wed May 16, 2018 11:49 am

I am currently trying to implement the following setting in MAGMA:

Let D be a skew field that is central and finite-dimensional over a number field F (more specifically: a quaternion algebra). Let Delta (subset of D) be a maximal order over the ring of integers of F ("OF").

I have tried implementing several versions of this setting, sometimes using
the rationals as RationalsAsNumberField() (since the documentation for Quaternion Algebras says that some MAGMA intrinsics are only implemented for number fields), sometimes with F as a quadratic field, but none of them worked so far. In particular, I wasn't able to create the maximal OF-order Delta.

My MAGMA code looks like this:
> F6:=QuadraticField(2);

> OF6:=RingOfIntegers(F6);

> D6<i,j,k>:=QuaternionAlgebra<F6|-1,-1>;

> Seq6:=[1,i,j,k];

> Delta6:=Order(OF6,Seq6);
(I am aware that this order is not maximal.)

The error I get when executing this code is:
> Delta6:=Order(OF6,Seq6);

>Runtime error in 'Order': Coefficient ring must be a
polynomial ring or integer ring
Can anybody help me fix this problem?

mgates3
Posts: 842
Joined: Fri Jan 06, 2012 2:13 pm

Re: Creating maximal orders in quaternion algebras

Post by mgates3 » Wed May 16, 2018 12:35 pm

Wrong site. You're using the Magma Computational Algebra System, http://magma.maths.usyd.edu.au/magma/

This site is for the MAGMA Matrix Algebra on GPU and Multicore Architectures library, http://icl.utk.edu/magma/

-mark

Post Reply