All Questions
Tagged with abelian-groups gr.group-theory
141 questions
6
votes
1
answer
332
views
Zero-sum sets in union-closed families
The Davenport constant $D(G)$ of a finite abelian group $G$ is the minimum integer $n$ such that whenever $a_1, \ldots, a_n \in G$ (not necessarily distinct), there is a non-empty $I \subseteq [n]$ ...
- 1,169
5
votes
2
answers
907
views
What is $\mathrm{Hom}(\mathbb{Q},\mathbb{Z}(p^{\infty}))$?
What is $\mathrm{Hom}(\mathbb{Q},\mathbb{Z}(p^{\infty}))$?
I have a reference that says the group in question is $\mathbb{Q}_p,$ the additive group of the quotient field of the $p$-adic integers. Can ...
- 549
5
votes
1
answer
308
views
Quotient groups obtained by quotienting $G^n$ by $G^{n-1}$
Notation: For a group $G$, we write $G^n$ to denote the $n$-fold direct product of $G$ with itself.
Problem set up:
Consider, for a finite group $G$, and $n > 1$, the set $Q(G)_n$ of all ...
- 6,313
5
votes
2
answers
387
views
Size of distinct sums in A
Let $G$ be an abelian group. Let $A\subset G$ be a finite set. $\sum_A$ is defined as: $$\left\{\sum_{b\in B}b \mid B\subset A\right\}$$ Is there any result similar to Freiman's Theorem for $\sum_A$? ...
- 901
5
votes
1
answer
401
views
Retract of a product
Let $G$ be a retract of a product $\prod_I\mathbb{Z}$ of copies of $\mathbb Z$.
This means there are group homomorphisms $\pi:\prod_I\mathbb{Z}\to G$ and $\sigma:G\to\prod_I\mathbb Z$ such that $\pi\...
user473423
5
votes
2
answers
331
views
Computing the Abelian invariants of a subgroup of a f.g. Abelian group
We have a f.g. Abelian group $A$ given as a direct sum of $N$ cyclic subgroups $C_{k_j}=\langle x_j\rangle$, with $k_j\in \{2,\dots,\infty\}$, $1\leq j \leq N$, and the associated homomorphism $\phi:\...
- 14k
5
votes
1
answer
313
views
Projective representations of a finite abelian group
Projective representations of a group $G$ are classified by the second group cohomology $H^2(G,U(1))$. If $G$ is finite and abelian, it is isomorphic to the direct product of cyclic groups
$$
G\cong ...
- 813
5
votes
1
answer
472
views
Countable reduced abelian group containing all countable reduced abelian groups
Is there a countable abelian group for which its subgroups are exactly all of the countable "reduced" abelian groups? (Reduced means that its divisible subgroup is zero)
Is the following group a ...
- 165
5
votes
1
answer
204
views
Characteristic subgroups of a finite abelian $2$-group
I have recently stumbled across the problem of describing the characteristic subgroups of a finite abelian group. With some discussions with some mathematicians in my lab, I managed to obtain a "...
5
votes
1
answer
163
views
Characteristically simple locally compact abelian groups
Say a topological group $G$ is topologically characteristically simple if there does not exist a closed subgroup $1 < K < G$ such that $K$ is invariant under all automorphisms of $G$ (here `...
- 4,728
5
votes
1
answer
432
views
Is the annihilator of the intersection of two subgroups of a (countable) discrete abelian group generated by the annihilators of the two subgroups?
Let $G$ be a (countable) discrete abelian group and denote by $\hat{G}$ its Pontryagin dual, i.e. the compact abelian group of group homomorphisms $\chi:G \longrightarrow \mathbb{T}$. Recall that, for ...
- 188
5
votes
2
answers
219
views
Torsionless not separable abelian groups
A torsionless abelian group $A$ is one for which any element $a\neq 0$ can be sent to a nonzero element of $Z$ by some homomorphism $A\rightarrow Z$ (integers). Equivalently, $A$ can be embedded as a ...
- 345
5
votes
0
answers
444
views
Subgroups and quotients of an abelian pro-finite group
It is well known that every subgroup $H$ of a finite abelian group $G$ is isomorphic to a quotient of $G$.
I'm wondering whether there is a counterpart for profinite groups.
For example is it true ...
- 93
4
votes
2
answers
449
views
Number of torsion-free abelian groups
Let $\mathfrak{c}$ be the cardinality of the continuum. How much Choice, if any, is needed to prove that there are $2^{\mathfrak{c}}$ distinct (mutually nonisomorphic) torsion-free abelian groups of ...
- 2,049
4
votes
1
answer
426
views
Is $\mathbb Z$ prime in the class of abelian groups?
Let $B$, $C$, and $D$ be abelian groups such that $\mathbb Z\times B$ is isomorphic to $C\times D$.
Is there a group $E$ such that $C$ or $D$ is isomorphic to $\mathbb Z\times E$?
Reference: page 263 ...
- 1,644
4
votes
2
answers
507
views
Co-finite type abelian groups
Suppose $B$ is an abelian group such that for every integer $n\ge 1$, the $n$-torsion subgroup $B[n]$ is finite.
Let $B_{\rm tor} = \varinjlim_{n\ge 1} B[n]$ be the torsion subgroup of $B$.
Is it ...
user119470
4
votes
2
answers
227
views
Maximal subgroups of finite abelian $2$-groups
Suppose $G$ is a finite abelian $2$-group, and $S$ is a subset of $G$, $\langle S\rangle=G$,$S^{-1}=S$,$e\notin S$. How to determine whether there exists a maximal subgroup $M$ of $G$, such that $S$ ...
- 173
4
votes
2
answers
1k
views
Cyclic subgroups of finite abelian groups
I learned from MO Subgroups of a finite abelian group that the problem of enumerating subgroups (not up to isomorphism) of finite abelian groups is a difficult one.
Are there simple formulas if one ...
- 43
4
votes
1
answer
381
views
Cardinality of the set of elements of fixed order.
Let us consider the group $G:=\mathbb{Z}_N^a$ (the product of the cyclic group with $N$ elements with itself $a$ times). Suppose we are given a number $m$ that divides $N$.
I would like to know how ...
- 63
4
votes
1
answer
498
views
Short exact sequence $0\to \mathbb Z\to A \to \mathbb R \to 0$
Does every short exact sequence $0\to \mathbb Z\to A \to \mathbb R \to 0$ split in the category of Abelian groups?
- 51
4
votes
1
answer
216
views
"Universal" abelian p-groups
Let $p$ be a prime number. I am interested in the abelian groups $G$ with the following property:
(U) every finite abelian $p$-group $A$ admits a monomorphism $A\hookrightarrow G$.
In other words, ...
- 1,294
4
votes
1
answer
211
views
Nonempty intersection of cosets of finite-index subgroups
$\DeclareMathOperator\lcm{lcm}$This question is crossposted from MSE.
Let $H_1,\dots,H_{n+2}$ be cosets of finite-index subgroups of $\mathbb{Z}^n$ and suppose for all $i=1,\dots,n+2$, $\bigcap_{j\neq ...
- 10.6k
4
votes
1
answer
405
views
A question on bi-character of finite abelian group
Setting: $G$ is a finite abelian group and any bicharacter on $G$, where a bi-character on $G$ is a map $b:G \times G \to \mathbb{Q}/\mathbb{Z}$ such that $$b(x+y,z)=b(x,z)+b(y,z),b(x,z+y)=b(x,z)+b(x,...
- 41
4
votes
1
answer
383
views
Finite dimensional compact abelian group that is not a product of connected and a totally disconnected
Let $G$ be a compact abelian group. A compact abelian group is said to have dimension $n$ if $\dim_\mathbb{Q} \mathbb{Q}\otimes \hat G = n$. Equivalently one can show that this holds if $G$ is ...
- 43
4
votes
1
answer
277
views
Is there a good notion of kernels of quadratic forms on abelian groups?
Let $G$ be an abelian group and let $q:G \to \mathbb{Q/Z}$ be a quadratic form, i.e. $q(a)=q(-a)$ and $b(x,y)=q(x+y)-q(x)-q(y)$ is a bihomomorphism. On vector spaces, when people speak about the ...
- 1,813
4
votes
1
answer
182
views
How far is a countably infinite reduced abelian $p$-group from being an infinite direct sum?
Question Let $G$ be a countably infinite reduced abelian $p$-group. Is it always possible to write it has an infinite direct sums of non-trivial groups? If it is not true, how far is $G$ from being an ...
- 343
4
votes
0
answers
63
views
Possible questions about the Tate-Shafarevich subgroup of a Galois hypercohomology group?
$\newcommand{\wt}{\widetilde}$
Let $n=1,2$. There are infinite torsion abelian groups $H^1$, $H^2$ killed by some natural number $m$.
There are finite subgroups
$$ {\rm Sha}^1 \subset H^1,\quad ...
- 14.2k
4
votes
0
answers
113
views
Duality for finite quotient groups of finitely generated free abelian groups
$\newcommand{\Z}{{\Bbb Z}}
\newcommand{\Q}{{\Bbb Q}}
\newcommand{\Hom}{{\rm Hom}}
$ The following lemma is certainly known.
Lemma (well-known).
Let $B$ be a lattice (that is, a finitely generated ...
- 14.2k
3
votes
1
answer
1k
views
Automorphisms of an infinite direct product of abelian groups
Let $G = \prod_p \mathbb{Z}/p\mathbb{Z}$, where $p$ ranges over all primes, considered as an abelian group. What does $\text{Aut}(G)$ (or even $\text{End}(G)$) look like?
I know that that if we take $...
- 3,115
3
votes
1
answer
1k
views
Isomorphic Abelian Group [closed]
How many different non-isomorphic Abelian groups of order n are possible ??
- 149
3
votes
1
answer
474
views
Structures of subgroups of a finite abelian p-group
$\newcommand\la{\langle}\newcommand\ra{\rangle}$Let $G=\mathbb{Z}/p^{i_1}\times\cdots\times\mathbb{Z}/p^{i_r}$ with $i_1\leq\ldots\leq i_r$ be a finite abelian $p$-group. Then there can be many ...
- 321
3
votes
1
answer
153
views
On decomposition of finite Abelian groups
It is easy to see that for any finite Abelian group $G$ and any numbers $a,b$ with $|G|=ab$ there exist a subgroup $A\subset G$ and a subset $B\subset G$ such that $|A|=a$, $|B|=b$ and $G=A+B$, where $...
- 42k
3
votes
2
answers
318
views
Character kernels in the lattice of subgroups of a finite abelian group
I am looking for any efforts that have been made to characterize the character kernels (equivalently, the subgroups yielding cyclic quotients) inside the lattice of subgroups of a finite abelian group....
- 2,851
3
votes
1
answer
125
views
Uncountable divisible groups and the existence of order-preserving isomorphisms of their subsets
Let $(G,+,0,<)$ be an ordered divisible group of uncountable dimension. Consider the subset $G^{<0}$ of $G$.
Question: Are $G$ and $G^{<0}$ isomorphic as ordered sets? Does there exist an ...
- 33
3
votes
1
answer
171
views
Compatible total orderings of the group $\mathbb{Z}^\mathbb{N}$
Given the additive group of the module $\mathbb{Z}^\mathbb{N}$ and a total ordering of the group that is compatible with addition and where $\chi_{\{n\}} > 0$ for all $n \in \mathbb{N}$, can we say ...
3
votes
2
answers
205
views
Descending chain in $\mathbb{Z}$ with certain confining property, but not strongly
Call a sequence $A_1 \supseteq A_2 \supseteq \cdots$ of subsets of $\mathbb{Z}$ confining if for all $i$ we have $A_i \supseteq A_{i+1}+A_{i+1}$. (Let us insist that the $A_i$ are symmetric and ...
- 3,740
3
votes
1
answer
182
views
Almost free group without the Specker group as a subgroup
An Abelian group is almost free whenever every countable subgroup is free Abelian. Famously, the Specker group $\mathbf Z^{\mathbf N}$ is almost free. What are examples of almost free groups that are ...
- 73
3
votes
1
answer
293
views
Abelian torsion-free group with $\mathbb{Z}_2\times\mathbb{Z}$ as automorphism group
Let $A$ be an abelian torsion-free group. If $A$ is isomorphic with the group of rational numbers whose denominators are powers of, say, $2$, then its automorphism group is isomorphic with $\mathbb{Z}...
- 287
3
votes
1
answer
243
views
Can a non-free Whitehead group embed as a discrete subgroup of a normed space?
Every countable discrete subgroup of a normed space is isomorphic to the direct sum of the group of integers. I wonder whether it is possible to push this beyond such direct-sum (free abelian) groups ...
- 11.3k
3
votes
1
answer
203
views
normalizer quotient is $\operatorname{GL}_2(p)$
Let $p$ be a prime and let $w$ be a primitive $p$-th root of unity in $\mathbb{C}$. There is an element $e$ of order $p$ in $G=\operatorname{PGL}_n(\mathbb{C})$ where $n=pk$ and
$$e=\left[\left(\begin{...
- 501
3
votes
1
answer
181
views
Characterisation of a class of group homomorphisms related to a central extension
Let $S$ and $R$ be groups and say $\sigma: S \twoheadrightarrow R$ is a group homomorphism that is a central extension; that is, it is surjective (extension) and its kernel is contained in the centre ...
3
votes
0
answers
70
views
Admissibility of Ulm's invariants
Let $G$ be a reduced abelian $p$-group. We set $G_0=G$. Let $\alpha$ be an ordinal. Inductively, if $\alpha=\beta+1$ is a successor ordinal, we define
$$G_{\alpha}=pG_{\beta}.$$
If $\alpha$ is a limit ...
- 31
3
votes
0
answers
107
views
(Non)complete abelian groups in the “transfinite p-adic topology”
For an abelian group $A,$ a prime $p$ and an ordinal $\alpha,$ we recursively define $p^\alpha A$ as a subgroup of $A$ such that $p^0A=A,$
$$p^{\alpha+1}A=p(p^\alpha A) \hspace{5mm} \text{and} \...
- 1,484
3
votes
0
answers
251
views
Commuting real elements in finite groups
Let $p$, $q$, $r$ be three distinct odd primes, and $G$ a finite group with $|G|$ divisible by $p$, $q$, $r$ to the first power only. Let $x,y,z \in G$ be of order $p,q,r$ respectively. Assume
(a.) $[...
- 191
3
votes
0
answers
138
views
The group of sequences in $G^{\mathbb{N}}$ that converge to $(0,0,0,\dots)$
Let $G$ be a discrete abelian group and $G^{\mathbb{N}}$ be the direct product (with the product topology), which consists of sequences $(a_1,a_2,a_3,\dots)$ of elements of $G$.
Let $G^{\infty}$ ...
- 517
3
votes
0
answers
98
views
Hales' generalization of the stacked bases theorem (seeking a proof)
In his paper Analogues of the stacked bases theorem, published in the proceedings of a 1976 conference, A.W. Hales claimed some interesting generalizations of the stacked bases theorem for abelian ...
- 2,992
2
votes
2
answers
4k
views
Any factor group of a finite abelian group is isomorphic to some subgroup
If you visit this link, you'll see at the top of the PDF view. Basic properties of finite abelian groups:
Every quotient group of a finite abelian group is isomorphic to a subgroup.
If the above ...
2
votes
3
answers
1k
views
Finite / uniquely divisible abelian groups
Is there any counter example for the following statement?
STATEMENT:
Let $0 \to F \to A \to Q \to 0$ be a short exact sequence of abelian groups.
Assume that $F$ is a finite group, and $Q$ is a ...
- 945
2
votes
2
answers
474
views
Non-archimedean group over the reals
I have a totally ordered group $(\mathbb{R};\leq,\oplus,0,-)$ with the reals as base set satisfying monotonicity, i.e.
for all $x,y,z$ we have that if $y\leq z$ then $x\oplus y \leq x\oplus z$, and I ...
- 43
2
votes
1
answer
327
views
Is $\mathbb{Z}^2$ endowed with the square of the strict order, a lattice-ordered group?
I was looking some lattice-ordered group structure. I have kind of difficulty to figure out about the group $\mathbb{Z}^{2}$ with positive cone is $\mathbb{N}_{>0} \times \mathbb{N}_{>0} \cup \{(...
- 33