Related papers: Hereditarily separable groups and monochromatic un…

In this paper we explore the concept of {\em good heredity} for fields from a group theoretic perspective. Extending results from \cite{alice}, we show that several natural families of fields are of good heredity, and some others are not.…

A group G is called subgroup conjugacy separable (abbreviated as SCS), if any two finitely generated and non-conjugate subgroups of G remain non-conjugate in some finite quotient of G. We prove that the free groups and the fundamental…

A group $G$ is called mixed identity-free if for every $n \in \mathbb{N}$ and every $w \in G \ast F_n$ there exists a homomorphism $\varphi: G \ast F_n \rightarrow G$ such that $\varphi$ is the identity on $G$ and $\varphi(w)$ is…

We prove that for each universal algebra $(A,\mathcal A)$ of cardinality $|A|\ge 2$ and an infinite set $X$ of cardinality $|X|\ge|\mathcal A|$, the $X$-th power $(A^X,\mathcal A^X)$ of the algebra $(A,\mathcal A)$ contains a free subset…

An important classical result in ZFC asserts that every infinite cardinal number is idempotent. Using this fact, we obtain several algebraic results in this article. The first result asserts that an infinite Abelian group has a proper…

Suppose that W is a finite, unitary, reflection group acting on the complex vector space V. Let A = A(W) be the associated hyperplane arrangement of W. Terao has shown that each such reflection arrangement A is free. Let L(A) be the…

We show that the first-order logical theory of the binary overlap-free words (and, more generally, the ${\alpha}$-free words for rational ${\alpha}$, $2 < {\alpha} \leq 7/3$), is decidable. As a consequence, many results previously obtained…

We give a new formulation of some of our recent results on the following problem: if all uniformly bounded representations on a discrete group $G$ are similar to unitary ones, is the group amenable? In \S 5, we give a new proof of…

Let $G$ be a locally compact totally disconnected topological group. Under a necessary mild assumption, we show that the irreducible unitary representations of $G$ are uniformly admissible if and only if the irreducible smooth…

We prove that for lambda = beta_omega or just lambda strong limit singular of cofinality aleph_0, if there is a universal member in the class K^lf_lambda of locally finite groups of cardinality lambda, then there is a canonical one…

H\'ethelyi and K\"ulshammer showed that the number of conjugacy classes $k(G)$ of any solvable finite group $G$ whose order is divisible by the square of a prime $p$ is at least $(49p+1)/60$. Here an asymptotic generalization of this result…

We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in aleph_alpha for some (equivalently for every) ordinal alpha>0. Another central result here is, in this context:…

A group is Artinian if there is no infinite strictly descending chain of subgroups. Ol'shanskii has asked whether there are Artinian groups of arbitrarily large cardinality. We show that this problem is essentially the same as an analogous…

Let $G=A_n$, a finite alternating group. We study the commuting graph of $G$ and establish, for all possible values of $n$ barring $13, 14, 17$ and $19$, whether or not the independence number is equal to the clique-covering number.

We establish that if it is consistent that there is a supercompact cardinal, then it is consistent that every locally compact, hereditarily normal space which does not include a perfect pre-image of omega_1 is hereditarily paracompact.

This is a survey of two papers joint with A. Borisov and a paper joint with I. Spakulova. It is based on my lectures at the conference "Groups St. Andrews 2009", Bath (August 2009). We prove that almost all 1-related groups with at least 3…

A colouring of a graph is "nonrepetitive" if for every path of even order, the sequence of colours on the first half of the path is different from the sequence of colours on the second half. We show that planar graphs have nonrepetitive…

We deal with some pcf investigations mostly motivated by abelian group theory problems and deal their applications to test problems (we expect reasonably wide applications). We prove almost always the existence of aleph_omega-free abelian…

In [6] we proved that the universal theory of infinite free lattices is (algorithmically) decidable, leaving open the problem of decidability of the full theory of an (infinite) free lattice. We solve this problem by proving that, for every…

A family of sets is called $r$-\emph{cover free} if no set in the family is contained in the union of $r$ (or less) other sets in the family. A $1$-cover free family is simply an antichain with respect to set inclusion. Thus, Sperner's…