
arXiv: 1106.6191
Let K be an algebraic number field of degree d and discriminant D over Q. Let A be an associative algebra over K given by structure constants such that A is isomorphic to the algebra M_n(K) of n by n matrices over K for some positive integer n. Suppose that d, n and D are bounded. Then an isomorphism of A with M_n(K) can be constructed by a polynomial time ff-algorithm. (An ff-algorithm is a deterministic procedure which is allowed to call oracles for factoring integers and factoring univariate polynomials over finite fields.) As a consequence, we obtain a polynomial time ff-algorithm to compute isomorphisms of central simple algebras of bounded degree over K.
15 pages; Theorem 2 and Lemma 8 corrected
Computer Science - Symbolic Computation, FOS: Computer and information sciences, real embeddings, Other algebras and orders, and their zeta and \(L\)-functions, Symbolic Computation (cs.SC), Endomorphism rings; matrix rings, Symbolic computation and algebraic computation, Finite-dimensional division rings, Minkowski theorem on convex bodies, parametrizations, n-Descent on elliptic curves, central simple algebras, Minkowskiʼs theorem on convex bodies, Maximal order, Severi-Brauer surfaces, FOS: Mathematics, Number Theory (math.NT), Number-theoretic algorithms; complexity, Central simple algebra, Algebra and Number Theory, Mathematics - Number Theory, Parametrization, Real and complex embedding, Lattice basis reduction, splittings, maximal orders, Severi–Brauer surfaces, Mathematics - Rings and Algebras, Computational aspects of associative rings (general theory), splitting elements, Splitting, complex embeddings, lattice bases reductions, polynomial time ff-algorithms, Rings and Algebras (math.RA), Splitting element, descent on elliptic curves
Computer Science - Symbolic Computation, FOS: Computer and information sciences, real embeddings, Other algebras and orders, and their zeta and \(L\)-functions, Symbolic Computation (cs.SC), Endomorphism rings; matrix rings, Symbolic computation and algebraic computation, Finite-dimensional division rings, Minkowski theorem on convex bodies, parametrizations, n-Descent on elliptic curves, central simple algebras, Minkowskiʼs theorem on convex bodies, Maximal order, Severi-Brauer surfaces, FOS: Mathematics, Number Theory (math.NT), Number-theoretic algorithms; complexity, Central simple algebra, Algebra and Number Theory, Mathematics - Number Theory, Parametrization, Real and complex embedding, Lattice basis reduction, splittings, maximal orders, Severi–Brauer surfaces, Mathematics - Rings and Algebras, Computational aspects of associative rings (general theory), splitting elements, Splitting, complex embeddings, lattice bases reductions, polynomial time ff-algorithms, Rings and Algebras (math.RA), Splitting element, descent on elliptic curves
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 18 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
