Skip to main content

All Questions

Filter by
Sorted by
Tagged with
18 votes
2 answers
876 views

Groupoid cardinality of the class of abelian p-groups

$\DeclareMathOperator\Aut{Aut}\newcommand\card[1]{\lvert#1\rvert}$So, after going over the classification of finite abelian groups in a class I was teaching this winter, I got curious about whether it ...
Simon Henry's user avatar
  • 42.4k
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 ...
darij grinberg's user avatar
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 ...
user7427029's user avatar
9 votes
0 answers
298 views

An abstract zero-sum problem

I would like to know whether the problem described below has appeared in the literature and/or whether similar questions have been studied. I would be very happy to find some references or, if none ...
monkeymaths's user avatar
  • 1,169
7 votes
0 answers
116 views

A conjecture on circular permutations of n elements in an abelian group of odd order

In 2013 I formulated the following conjecture in additive combinatorics. Conjecture. Let $G$ be an additive abelian group of odd order, and let $A$ be a subset of $G$ with $|A|=n>2$. Then, there is ...
Zhi-Wei Sun's user avatar
  • 15.6k
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 ...
Dan Fodor's user avatar
  • 152
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]$ ...
monkeymaths's user avatar
  • 1,169
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 ...
Nate River's user avatar
  • 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$? ...
Omid Hatami's user avatar
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}...
M Koerner's user avatar
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 ...
Saúl RM's user avatar
  • 10.6k
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 $...
Taras Banakh's user avatar
3 votes
1 answer
169 views

Maximal zero-sum free sequences of $C_3^n$

I am working on the Davenport constant for groups, $D(G)$, which is the minimal number $d$ such that every sequence or multiset of $d$ elements of the group $G$ always contains some non-empty zero-sum ...
Mikel Martinez Puente's user avatar
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 ...
Matt Zaremsky's user avatar
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} \...
uno's user avatar
  • 412