Source author record

Alexey Muranov

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

7works
4topics
4close collaborators

Published work

7 publications

preprint2022arXiv

Proof of Cayley-Hamilton theorem using polynomials over the algebra of module endomorphisms

If RR is a commutative unital ring and MM is a unital RR-module, then each element of End⁡R(M)\operatorname{End}_R(M) determines a left End⁡R(M)[X]\operatorname{End}_{R}(M)[X]-module structure on End⁡R(M)\operatorname{End}_{R}(M), where End⁡R(M)\operatorname{End}_{R}(M) is the RR-algebra of endomorphisms of MM and End⁡R(M)[X]=End⁡R(M)⊗RR[X]\operatorname{End}_{R}(M)[X] =\operatorname{End}_{R}(M)\otimes_RR[X]. These structures provide a very short proof of the Cayley-Hamilton theorem, which may be viewed as a reformulation of the proof in Algebra by Serge Lang. Some generalisations of the Cayley-Hamilton theorem can be easily proved using the proposed method.

preprint2009arXiv

Interprétation de l'Arithmétique dans certains groupes de permutations affines par morceaux d'un intervalle

The Arithmetic is interpreted in all the groups of Richard Thompson and Graham Higman, as well as in other groups of piecewise affine permutations of an interval which generalize the groups of Thompson and Higman. In particular, the elementary theories of all these groups are undecidable. Moreover, Thompson's group FF and some of its generalizations interpret the Arithmetic without parameters.

preprint2007arXiv

On torsion-free groups with finite regular file bases

The following question was asked by V. V. Bludov in The Kourovka Notebook in 1995: If a torsion-free group GG has a finite system of generators a1a_1, ..., ana_n such that every element of GG has a unique presentation in the form a1k1...ankna_1^{k_1}... a_n^{k_n} where ki∈Zk_i\in\mathbb Z, is it true that GG is virtually polycyclic? The answer is ``not always.'' A counterexample is constructed in this paper as a group presented by generators and defining relations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.