The real genus spectrum of abelian groups

2019 ◽  
Vol 18 (08) ◽  
pp. 1950158
Author(s):  
Coy L. May ◽  
Jay Zimmerman

Let [Formula: see text] denote the set of positive integers that may appear as the real genus of a finite abelian group. We obtain a set of (simple) necessary conditions for an integer [Formula: see text] to belong to [Formula: see text]. We also prove that the real genus of an abelian group is not congruent to 3 modulo 4 and that the genus of an abelian group of odd order is a multiple of 4. Finally, we obtain upper and lower bounds for the density of the set [Formula: see text].

2011 ◽  
Vol 12 (01n02) ◽  
pp. 125-135 ◽  
Author(s):  
ABBY GAIL MASK ◽  
JONI SCHNEIDER ◽  
XINGDE JIA

Cayley digraphs of finite abelian groups are often used to model communication networks. Because of their applications, extremal Cayley digraphs have been studied extensively in recent years. Given any positive integers d and k. Let m*(d, k) denote the largest positive integer m such that there exists an m-element finite abelian group Γ and a k-element subset A of Γ such that diam ( Cay (Γ, A)) ≤ d, where diam ( Cay (Γ, A)) denotes the diameter of the Cayley digraph Cay (Γ, A) of Γ generated by A. Similarly, let m(d, k) denote the largest positive integer m such that there exists a k-element set A of integers with diam (ℤm, A)) ≤ d. In this paper, we prove, among other results, that [Formula: see text] for all d ≥ 1 and k ≥ 1. This means that the finite abelian group whose Cayley digraph is optimal with respect to its diameter and degree can be a cyclic group.


Author(s):  
Bodan Arsovski

Abstract Extending a result by Alon, Linial, and Meshulam to abelian groups, we prove that if G is a finite abelian group of exponent m and S is a sequence of elements of G such that any subsequence of S consisting of at least $$|S| - m\ln |G|$$ elements generates G, then S is an additive basis of G . We also prove that the additive span of any l generating sets of G contains a coset of a subgroup of size at least $$|G{|^{1 - c{ \in ^l}}}$$ for certain c=c(m) and $$ \in = \in (m) < 1$$ ; we use the probabilistic method to give sharper values of c(m) and $$ \in (m)$$ in the case when G is a vector space; and we give new proofs of related known results.


2020 ◽  
Vol 30 (5) ◽  
pp. 339-345
Author(s):  
Aleksandr A. Sapozhenko ◽  
Vahe G. Sargsyan

AbstractAsymptotic upper and lower bounds for the numbers of distinct subsets A + B in Abelian group of order n are derived, where |A|, |B| ≥ n(log n)−1/8.


1981 ◽  
Vol 90 (2) ◽  
pp. 273-278 ◽  
Author(s):  
C. T. Stretch

The object of this paper is to prove that for a finite abelian group G the natural map is injective, where Â(G) is the completion of the Burnside ring of G and σ0(BG) is the stable cohomotopy of the classifying space BG of G. The map â is detected by means of an M U* exponential characteristic class for permutation representations constructed in (11). The result is a generalization of a theorem of Laitinen (4) which treats elementary abelian groups using ordinary cohomology. One interesting feature of the present proof is that it makes explicit use of the universality of the formal group law of M U*. It also involves a computation of M U*(BG) in terms of the formal group law. This may be of independent interest. Since writing the paper the author has discovered that M U*(BG) has previously been calculated by Land-weber(5).


10.37236/4881 ◽  
2015 ◽  
Vol 22 (2) ◽  
Author(s):  
Béla Bajnok ◽  
Ryan Matzke

For a finite abelian group $G$ and positive integers $m$ and $h$, we let $$\rho(G, m, h) = \min \{ |hA| \; : \; A \subseteq G, |A|=m\}$$ and$$\rho_{\pm} (G, m, h) = \min \{ |h_{\pm} A| \; : \; A \subseteq G, |A|=m\},$$ where $hA$ and $h_{\pm} A$ denote the $h$-fold sumset and the $h$-fold signed sumset of $A$, respectively. The study of $\rho(G, m, h)$ has a 200-year-old history and is now known for all $G$, $m$, and $h$. Here we prove that $\rho_{\pm}(G, m, h)$ equals $\rho (G, m, h)$ when $G$ is cyclic, and establish an upper bound for $\rho_{\pm} (G, m, h)$ that we believe gives the exact value for all $G$, $m$, and $h$.


2019 ◽  
Vol 150 (4) ◽  
pp. 1937-1964 ◽  
Author(s):  
Hua-Lin Huang ◽  
Zheyan Wan ◽  
Yu Ye

AbstractWe provide explicit and unified formulas for the cocycles of all degrees on the normalized bar resolutions of finite abelian groups. This is achieved by constructing a chain map from the normalized bar resolution to a Koszul-like resolution for any given finite abelian group. With a help of the obtained cocycle formulas, we determine all the braided linear Gr-categories and compute the Dijkgraaf–Witten Invariants of the n-torus for all n.


2017 ◽  
Vol 13 (04) ◽  
pp. 913-932 ◽  
Author(s):  
Sin Yi Cindy Tsang

Let [Formula: see text] be a number field with ring of integers [Formula: see text] and let [Formula: see text] be a finite abelian group of odd order. Given a [Formula: see text]-Galois [Formula: see text]-algebra [Formula: see text], write [Formula: see text] for its trace map and [Formula: see text] for its square root of the inverse different, where [Formula: see text] exists by Hilbert’s formula since [Formula: see text] has odd order. The pair [Formula: see text] is locally [Formula: see text]-isometric to [Formula: see text] whenever [Formula: see text] is weakly ramified, in which case it defines a class in the unitary class group [Formula: see text] of [Formula: see text]. Here [Formula: see text] denotes the canonical symmetric bilinear form on [Formula: see text] defined by [Formula: see text] for all [Formula: see text]. We will study the set of all such classes and show that a subset of them forms a subgroup of [Formula: see text].


Symmetry ◽  
2020 ◽  
Vol 12 (9) ◽  
pp. 1537 ◽  
Author(s):  
Lingling Han ◽  
Xiuyun Guo

In this paper, we mainly count the number of subgroup chains of a finite nilpotent group. We derive a recursive formula that reduces the counting problem to that of finite p-groups. As applications of our main result, the classification problem of distinct fuzzy subgroups of finite abelian groups is reduced to that of finite abelian p-groups. In particular, an explicit recursive formula for the number of distinct fuzzy subgroups of a finite abelian group whose Sylow subgroups are cyclic groups or elementary abelian groups is given.


2016 ◽  
Vol 12 (06) ◽  
pp. 1509-1518 ◽  
Author(s):  
Yongke Qu ◽  
Dongchun Han

Let [Formula: see text] be a finite abelian group of order [Formula: see text], and [Formula: see text] be the smallest prime dividing [Formula: see text]. Let [Formula: see text] be a sequence over [Formula: see text]. We say that [Formula: see text] is regular if for every proper subgroup [Formula: see text], [Formula: see text] contains at most [Formula: see text] terms from [Formula: see text]. Let [Formula: see text] be the smallest integer [Formula: see text] such that every regular sequence [Formula: see text] over [Formula: see text] of length [Formula: see text] forms an additive basis of [Formula: see text], i.e. [Formula: see text]. Recently, [Formula: see text] was determined for many abelian groups. In this paper, we determined [Formula: see text] for more abelian groups and characterize the structure of the regular sequence [Formula: see text] over [Formula: see text] of length [Formula: see text] and [Formula: see text].


2015 ◽  
Vol 92 (1) ◽  
pp. 24-31
Author(s):  
ZHENHUA QU

Let$G$be a finite abelian group and$A\subseteq G$. For$n\in G$, denote by$r_{A}(n)$the number of ordered pairs$(a_{1},a_{2})\in A^{2}$such that$a_{1}+a_{2}=n$. Among other things, we prove that for any odd number$t\geq 3$, it is not possible to partition$G$into$t$disjoint sets$A_{1},A_{2},\dots ,A_{t}$with$r_{A_{1}}=r_{A_{2}}=\cdots =r_{A_{t}}$.


Sign in / Sign up

Export Citation Format

Share Document