Let $G\cong C_{n_1}\oplus ...\oplus C_{n_r}$ be a finite and nontrivial abelian group with $n_1|n_2|...|n_r$. A conjecture of Hamidoune says that if $W=w_1·...·w_n$ is a sequence of integers, all but at most one relatively prime to $\left|G\right|$, and $S$ is a sequence over $G$ with $\left|S\right|\ge \left|W\right|+\left|G\right|-1\ge \left|G\right|+1$, the maximum multiplicity of $S$ at most $\left|W\right|$, and $\sigma \left(W\right)\equiv 0mod\left|G\right|$, then there exists a nontrivial subgroup $H$ such that every element $g\in H$ can be represented as a weighted subsequence sum of the form $g=\underset{i=1}{\sum ^n}{w}_i{s}_i$, with $s_1·...·s_n$ a subsequence of $S$. We give two examples showing this does not hold in general, and characterize the...

Let K, L be algebraic number fields with K ⊆ L, and $O_K$, $O_L$ their respective rings of integers. We consider the trace map $T=T_{L/K}:L\to K$ and the $O_K$-ideal $T\left(O_L\right)\subseteq O_K$. By I(L/K) we denote the group indexof $T\left(O_L\right)$ in $O_K$ (i.e., the norm of $T\left(O_L\right)$ over ℚ). It seems to be difficult to determine I(L/K) in the general case. If K and L are absolutely abelian number fields, however, we obtain a fairly explicit description of the number I(L/K). This is a consequence of our description of the Galois module structure of $T\left(O_L\right)$ (Theorem 1)....

Let $k$ be a finite field. Wintenberger used the field of norms to give an equivalence between a category whose objects are totally ramified abelian $p$-adic Lie extensions $E/F$, where $F$ is a local field with residue field $k$, and a category whose objects are pairs $(K,A)$, where $K\cong k\left(\right(T\left)\right)$ and $A$ is an abelian $p$-adic Lie subgroup of ${\mathrm{Aut}}_k\left(K\right)$. In this paper we extend this equivalence to allow $\mathrm{Gal}(E/F)$ and $A$ to be arbitrary abelian pro-$p$ groups.

In recent years, starting with the paper [B-D-S], we have investigated the possibility of characterizing countable subgroups of the torus $T=\mathbf{R}/\mathbf{Z}$ by subsets of $\mathbf{Z}$. Here we consider new types of subgroups: let $K\subseteq T$ be a Kronecker set (a compact set on which every continuous function $f:K\to T$ can be uniformly approximated by characters of $T$), and $G$ the group generated by $K$. We prove (Theorem 1) that $G$ can be characterized by a subset of ${\mathbf{Z}}^2$ (instead of a subset of $\mathbf{Z}$). If $K$ is finite, Theorem 1 implies our...

Suppose $A$ is a set of non-negative integers with upper Banach density $\alpha$ (see definition below) and the upper Banach density of $A+A$ is less than $2\alpha$. We characterize the structure of $A+A$ by showing the following: There is a positive integer $g$ and a set $W$, which is the union of $\lceil 2\alpha g-1\rceil$ arithmetic sequences [We call a set of the form $a+d\mathbb{N}$ an arithmetic sequence of difference $d$ and call a set of the form $\{a,a+d,a+2d,...,a+kd\}$ an arithmetic progression of difference $d$. So an arithmetic progression is finite and an arithmetic...