Related papers: On separable abelian $p$-groups

We give a new, effective proof of the separability of cubically convex-cocompact subgroups of special groups. As a consequence, we show that if $G$ is a virtually compact special hyperbolic group, and $Q\leq G$ is a $K$-quasiconvex…

A semigroup is \emph{amiable} if there is exactly one idempotent in each $\mathcal{R}^*$-class and in each $\mathcal{L}^*$-class. A semigroup is \emph{adequate} if it is amiable and if its idempotents commute. We characterize adequate…

In his famous monograph on permutation groups, H.~Wielandt gives an example of a Schur ring over an elementary abelian group of order $p^2$ ($p>3$ is a prime), which is non-schurian, that is, it is the transitivity module of no permutation…

A group $G$ is called subgroup conjugacy separable if for every pair of non-conjugate finitely generated subgroups of $G$, there exists a finite quotient of $G$ where the images of these subgroups are not conjugate. We prove that limit…

Elementarily free groups are the finitely generated groups with the same elementary theory as free groups. We prove that elementarily free groups are subgroup separable, answering a question of Zlil Sela.

A group G is a cn-group if for each subgroup H of G there exists a normal subgroup N of G such that the index of both H and N in HN is finite. The class of cn-groups contains properly the classes of core- finite groups and that of groups in…

A finite connected 2-complex K whose fundamental group is of cohomological dimension 2 is aspherical iff the subgroup \Sigma_K of H_2(K) consisting of spherical 2-cycles is zero. A finite connected subcomplex of an aspherical 2-complex is…

Following Wielandt, a finite group $G$ is called a $B$-group (Burnside group) if every primitive group containing a regular subgroup isomorphic to $G$ is doubly transitive. Using a method of Schur rings, Wielandt proved that every abelian…

Let $k$ be a perfect field of characteristic $p \geq 3$. We classify $p$-divisible groups over regular local rings of the form $W(k)[[t_1,...,t_r,u]]/(u^e+pb_{e-1}u^{e-1}+...+pb_1u+pb_0)$, where $b_0,...,b_{e-1}\in W(k)[[t_1,...,t_r]]$ and…

We carry out a study of groups $G$ in which the index of any infinite subgroup is finite. We call them restricted-finite groups and characterize finitely generated not torsion restricted-finite groups. We show that every infinite…

Given two seprable irreducible polynomials $P_1$ and $P_2$ over a filed $\mathbb{K}$. We show that the rings $\mathbb{K}[X]/(P_1^n)$ and $\mathbb{K}[X]/(P_2^n)$ are isomorphic if and only if their residue fields $\mathbb{K}[X]/(P_1)$ and…

It is known that every torsion-free abelian group of finite rank has a maximal completely decomposable summand that is unique up to isomorphism. We show that groups of infinite rank need not have maximal completely decomposable summands,…

In this paper we show that the $\mathrm{K}$-homology groups of a separable C*-algebra can be enriched with additional descriptive set-theoretic information, and regarded as definable groups. Using a definable version of the Universal…

We say that a smooth algebraic group $G$ over a field $k$ is very special if for any field extension $K/k$, every $G_K$-homogeneous $K$-variety has a $K$-rational point. It is known that every split solvable linear algebraic group is very…

When considering the unit group of $\mathcal{O}_F G$ ($\mathcal{O}_F$ the ring of integers of an abelian number field $F$ and a finite group $G$) certain components in the Wedderburn decomposition of $FG$ cause problems for known generic…

The separability tensor element of a separable extension of noncommutative rings is an idempotent when viewed in the correct endomorphism ring; so one speaks of a separability idempotent, as one usually does for separable algebras. It is…

We generalize to the super context, the known fact that if an affine algebraic group $G$ over a commutative ring $k$ acts freely (in an appropriate sense) on an affine scheme $X$ over $k$, then the dur sheaf $X\tilde{\tilde{/}}G$ of…

We determine all finite p-groups that admit a faithful, self-similar action on the p-ary rooted tree such that the first level stabilizer is abelian. A group is in this class if and only if it is a split extension of an elementary abelian…

We extend the classical construction by Noether of crossed product algebras, defined by finite Galois field extensions, to cover the case of separable (but not necessarily finite or normal) field extensions. This leads us naturally to…

We say that a subgroup $H$ is isolated in a group $G$ if for every $x\in G$ we have either $x\in H$ or $\langle x\rangle\cap H=1$. In this short note, we describe the set of isolated subgroups of a finite abelian group. The technique used…