Related papers: Indecomposable explicit abelian group
One of the most studied algebraic structures with one operation is the Abelian group, which is defined as a structure whose operation satisfies the associative and commutative properties, has identical element and every element has an…
We will answer a question raised by Emmanuel Dror Farjoun concerning the existence of torsion-free abelian groups G such that for any ordered pair of pure elements there is a unique automorphism mapping the first element onto the second…
We discuss the decomposability of torsion-free abelian groups. We show that among computable groups of finite rank this property is $\Sigma^0_3$-complete. However, when we consider groups of infinite rank, it becomes $\Sigma^1_1$-complete,…
In this survey article, we try to summarize the known results towards the long-standing non-inner automorphism conjecture, which states that every finite non-abelian $p$-group has a non-inner automorphism of order $p$.
We show that every Abelian group satisfying a mild cardinal inequality admits a pseudocompact group topology from which all countable subgroups inherit the maximal totally bounded topology (we say that such a topology satisfies property…
We prove that the additive group of the rationals does not have an automatic presentation. The proof also applies to certain other abelian groups, for example, torsion-free groups that are $p$-divisible for infinitely many primes $p$, or…
A subset $D$ of an Abelian group is $decomposable$ if $\emptyset\ne D\subset D+D$. In the paper we give partial answer to an open problem asking whether every finite decomposable subset $D$ of an Abelian group contains a non-empty subset…
In this paper we find a necessary and sufficient condition for a finite nilpotent group to have an abelian central automorphism group.
We construct a non-free but aleph_1-separable, torsion-free abelian group G with a pure free subgroup B such that all subgroups of G disjoint from B are free and such that G/B is divisible. This answers a question of Irwin and shows that a…
We prove that the abstract commensurator of a nonabelian free group, an infinite surface group, or more generally of a group that splits appropriately over a cyclic subgroup, is not finitely generated. This applies in particular to all…
It is well known that every finite subgroup of automorphism group of polynomial algebra of rank 2 over the field of zero characteristic is conjugated with a subgroup of linear automorphisms. We prove that it is not true for an arbitrary…
We show that it is consistent with ZFC that every compact group has a non-Haar-measurable subgroup. In addition, we demonstrate a natural construction, and we conjecture that this construction always produces a non-measurable subgroup of a…
We investigate the possible structures imposed on a finite group by its possession of an automorphism sending a large fraction of the group elements to their cubes, the philosophy being that this should force the group to be, in some sense,…
(1) Every infinite, Abelian compact (Hausdorff) group K admits 2^|K|-many dense, non-Haar-measurable subgroups of cardinality |K|. When K is nonmetrizable, these may be chosen to be pseudocompact. (2) Every infinite Abelian group G admits a…
Let K be a set of infinite cardinals such that the cardinality of K is the first strong limit cardinal greater than uncountably many strong limit cardinals. We construct a family of pairwise non-embeddable groups which contains 2^k groups…
Each Abelian subgroup of the fundamental group of a compact and locally simply connected $d$-dimensional length space with no conjugate points is isomorphic to $\mathbb{Z}^k$ for some $0 \leq k \leq d$. It follows from this and previously…
The notion of essential submodules and essential extensions of modules are extended to groups (typically nonabelian), and several necessary and sufficient conditions for a group to possess a proper essential subgroup are investigated.…
We give an example of a countable theory T such that for every cardinal lambda >= aleph_2 there is a fully indiscernible set A of power lambda such that the principal types are dense over A, yet there is no atomic model of T over A. In…
For each prime $p$ we construct a family $\{G_i\}$ of finite $p$-groups such that $|\Aut (G_i)|/|G_i|$ goes to $0$, as $i$ goes to infinity. This disproves a well-known conjecture that $|G|$ divides $|\Aut(G)|$ for every non-abelian finite…
Let G be a torsion--free abelian group of finite rank. The automorphism group Aut(G) acts on the set of maximal independent subsets of G. The orbits of this action are the isomorphism classes of indecomposable decompositions of G. G…