Questions tagged [abelian-groups]
For questions about groups whose elements commute.
253 questions
3
votes
1
answer
160
views
Linking form for homology with general coefficients
For integral homology groups there is the notion of linking form (http://www.map.mpim-bonn.mpg.de/Linking_form)
$$
Tor(H_{l}(X,\mathbb{Z}))\times Tor(H_{n-l-1}(X,\mathbb{Z}))\rightarrow \mathbb{Q}/\...
- 5,544
37
votes
1
answer
1k
views
If $A$, $B$ are abelian groups such that $\mathrm{Hom}(A, G) \cong \mathrm{Hom}(B, G)$ for all abelian groups $G$, must $A$ and $B$ be isomorphic?
$\DeclareMathOperator\Hom{Hom}$The question is in the title. If the isomorphism $\Hom(A, G) \cong \Hom(B, G)$ is natural in $G$ then this is just the Yoneda Lemma. If $A$ and $B$ are finitely ...
- 12.9k
15
votes
1
answer
753
views
Finite abelian groups with fewer automorphisms than a subgroup
It is not too hard to find examples of finite groups which have fewer automorphisms than one of their subgroups. For example $\mathcal D_4 \times \mathbb Z/2\mathbb Z$ (where $\mathcal D_4$ is the ...
- 45.7k
2
votes
0
answers
408
views
Conceptual proof of fundamental theorem of finite abelian groups
I'm looking for a conceptual proof of the following statement:
Lemma: Let $G$ be a finite abelian $p$-group. Let $a$ be an element of maximal order. Then $G=\langle a \rangle \times H$ for some ...
- 875
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 ...
- 2,928
8
votes
1
answer
216
views
Cohomology of the Baer-Specker group
Let $A = \prod_{i \in \mathbb{N}} \mathbb{Z}$ be the Baer-Specker group; that is, a countably infinite product of the integers. We will consider this as a discrete abelian group.
Are the higher ...
- 321
1
vote
0
answers
125
views
Is the commutator of the holomorph of generalized quaternion group abelian?
Let $Q_{2^{n}} = \langle x, y \mathrel\vert x^{2^{n-1}}=y^4 = 1, x^{2^{n-2}}=y^2, y^{-1}xy = x^{-1} \rangle$ be the generalized quaternion group of order $2^{n}$.
Let $\operatorname{Hol}(Q_{2^{n+1}})$ ...
- 12.9k
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
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.) $[...
- 4,713
1
vote
0
answers
97
views
A duality of finite groups coming from a surjective homomorphism with finite kernel of algebraic tori
$\newcommand{\Hom}{{\rm Hom}}
\newcommand{\Gm}{{{\mathbb G}_{m,{\Bbb C}}}}
\newcommand{\X}{{\sf X}}
$ I am looking for a reference for the following lemma (for which I know a proof):
Lemma.
Let $\...
- 14.2k
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 "...
- 673
2
votes
0
answers
177
views
Existence of fully supported element in a finite-dimensional vector space over $\mathbb{F}_p$ (and in finite abelian groups)
Let $V$ be an $n$-dimensional vector space over $\mathbb{F} = \mathbb{Z} / (p)$, the field of $p$ elements, $p$ a prime, with $\{v_1, \dotsc, v_n \}$ a basis for $V$. An element $x \in V$ is called &...
- 191
2
votes
1
answer
105
views
Cotorsion-freeness in uncountable products of abelian groups
An abelian group $A$ is cotorsion provided that whenever $A \leq G$ with $G$ abelian and $G/A$ is
torsion-free, we have $G \cong A \oplus B$ for some $B \leq G$. An abelian group $A$ is
cotorsion-...
- 35.2k
1
vote
0
answers
68
views
Finding a particular kind of basis of subgroup of a lattice generated by non-negative part
For $\mathbf v=(v_1,\ldots,v_n)\in \mathbb Z^n$, let $\operatorname{supp}(\mathbf v):=\{j: v_j \ne 0\}$. For a subset $X$ of $\mathbb Z^n$, define $\operatorname{supp}(X):=\bigcup_{\mathbf v \in X} \...
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 ...
CommunityBot
- 1
1
vote
0
answers
76
views
elementary abelian subgroups with centralizers not connected
Let $G =$ PGL$_{8}(\textbf{C})$. Let $a, b, c, d$ be four representatives of conjugacy classes of involutions in $G$ where $$a = \begin{pmatrix}
-1 & 0\\
0 & I_{7}
\end{pmatrix}, b = \begin{...
- 501
0
votes
0
answers
49
views
Complemented subalgebra in a free Lie ring
A Lie ring is a triple $(G,+, [\ ,\ ]),$ where $(G,+)$ is an abelian group and $ [\ ,\ ]$ is a bilinear map satisfying
$[x,x]=0$
$[\ ,\ ]$ is bilinear
$[[x,y],z]+[[y,z],x]+[[z.x],y]=0,\ \forall\ x,...
- 101
1
vote
0
answers
42
views
Compute 01-vectors in the orbit of a given vector wrt a finitely-generated abelian subgroup of SL(n,ℤ)
Given a vector $v\in\mathbb Z^n$ and pairwise commutative matrices $M_1,\dotsc,M_k\in \operatorname{SL}(n,\mathbb Z)$, how to compute all 01-vectors in the orbit of $v$ with respect to multiplication ...
- 34.4k
1
vote
1
answer
268
views
Closed form roots for polynomial $x^9 + ax^6 + bx^5 + cx^3 + d = 0$
I know about Abel–Ruffini theorem, but I have a polynomial of special form. From "Beyond the Quartic Equation" by R.B. King (a very interesting book, btw) I've learned about Tschirnhaus ...
- 22.5k
7
votes
1
answer
334
views
$N_{G}(E)/C_{G}(E)$ is the Weyl group of $G$?
In the algebraic group $G = \operatorname{PGL}_4(\mathbb{C})$, let $E$ denote the subgroup of elements of order dividing 2 in the diagonal maximal torus; it is generated by the images of the three ...
- 14.2k
0
votes
0
answers
162
views
Finite-exponent abelian groups
Let $G$ be an abelian group and $G=\bigoplus_{i=1}^t{{\Bbb{Z}}_{p_i}^{n_i}}^{(\Lambda_i)}$ where each $\Lambda_i$ is a set (at least one of $\Lambda_i$ is infinite). Since $G_{\Bbb{Z}}$ is a finite-...
- 12.9k
1
vote
0
answers
67
views
Eigenvalue function of the representation variety of free abelian group
$\DeclareMathOperator\SL{SL}$Let $\rho:\mathbb Z^n\rightarrow \SL(n,\mathbb C)$ be a representation of a finitely generated free abelian group, by simultaneously triangularization, we can assume that $...
- 63.9k
0
votes
0
answers
72
views
countable direct sum of cyclic abelian $p^{2}$ groups
Let $G={{\Bbb{Z}}_{p^{2}}}^{(\aleph)}$ (countable direct sum of copies of ${\Bbb{Z}}_{p^2}$). It is clear that every subgroup of $G$ is a homomorphic image of $G$. Now this is my question:
Is it true ...
- 56.9k
4
votes
1
answer
673
views
Why does the category of abelian groups satisfy the axiom AB6?
In his Tohoku article, Grothendieck says that the category $\mathbf{Ab}$ of abelian groups satisfies the axiom AB6, namely
"All small colimits exist in $\mathbf{Ab}$. Moreover for any index ...
- 149k
1
vote
1
answer
89
views
Element of order $p$ and finite height $\geq1$ in a reduced abelian group $p$-group with an element of order $p^2$
This is a reference request for the following statement:
Fact:
Let $G$ be a reduced abelian $p$-group with an element of order $p^2$. Then $G$ contains an element of order $p$ and of finite height at ...
- 116
16
votes
4
answers
1k
views
Zero-sum partition of an abelian group
This is a question I have been asking myself some 5 years ago. I later got bored by lack of progress, but maybe some additive combinatorialists here know further. I'm not claiming it is conceptual or ...
- 805
1
vote
1
answer
173
views
Number of orbits for abelian group actions
Suppose $G$ is an abelian group acting faithfully on two sets, $X$ and $Y$, of the same size. None of $G$, $X$ and $Y$ is finite.
Now suppose $G$ is the union of abelian groups $G_i$, where $i$ varies ...
- 35.2k
0
votes
1
answer
125
views
Any abelian Lie subgroup containes a connected Lie subgroup of codimension 1 [closed]
I am trying to understand the proof of the following claim (see A.L. Onishchik, E.B. Vinberg (Eds.) Lie Groups and Lie Algebras III, p.50, Theorem 3.1).
Theorem 3.1 (ii) If the Lie group $G$ is ...
- 12.9k
6
votes
2
answers
388
views
Abelian groups such that $A \cong \mathrm{End}(A)$ and "complete rings"
Motivation: for any ring $R$ there is the natural monomorphism $\mathrm{in} \colon R \to \mathrm{End}(R_{add}): r \mapsto (x \mapsto rx)$, where $R_{add}$ is an additive abelian group ( rings are ...
- 3,041
11
votes
1
answer
1k
views
Are condensed vector spaces over finite fields always solid?
The Clausen-Scholze theory of condensed mathematics offers an abelian category with enough projective objects that embraces the study of arbitrary locally compact (and Hausdorff) groups. The behaviour ...
- 1,638
12
votes
4
answers
1k
views
How many non-isomorphic abelian subgroups of the permutation group $S_n$?
I am interested in how many (pairwise non-isomorphic) subgroups of the permutation group $S_n$ are abelian. ($n \in \mathbb{N}$ arbitrary and possibly big)
Are you aware of any references which treat ...
- 18.4k
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 ...
- 65.4k
7
votes
1
answer
464
views
Existence of abelian group extension relative to group homomorphism
Let $f: A \to B\ $ be an abelian group homomorphism. Are there abelian groups $G,\ H,\ K$ such that $K \subseteq H \subseteq G$ and the map
$$\pi \circ i: H \to G/K$$
which is the composition of ...
- 10.9k
6
votes
4
answers
2k
views
Is a torsion-free abelian group finitely generated, if all of its localizations at primes $p$ are finitely generated over $\mathbb{Z}_p$?
Background: When proving that the group of $k$-isogenies $\mathrm{Hom}_k(A,B)$ between two abelian varieties is finitely generated, one first shows that the Tate map $$\mathbb{Z}_\ell\otimes_{\mathbb{...
- 63.9k
3
votes
0
answers
327
views
Homology $H_{\ast}(T, V)$
Let $A$ be a local domain. We let $T=T(A) $ be the subgroup of $\mathrm{SL}_{2}$ consisting of diagonal matrices and $V$ be the subgroup of unital matrices of $\mathrm{SL}_{2}$; i.e.
$V:=\left\{\left(
...
- 259
0
votes
1
answer
207
views
Fourier transform on lattice strip
I am working with a triangular lattice $L=\{n_1 a_2 + n_2 a_2 : n\in\mathbb{Z}^2 \}$ and $a_1 = \pmatrix{1 \\ 0}$ and $a_2 = \frac{1}{2} \pmatrix{-1 \\ \sqrt{3}}$, and I want to compute the Pontryagin ...
- 17.2k
8
votes
0
answers
1k
views
Examples of uncountable abelian $p$-groups
Does anyone know of any interesting examples of an infinite abelian $p$-group which is uncountable?
By non-interesting here I mean the direct sums of cylic and quasi-cylic groups, and totally ...
- 19.6k
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$? ...
- 32.1k
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 ...
- 37.4k
-2
votes
1
answer
158
views
Are isomorphic quotients of abelian groups induced by automorphisms? [closed]
If I have an (abelian) group $G$ and an automorphism $\sigma: G \to G$ then for any subgroup $H$ of $G$ there is an induced isomorphism $G/H \cong G/\sigma(H)$ given by the map $gH \mapsto \sigma(g)\...
- 63.9k
7
votes
1
answer
516
views
Subgroups of the tensor product $A\otimes A$
I have this problem about subgroups of the tensor product of an abelian group $A$ with itself which arises from a complete different setting.
I fell into this question studying quandles and quandle ...
- 63.9k
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 ...
- 12.9k
6
votes
0
answers
291
views
When is every element of a coend of abelian groups contained in one of the summands?
Let $I$ be a small category and let $D : I^{\mathrm{op}} \times I \to \mathsf{Ab}$ be a functor. The coend
$$\int^{i \in I} D(i,i)$$
can be constructed as the direct sum $\bigoplus_{i \in I} D(i,i)$ ...
- 63.1k
1
vote
1
answer
344
views
Bound for order of a group depending on number of elements of maximal order
This question has been partly answered in MSE, see here.
In a paper On the Number of Elements of maximal order in a Group, it is proven that an arbitrary group $G$ with a finite number of elements of ...
- 181
8
votes
2
answers
501
views
On $p$-groups with abelian automorphism group
Let $G$ be a $p$-group of order $p^{n}\geq p^{7}$ and its automorphism group is elementary abelian $p$-group. Then, it is clear that $G$ is nilpotent of class $2$. However, the converse is not true in ...
- 37.4k
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
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
10
votes
1
answer
322
views
Do these properties of a countable abelian group guarantee a Prüfer subgroup?
Suppose $(G,+)$ is a countable abelian group and $p$ is a prime number such that:
The subgroup $pG$ has finite index in $G$, and
For every $n \in \mathbb{N}$, $G$ contains an element of order $p^n$.
...
- 35.2k
1
vote
1
answer
276
views
How many elements of each order are there in this $p$-group? [closed]
Let $G$ be a countable Abelian $p$-group which equals a direct sum of at most countably many finite cyclic groups and at most countably many copies of the Prüfer $p$-group, where these finite cyclic ...
- 1,832
6
votes
0
answers
346
views
Uncountable Mittag-Leffler condition?
Let $(X_\alpha)_{\alpha <\kappa}$ be an inverse system of abelian groups.
If $\kappa = \omega$ (or by extension if $\kappa$ is of countable cofinality), then the Mittag-Leffler condition is a ...
- 64k