974 research outputs found
Basic Module Theory over Non-Commutative Rings with Computational Aspects of Operator Algebras
The present text surveys some relevant situations and results where basic
Module Theory interacts with computational aspects of operator algebras. We
tried to keep a balance between constructive and algebraic aspects.Comment: To appear in the Proceedings of the AADIOS 2012 conference, to be
published in Lecture Notes in Computer Scienc
Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gr{\"o}bner bases
This paper is a sequel to "Computing diagonal form and Jacobson normal form
of a matrix using Groebner bases", J. of Symb. Computation, 46 (5), 2011. We
present a new fraction-free algorithm for the computation of a diagonal form of
a matrix over a certain non-commutative Euclidean domain over a computable
field with the help of Gr\"obner bases. This algorithm is formulated in a
general constructive framework of non-commutative Ore localizations of
-algebras (OLGAs). We split the computation of a normal form of a matrix
into the diagonalization and the normalization processes. Both of them can be
made fraction-free. For a matrix over an OLGA we provide a diagonalization
algorithm to compute and with fraction-free entries such that
holds and is diagonal. The fraction-free approach gives us more information
on the system of linear functional equations and its solutions, than the
classical setup of an operator algebra with rational functions coefficients. In
particular, one can handle distributional solutions together with, say,
meromorphic ones. We investigate Ore localizations of common operator algebras
over and use them in the unimodularity analysis of transformation
matrices . In turn, this allows to lift the isomorphism of modules over an
OLGA Euclidean domain to a polynomial subring of it. We discuss the relation of
this lifting with the solutions of the original system of equations. Moreover,
we prove some new results concerning normal forms of matrices over non-simple
domains. Our implementation in the computer algebra system {\sc
Singular:Plural} follows the fraction-free strategy and shows impressive
performance, compared with methods which directly use fractions. Since we
experience moderate swell of coefficients and obtain simple transformation
matrices, the method we propose is well suited for solving nontrivial practical
problems.Comment: 25 pages, to appear in Journal of Symbolic Computatio
Niceness theorems
Many things in mathematics seem lamost unreasonably nice. This includes
objects, counterexamples, proofs. In this preprint I discuss many examples of
this phenomenon with emphasis on the ring of polynomials in a countably
infinite number of variables in its many incarnations such as the representing
object of the Witt vectors, the direct sum of the rings of representations of
the symmetric groups, the free lambda ring on one generator, the homology and
cohomology of the classifying space BU, ... . In addition attention is paid to
the phenomenon that solutions to universal problems (adjoint functors) tend to
pick up extra structure.Comment: 52 page
Perturbative Symmetries on Noncommutative Spaces
Perturbative deformations of symmetry structures on noncommutative spaces are
studied in view of noncommutative quantum field theories. The rigidity of
enveloping algebras of semi-simple Lie algebras with respect to formal
deformations is reviewed in the context of star products. It is shown that
rigidity of symmetry algebras extends to rigidity of the action of the symmetry
on the space. This implies that the noncommutative spaces considered can be
realized as star products by particular ordering prescriptions which are
compatible with the symmetry. These symmetry preserving ordering prescriptions
are calculated for the quantum plane and four-dimensional quantum Euclidean
space. Using these ordering prescriptions greatly facilitates the construction
of invariant Lagrangians for quantum field theory on noncommutative spaces with
a deformed symmetry.Comment: 16 pages; LaTe
- …