Related papers: CI-groups with respect to ternary relational struc…
In 2020, Calderoni, Marker, Motto Ros and Shani asked what the Borel complexity of the isomorphism relation of Archimedean orders on $\mathbb{Q}^n$ is. We answer this question by proving that the isomorphism relation of Archimedean orders…
We show that the group of bounded sequences of elements of $\mathbb{Z}[\sqrt 2]$ is an example of an abelian group with several well known, and not so well known, pathological properties. It appears to be simpler than all previously known…
Let $G$ be a finite group and $\alpha(G)=\frac{|C(G)|}{|G|}$\,, where $C(G)$ denotes the set of cyclic subgroups of $G$. In this short note, we prove that $\alpha(G)\leq\alpha(Z(G))$ and we describe the groups $G$ for which the equality…
Ternary algebras, constructed from ternary commutators, or as we call them, ternutators, defined as the alternating sum of products of three operators, have been shown to satisfy cubic identities as necessary conditions for their existence.…
Denote by $G$ a finite group and let $\psi(G)$ denote the sum of element orders in $G$. In 2009, H.Amiri, S.M.Jafarian Amiri and I.M.Isaacs proved that if $|G|=n$ and $G$ is non-cyclic, then $\psi(G)<\psi(C_n)$, where $C_n$ denotes the…
Given two algebras A and B, sometimes assumed to be C*-algebras, we consider the question of putting algebra or C*-algebra structures on the tensor product A\otimes B. In the C*-case, assuming B to be two-dimensonal, we characterize all…
A Cayley graph Cay$(G;S)$ has the CI (Cayley Isomorphism) property if for every isomorphic graph Cay$(G;T)$, there is a group automorphism $\alpha$ of $G$ such that $S^\alpha=T$. The DCI (Directed Cayley Isomorphism) property is defined…
When studying subgroups of $Out(F_n)$, one often replaces a given subgroup $H$ with one of its finite index subgroups $H_0$ so that virtual properties of $H$ become actual properties of $H_0$. In many cases, the finite index subgroup is…
We obtain a complete description of the integer group determinants for $\mathbb Z_{18}$ (these are the $18\times18$ circulant determinants with integer entries) and $\mathbb Z_3 \times \mathbb Z_6$, the two abelian groups of order 18. This…
For every $p\geq 2$ we show that each finite $p$-group with an unmixed Beauville structure is part of a surjective infinite projective system of finite $p$-groups with compatible unmixed Beauville structures. This leads to the new notion of…
Let $G$, $H$ be groups. We denote by $\eta(G,H)$ a certain extension of the non-abelian tensor product $G \otimes H$ by $G \times H$. We prove that if $G$ and $H$ are groups that act compatibly on each other and such that the set of all…
A finite group $G$ is called a DCI-group if two Cayley digraphs over $G$ are isomorphic if and only if their connection sets are conjugate by a group automorphism. We prove that the group $C_4\times C_p^2$, where $p$ is a prime, is a…
A very useful fact in additive combinatorics is that analytic expressions that can be used to count the number of structures of various kinds in subsets of Abelian groups are robust under quasirandom perturbations, and moreover that…
We prove that whenever A is a 3-conservative relational structure with only binary and unary relations then the algebra of polymorphisms of A either has no Taylor operation (i.e. CSP(A) is NP-complete), or generates a congruence meet…
In this paper we prove non-existence of nontrivial partial difference sets in Abelian groups of order 8p^3, where p \geq 3 is a prime number.
This paper is devoted to the more elementary aspects of the contramodule story, and can be viewed as an extended introduction to the more technically complicated arXiv:1503.05523. Reduced cotorsion abelian groups form an abelian category,…
This paper studies the possible Hodge groups of simple polarizable $\mathbb{Q}$-Hodge structures with Hodge numbers $(n,0,\ldots,0,n)$. In particular, it generalizes earlier work of Ribet and Moonen-Zarhin to completely determine the…
This article gives the proof of results announced in [J. Blanc, Finite Abelian subgroups of the Cremona group of the plane, C.R. Acad. Sci. Paris, S\'er. I 344 (2007), 21-26.] and some description of automorphisms of rational surfaces.…
An $S$-ring (Schur ring) is called separable with respect to a class of $S$-rings $\mathcal{K}$ if it is determined up to isomorphism in $\mathcal{K}$ only by the tensor of its structure constants. An abelian group is said to be separable…
We propose and study a variation of the classical isomorphism problem for group rings in the context of projective representations. We formulate several weaker conditions following from our notion and give all logical connections between…