arXiv 1602.034452016-02-09math.GRmath.ACmath.CO

Davenport constant for commutative rings

Calvin Deng

备注：: 17 pages + 1 page of references

英文摘要：

The Davenport constant is one measure for how "large" a finite abelian group is. In particular, the Davenport constant of an abelian group is the smallest $k$ such that any sequence of length $k$ is reducible. This definition extends naturally to commutative semigroups, and has been studied in certain finite commutative rings. In this paper, we give an exact formula for the Davenport constant of a general commutative ring in terms of its unit group.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

A Cauchy-Davenport theorem for semigroups

We generalize the Davenport transform and use it to prove that, for a (possibly non-commutative) cancellative semigroup $\mathbb A = (A, +)$ and non-empty subsets $X,Y$ of $A$ such that the subsemigroup generated by $Y$ is commutative, we have $|X + Y| \ge \min(ω(Y), |X| + |Y| - 1)$, where $ω(Y) := \sup_{y_0 \in Y \cap \mathbb A^{\times}} \inf_{y \in Y \setminus \{y_0\}} |<y - y_0>|$. This carries over the Cauchy-Davenport theorem to the broader setting of semigroups, and it implies, in particular, an extension of I. Chowla's and S.S. Pillai's theorems for cyclic groups and a notable strengthe…

2013-09-19math.COmath.GR

Davenport constant for semigroups II

Let $\mathcal{S}$ be a finite commutative semigroup. The Davenport constant of $\mathcal{S}$, denoted ${\rm D}(\mathcal{S})$, is defined to be the least positive integer $\ell$ such that every sequence $T$ of elements in $\mathcal{S}$ of length at least $\ell$ contains a proper subsequence $T'$ ($T'\neq T$) with the sum of all terms from $T'$ equaling the sum of all terms from $T$. Let $q>2$ be a prime power, and let $\F_q[x]$ be the ring of polynomials over the finite field $\F_q$. Let $R$ be a quotient ring of $\F_q[x]$ with $0\neq R\neq \F_q[x]$. We prove that $${\rm D}(\mathcal{S}_R)={\rm …

2015-03-09math.COmath.GRmath.NT

Cauchy-Davenport type inequalities, I

Let $\mathbb G = (G, +)$ be a group (either abelian or not). Given $X, Y \subseteq G$, we denote by $\langle Y \rangle$ the subsemigroup of $\mathbb G$ generated by $Y$, and we set $$γ(Y) := \sup_{y_0 \in Y} \inf_{y_0 \ne y \in Y} {\rm ord}(y - y_0)$$ if $|Y| \ge 2$ and $γ(Y) := |Y|$ otherwise. We prove that if $\langle Y \rangle$ is commutative, $Y$ is non-empty, and $X+2Y \neq X + Y + y$ for some $y \in Y$, then $$ |X+Y| \ge |X|+\min(γ(Y), |Y| - 1). $$ Actually, this is obtained from a more general result, which improves on previous work of the author on sumsets in cancellative semigroups, a…

2016-05-04math.COmath.GRmath.NT

On the unit group of a commutative group ring

We investigate the group of normalized units of the group algebra $\mathbb{Z}_{p^e}G$ of a finite abelian $p$-group $G$ over the ring $\mathbb{Z}_{p^e}$ of residues modulo $p^e$ with $e\geq 1$.

2013-05-14math.ACmath.GRmath.RA

How many units can a commutative ring have?

Laszlo Fuchs posed the following problem in 1960, which remains open: classify the abelian groups occurring as the group of all units in a commutative ring. In this note, we provide an elementary solution to a simpler, related problem: find all cardinal numbers occurring as the cardinality of the group of all units in a commutative ring. As a by-product, we obtain a solution to Fuchs' problem for the class of finite abelian $p$-groups when $p$ is an odd prime.

2017-01-09math.ACmath.GRmath.RA

Commutative Schur Rings Over Symmetric Groups II: The Case n=6

We determine the commutative Schur rings over $S_6$ that contain the sum of all the transpositions in $S_6$. There are eight such types (up to conjugacy), of which four have the set of all the transpositions as a principal set of the Schur ring.

2015-08-21math.GR

更多相关论文收起更多论文

A Matsumoto type theorem for GL_n over rings of non-commutative Laurent polynomials

We give a Matsumoto-type presentation of $K_2$-groups over rings of non-commutative Laurent polynomials, which is a non-commutative version of M. Tomie's result for loop groups. Our main idea is due to U. Rehmann's approach in case of division rings.

2021-12-11math.GRmath.KT

群环的一个交换版本

A commutative version of the group ring

本文构造群环的交换版本，将群的正常生成问题转化为交换环理想生成问题，并用此方法替代证明两个循环群自由积的正常生成结果。

2023-12-21math.GR

Automorphisms of Chevalley groups of different types over commutative rings

In this paper we prove that every automorphism of (elementary) adjoint Chevalley group with root system of rank $>1$ over a commutative ring (with 1/2 for the systems $A_2$, $F_4$, $B_l$, $C_l$; with 1/2 and 1/3 for the system $G_2$) is standard, i.\,e., it is a composition of ring, inner, central and graph automorphisms.

2011-08-02math.GRmath.RA

Clifford Groups of Arbitrary Quadratic Modules over Commutative Rings

We consider the Clifford algebra and the Clifford group associated with any quadratic module, degenerate or not, over an arbitrary commutative ring with 1. We determine some of the important subalgebras of the Clifford algebra under some conditions, and generalize some of the classical relations between the Clifford group and the orthogonal group of the quadratic module.

2021-12-09math.GRmath.RA

An explicit formula for the action of a finite group on a commutative ring

Let G be a group which acts on a commutative ring k. We exhibit an induction formula which expresses an element x_G with tr_G(x_G)=1 by elements x_P with tr_P(x_P)=1, where P varies over prime order subgroups of P.

2007-07-14math.GRmath.RA

Characters of the group $\mathrm{EL}_d (R)$ for a commutative Noetherian ring $R$

Let $R$ be a commutative Noetherian ring with unit. We classify the characters of the group $\mathrm{EL}_d (R)$ provided that $d$ is greater than the stable range of the ring $R$. It follows that every character of $\mathrm{EL}_d (R)$ is induced from a finite dimensional representation. Towards our main result we classify $\mathrm{EL}_d (R)$-invariant probability measures on the Pontryagin dual group of $R^d$.

2020-07-30math.GRmath.RAmath.RT