相关论文: Un theoreme de Kurosh pour les relations d'equival…

A structure theorem is proved for strongly holonomic modules over a quantum torus (a crossed product of a field with a free abelian group in which the field is central). This can be applied to give a structure theorem for finitely presented…

We first explain how to endow the space of subequivalence relations of any non-singular countable equivalence relation with a Polish topology, extending the framework of Kechris' recent monograph on subequivalence relations of probability…

We find some extensions of the Kraft-Russell Generic Equivalence Theorem and using it we obtain a simple proof of a result of Dubouloz and Kishimoto.

By using tensor analysis, we find a connection between normed algebras and the parallelizability of the spheres S$^1$, S$^3$ and S$^7.$ In this process, we discovered the analogue of Hurwitz theorem for curved spaces and a geometrical…

This paper is devoted to the study of analytic equivalence relations which are Borel graphable, i.e. which can be realized as the connectedness relation of a Borel graph. Our main focus is the question of which analytic equivalence…

In this paper, we would like to propose a fundamental question about a higher dimensional analogue of Dirichlet's unit theorem. We also give a partial answer to the question as an application of the arithmetic Hodge index theorem.

We give a different and possibly more accessible proof of a general Borsuk--Ulam theorem for a product of spheres, originally due to Ramos. That is, we show the non-existence of certain $(\mathbb{Z}/2)^k$-equivariant maps from a product of…

Let G be a reductive group over an algebraically closed field of positive characteristic. In this article we show an analogue for Morozov theorem for characteristics that are separably good for G (and under additional hypotheses on the…

We prove the A-theoretic Isomorphism Conjecture with coefficients and finite wreath products for solvable groups.

Using an alternative notion of good reduction, an analog of the Shafarevich theorem for elliptic curves is proved for morphisms of the projective line over number fields.

We prove that many seemingly simple theories have Borel complete reducts. Specifically, if a countable theory has uncountably many complete 1-types, then it has a Borel complete reduct. Similarly, if $Th(M)$ is not small, then $M^{eq}$ has…

We consider differences of one- and two-variable finite products and provide combinatorial proofs of the nonnegativity of certain coefficients. Since the products may be interpreted as generating functions for certain integer partitions,…

We prove a generalisation of the Khukhro--Makarenko theorem on large characteristic subgroups with laws. This general fact implies new results on groups, algebras, and even graphs and other structures. Concerning groups, we obtain, e.g., a…

A classical theorem due to Mycielski states that an equivalence relation $E$ having the Baire property and meager equivalence classes must have a perfect set of pairwise inequivalent elements. We consider equivalence relations with…

The correspondence between definable connected groupoids in a theory $T$ and internal generalised imaginary sorts of $T$, established by Hrushovski in ["Groupoids, imaginaries and internal covers," Turkish Journal of Mathematics, 2012], is…

We develop a correspondence between the study of Borel equivalence relations induced by closed subgroups of $S_\infty$, and the study of symmetric models and weak choice principles, and apply it to prove a conjecture of…

We show that if there exists a countable Borel equivalence relation which is hyper-hyperfinite but not hyperfinite then the complexity of hyperfinite countable Borel equivalence relations is as high as possible, namely,…

In a previous paper we proved a result of the type "invariance under twisting" for Brzezinski's crossed products. In this paper we prove a converse of this result, obtaining thus a characterization of what we call equivalent crossed…

Given an algebra A, presented by generators and relations, i.e. as a quotient of a tensor algebra by an ideal, we construct a free algebra resolution of A, i.e. a differential graded algebra which is quasi-isomorphic to A and which is…

We establish the preservation of the way-below relation with respect to the tensor product.