2,272 research outputs found
Splitting full matrix algebras over algebraic number fields
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.Comment: 15 pages; Theorem 2 and Lemma 8 correcte
Computing generators of the unit group of an integral abelian group ring
We describe an algorithm for obtaining generators of the unit group of the
integral group ring ZG of a finite abelian group G. We used our implementation
in Magma of this algorithm to compute the unit groups of ZG for G of order up
to 110. In particular for those cases we obtained the index of the group of
Hoechsmann units in the full unit group. At the end of the paper we describe an
algorithm for the more general problem of finding generators of an arithmetic
group corresponding to a diagonalizable algebraic group
Multigraded Hilbert Series of noncommutative modules
In this paper, we propose methods for computing the Hilbert series of
multigraded right modules over the free associative algebra. In particular, we
compute such series for noncommutative multigraded algebras. Using results from
the theory of regular languages, we provide conditions when the methods are
effective and hence the sum of the Hilbert series is a rational function.
Moreover, a characterization of finite-dimensional algebras is obtained in
terms of the nilpotency of a key matrix involved in the computations. Using
this result, efficient variants of the methods are also developed for the
computation of Hilbert series of truncated infinite-dimensional algebras whose
(non-truncated) Hilbert series may not be rational functions. We consider some
applications of the computation of multigraded Hilbert series to algebras that
are invariant under the action of the general linear group. In fact, in this
case such series are symmetric functions which can be decomposed in terms of
Schur functions. Finally, we present an efficient and complete implementation
of (standard) graded and multigraded Hilbert series that has been developed in
the kernel of the computer algebra system Singular. A large set of tests
provides a comprehensive experimentation for the proposed algorithms and their
implementations.Comment: 28 pages, to appear in Journal of Algebr
Hopf algebras in dynamical systems theory
The theory of exact and of approximate solutions for non-autonomous linear
differential equations forms a wide field with strong ties to physics and
applied problems. This paper is meant as a stepping stone for an exploration of
this long-established theme, through the tinted glasses of a (Hopf and
Rota-Baxter) algebraic point of view. By reviewing, reformulating and
strengthening known results, we give evidence for the claim that the use of
Hopf algebra allows for a refined analysis of differential equations. We
revisit the renowned Campbell-Baker-Hausdorff-Dynkin formula by the modern
approach involving Lie idempotents. Approximate solutions to differential
equations involve, on the one hand, series of iterated integrals solving the
corresponding integral equations; on the other hand, exponential solutions.
Equating those solutions yields identities among products of iterated Riemann
integrals. Now, the Riemann integral satisfies the integration-by-parts rule
with the Leibniz rule for derivations as its partner; and skewderivations
generalize derivations. Thus we seek an algebraic theory of integration, with
the Rota-Baxter relation replacing the classical rule. The methods to deal with
noncommutativity are especially highlighted. We find new identities, allowing
for an extensive embedding of Dyson-Chen series of time- or path-ordered
products (of generalized integration operators); of the corresponding Magnus
expansion; and of their relations, into the unified algebraic setting of
Rota-Baxter maps and their inverse skewderivations. This picture clarifies the
approximate solutions to generalized integral equations corresponding to
non-autonomous linear (skew)differential equations.Comment: International Journal of Geometric Methods in Modern Physics, in
pres
- …