Questions tagged [abelian-groups]
For questions about groups whose elements commute.
253 questions
2
votes
1
answer
236
views
Example involving partially ordered Abelian groups
Definition 1:
Let $(G,\leq)$ be a nonzero partially ordered Abelian group with order unit $u$. (Recall that $u\in G$ is a order unit if, for every $g\in G$, there exists $N\in\mathbb N$ such that $-Nu\...
user34424
9
votes
1
answer
3k
views
Automorphism group of a finite group
I would like to ask if there exists an explicit description of $\mathrm{Aut}(G)$, the group of automorphisms of a finite group $G$, in particular, when $G$ is abelian. E.g., if $G = \mathbb{Z}/m\...
- 675
12
votes
1
answer
311
views
Looking for concrete description of a category derived from abelian groups
The category of abelian groups $\mathsf{Ab}$ is the $\mathcal{Ind}$-completion of the full subcategory of finitely presentable abelian groups $\mathsf{Ab}_{fp}$. This is not so special, since the ...
- 1,291
17
votes
1
answer
1k
views
Epimorphisms $\mathbb{Z}^{\mathbb{N}} \to \mathbb{Z}^{\mathbb{N}}$ are split
Consider the additive group of integer sequences $\mathbb{Z}^{\mathbb{N}}$. Why does every epimorphism of groups $\mathbb{Z}^{\mathbb{N}} \to \mathbb{Z}^{\mathbb{N}}$ split? $(\star)$
Actually this ...
- 63.1k
6
votes
2
answers
647
views
The 2-group of extensions
Let $A,B$ objects of an abelian category. Then we can define the abelian group $\mathrm{Ext}^1(A,B)$ as the set of isomorphism classes of extensions $0 \to B \to E \to A \to 0$, endowed with the Baer ...
- 63.1k
9
votes
1
answer
1k
views
Direct product decomposition for infinite abelian groups with constrained torsion
Let $g$ be a positive integer, and let $G$ be a commutative group with the following constraint on its torsion subgroup: there is an injection $G[\operatorname{tors}] \hookrightarrow (\mathbb{Q}/\...
- 65.4k
9
votes
1
answer
995
views
constructive Serre classes
A Serre class (of abelian groups) is a class of abelian groups closed under subgroups, quotients, and extensions. For instance, finitely generated groups and finite groups are both Serre classes.
...
- 66.8k
1
vote
0
answers
242
views
How many subgroups of order $\prod_{1}^{n} p_{i}^{n_{i}}$ are there in the finite product of cyclic groups?
All of the following ${p_{i},q_{i}}$are prime numbers, ${n,m,k}$ are pre-assigned integers.
Consider the product of cyclic groups $\prod_{1}^{n} \mathbb Z_{p_{i}^{n_{i}}}$ then we asked the question:
...
- 8,071
0
votes
0
answers
197
views
Quotients of Abelian Groups
Let $G$ be an abelian group and let $A$ and $B$ be subgroups of $G$. Furthermore, let $C$ be a subgroup of $A \cap B$. I would like to find another subgroup $A+B \subseteq D \subseteq G$ so that $D/(...
- 205
17
votes
1
answer
2k
views
Subgroups of $\mathbb{Z}^n$
I hope that the following problem isn't actually elementary (at least, for the sake of the fact that I'm posting it here), and I apologize if it is. I did try hard to solve it first.
Let $V$ be a $\...
- 1,786
13
votes
1
answer
1k
views
Classification of symtrivial modules over a PID
Let us call a module $M$ over a commutative ring $R$ symtrivial if the symmetry $M \otimes M \to M \otimes M, a \otimes b \mapsto b \otimes a$ equals the identity (the same notion applies to arbitrary ...
- 63.1k
1
vote
1
answer
281
views
abelian subgroups
Have the groups "PSL(n,q)" and "PSL(n,q).f ", the same maxiaml abelian subgroups or not?(where "PSL(n,q).f " is the extension of PSL(n,q) by the field automorphism of it) Is there any counterexample ...
- 391
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
0
votes
1
answer
221
views
Inductive vs projective limit of sequence of split surjections
Let
$$
A_1\twoheadrightarrow
A_2\twoheadrightarrow
A_3\twoheadrightarrow
A_4\twoheadrightarrow
\cdots
$$
be an inductive sequence of countable abelian groups, the connecting homomorphisms of which are ...
- 3,184
0
votes
1
answer
564
views
$p$-primary then divisible?
I asked this via MathSE, but haven't got any responces. Sorry for asking it here. Sorry.
We know that in the context of abelian groups, $p$-groups are called $p$-primary groups. I have a question ...
- 233
4
votes
1
answer
588
views
Why does tensor product in Ab(V) require colimits in V?
In Tom Leinster's book on operads, he gives Ab(V), the category of abelian groups in a symmetric monoidal category V, as an example of a multicategory that doesn't arise from a monoidal category, ...
- 1,446
3
votes
1
answer
767
views
Linear algebra of finite abelian groups
If $f: V \to W$ is a surjective homomorphism of vector spaces, and we have fixed a basis for $V$, it is always possible to find a basis for $W$ such that the matrix associated to $\phi$ in the two ...
- 133
9
votes
2
answers
1k
views
On the existence of a direct summand containing a fixed subgroup
Let $G$ be a finite abelian group, and $g_1, \ldots, g_n \in G$ such that the cyclic groups that they generate are in direct sum $\langle g_1 \rangle \oplus \cdots \oplus \langle g_n \rangle$. Is it ...
- 133
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 ...
4
votes
2
answers
323
views
Cancellation theorem for lattices
By a lattice, we mean a finitely generated, free $\mathbb{Z}$-module together with a symmetric bilinear form. Typical examples are the hyperbolic lattices $U$ and the root lattices $A_{n}, D_{n}, E_{n}...
- 41
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
1
vote
2
answers
1k
views
Maximal subgroups of a finite p-group
I want to prove the following:
Let $G$ be a finite abelian $p$-group that is not cyclic.
Let $L \ne {1}$ be a subgroup of $G$ and $U$ be a maximal subgroup of L then there exists a maximal subgroup $...
- 21
6
votes
2
answers
704
views
Hall polynomial when the subgroup is cyclic?
Does anyone know the formula for a Hall polynomial $g_{u,v}^{\lambda}(p)$ when $v$ is the type of cyclic subgroup (ie. $v=(v_{1})$ ) .
http://en.wikipedia.org/wiki/Hall_algebra
I was hoping this ...
- 152
6
votes
1
answer
1k
views
Mysterious property of $\mathbb{Q}$
Hi,
I am currently working through the paper by Bousfield and Gugenheim on rational homotopy theory, and have come to a point where they show why it is important to work over $\mathbb{Q}$, and not ...
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
15
votes
1
answer
1k
views
Is the class of additive groups of rings axiomatizable?
I know that it is impossible to axiomatize the multiplicative structures of rings, called $R$-semigroups. Is anything known about the first-order axiomatizability of the class of abelian groups which ...
- 1,445
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
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 ...
- 33.8k
0
votes
1
answer
570
views
minimal divisible group
I am trying to prove this:
If a divisible group $E$ containining $A$ is minimal divisible then $A$ is an essential subgroup of $E$.
Let $ < c > =C, \ C\cap A = 0$. Without loss of generality ...
- 131
30
votes
1
answer
2k
views
Do the algebraic integers form a free abelian group?
It is a well-known fact, proved in every introductory textbook on algebraic number theory, that if $K$ is an algebraic number field, i.e. a finite extension of $\mathbb{Q}$, then its ring $\mathcal{O}...
- 1,298
4
votes
1
answer
2k
views
Minimal generation for finite abelian groups
Let $G$ be a finite abelian group. I know of two ways of writing it as a direct sum of cyclic groups:
1) With orders $d_1, d_2, \ldots, d_k$ in such a way that $d_i|d_{i+1}$,
2) With orders that are ...
- 125
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
3
votes
2
answers
902
views
Definable subsets of the integers as an abelian subgroup?
Consider the integers as a first-order structure in the language {0,+,-} of abelian groups. I suspect that the collection of definable subsets (without parameters) of this structure is an algebra ...
- 133
4
votes
4
answers
630
views
A question about the additive group of a finitely generated integral domain
Let $R$ be an integral domain of characteristic 0 finitely generated as a ring over $\mathbb{Z}$. Can the quotient group $(R,+)/(\mathbb{Z},+)$ contain a divisible element? By a "divisible element" I ...
- 6,199
10
votes
1
answer
845
views
Reference request: a locally cyclic group is isomorphic to a section of the rational numbers
A group $G$ is locally cyclic if whenever $H \le G$ is a finitely generated subgroup then $H$ is cyclic. If $G$ is a locally cyclic group then $G$ is isomorphic to a quotient of a subgroup of the ...
- 11.2k
2
votes
1
answer
144
views
Categories with canonical factorizations into products satisfying two particular properties
An old splitting theorem for (Hausdorff) locally compact abelian (LCA) groups says that any LCA group $L$ is isomorphic to a direct product of $\mathbb{R}^n$ and $L_1$, where $L_1$ contains a compact-...
- 3,115
7
votes
1
answer
266
views
Positive cone of a subgroup of $\mathbb{Z}^n$
This question sounds like it should be very well known, but for some reason I failed to find a decent answer anywhere. Let $G\subset\mathbb{Z}^n$ be a subgroup, and $G_+=G\cap\mathbb{Z}_{\ge0}^n$ be a ...
- 16.9k
0
votes
3
answers
295
views
The category of Abelian groups with selected elements
Hi,
In his book (Categories for the working mathematician) MacLane speaks (on page 45) about the category of objects (of $\textbf{Ab}$) under $\mathbb{Z}$ which is the comma category $(\mathbb{Z}\...
- 733
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
0
votes
1
answer
382
views
abelian p-group not divisible [closed]
why if G is an abelian p-group not divisible then exists an element g in G which is not divisible by p?
thanks
- 3
1
vote
1
answer
1k
views
Quotient of subgroups by center.
Let $H \leq G$. Let $Z_G$ denote the center $[G,G]$ the commutator subgroup. Assume $[G,G] \leq Z_G$ (i.e. nilpotent of class 2). Then $G/Z_G$ is abelian since $Z_G$ contains the commutator subgroup. ...
- 13
0
votes
1
answer
218
views
Does an abelian group acting on a riemaniann manifold define an othogonal foliation?
This question is related to my previous question. Suppose that a group $G$ acts freely and properly on a Riemaniann manifold $(M, g)$. Than the orbits form a foliation for $M$. For $p \in M$, let $V_p$...
- 339
3
votes
1
answer
1k
views
Isomorphic Abelian Group [closed]
How many different non-isomorphic Abelian groups of order n are possible ??
- 149
8
votes
2
answers
2k
views
Locally compact abelian groups
First, some preliminaries:
Define an "LCA group" to be a locally compact Hausdorff abelian topological group.
Define "smooth manifold" in a way that requires Hausdorffness, but not connectedness or ...
- 22.3k
8
votes
2
answers
2k
views
Modern reference for integral homology of a finitely generated abelian group
I'm interested in the calculation of $H_n (G,\mathbb{Z})$ for G a finitely generated abelian group, particularly for $n=3$. It's carried out in the 1954/55 Séminaire Henri Cartan, titled "Alg&...
- 22.2k
26
votes
3
answers
7k
views
Subgroups of a finite abelian group
Let $$G=\mathbb{Z}/p_1^{e_1}\times\cdots\times\mathbb{Z}/p_n^{e_n}$$ be any finite abelian group.
What are $G$'s subgroups? I can get many subgroups by grouping the factors and multiplying them by ...
uuu
11
votes
1
answer
3k
views
Where can I easily look up / calculate (abelian) group cohomology?
For an example I'm trying to understand, I need to calculate some cohomology group of some $\mathbb Z$-module with coefficients in some other $\mathbb Z$-module (with no interesting actions). (In ...
- 54.6k
9
votes
3
answers
3k
views
Why are divisible abelian groups important?
I just quote wikipedia:
"Divisible groups are important in understanding the structure of abelian groups, especially because they are the injective abelian groups."
I am asking for detail ...
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 ...
8
votes
1
answer
3k
views
On order of subgroups in abelian groups
I wonder whether any of you guys has already read the homonymous note by R. Beals in the December 2009 issue of the Monthly.
If so, would you be so kind as to let me know about the main ideas in Beal'...
- 8,842