English

Computing explicit isomorphisms with full matrix algebras over $\mathbb{F}_q(x)$

Rings and Algebras 2017-01-03 v3 Symbolic Computation Number Theory

Abstract

We propose a polynomial time ff-algorithm (a deterministic algorithm which uses an oracle for factoring univariate polynomials over Fq\mathbb{F}_q) for computing an isomorphism (if there is any) of a finite dimensional Fq(x)\mathbb{F}_q(x)-algebra AA given by structure constants with the algebra of nn by nn matrices with entries from Fq(x)\mathbb{F}_q(x). The method is based on computing a finite Fq\mathbb{F}_q-subalgebra of AA which is the intersection of a maximal Fq[x]\mathbb{F}_q[x]-order and a maximal RR-order, where RR is the subring of Fq(x)\mathbb{F}_q(x) consisting of fractions of polynomials with denominator having degree not less than that of the numerator.

Keywords

Cite

@article{arxiv.1508.07755,
  title  = {Computing explicit isomorphisms with full matrix algebras over $\mathbb{F}_q(x)$},
  author = {Gábor Ivanyos and Péter Kutas and Lajos Rónyai},
  journal= {arXiv preprint arXiv:1508.07755},
  year   = {2017}
}

Comments

15 pages, contains updated grant numbers

R2 v1 2026-06-22T10:45:03.667Z