Related papers: Modular Golomb rulers and almost difference sets

Let $G$ be a linear algebraic group acting linearly on a vector space $V$, and let $k[V]^G$ be the corresponding algebra of invariant polynomial functions. A separating set $S \subseteq k[V]^G$ is a set of polynomials with the property that…

For a non-elementary discrete isometry group $G$ of divergence type acting on a proper geodesic $\delta$-hyperbolic space, we prove that its Patterson measure is quasi-invariant under the normalizer of $G$. As applications of this result,…

If V is a representation of a linear algebraic group G, a set S of G-invariant regular functions on V is called separating if the following holds: If two elements v,v' from V can be separated by an invariant function, then there is an f…

Every finite group $G$ has a normal series each of whose factors either is soluble or is a direct product of nonabelian simple groups. We define the nonsoluble length $\lambda (G)$ as the minimum number of nonsoluble factors in a series of…

We describe "quasi canonical modules" for modular invariant rings $R$ of finite group actions on factorial Gorenstein domains. From this we derive a general "quasi Gorenstein criterion" in terms of certain 1-cocycles. This generalizes a…

Let $Q$ be a local ring with maximal ideal $\mathfrak{n}$ and let $f,g\in \mathfrak{n}\smallsetminus\mathfrak{n}^2$ with $fg=0$. When $M$ is a finite $Q$-module with $fM=0$, we show that a minimal free resolution of $M$ over $Q$ has a…

This paper is devoted to studying difference indices of quasi-regular difference algebraic systems. We give the definition of difference indices through a family of pseudo-Jacobian matrices. Some properties of difference indices are proved.…

For any finite abelian group $G$ and commutative unitary ring $R$, by $R[G]$ we denote the group algebra over $R$. Let $T=(g_1,\ldots,g_{\ell})$ be a sequence over the group $G$. We say $T$ is algebraically zero-sum free over R if…

For a finite abelian group $G$, let $\beta_{\mathrm{sep}}(G)$ denote its separating Noether number. We determine $\beta_{\mathrm{sep}}(G)$ exactly for every finite abelian group $ G \cong C_{n_1}\oplus \cdots \oplus C_{n_r}$ with $ 1<n_1…

Free groups are known to be homogeneous, meaning that finite tuples of elements which satisfy the same first-order properties are in the same orbit under the action of the automorphism group. We show that virtually free groups have a…

Let $G$ be a connected, simply connected, simple, complex, linear algebraic group. Let $P$ be an arbitrary parabolic subgroup of $G$. Let $X=G/P$ be the $G$-homogeneous projective space attached to this situation. Let $d\in H_2(X)$ be a…

Let g be a finite-dimensional complex simple Lie algebra. Fix a non-negative integer l, we consider the set of dominant weights {\lambda} of g such that l{\Lambda}_0+{\lambda} is a dominant weight for the corresponding untwisted affine…

Let $G$ be a discrete abelian group. F{\o}lner showed that if $A \subseteq G$ has positive upper Banach density, then $A - A$ contains an almost Bohr set -- a set of the form $B \setminus E$ where $B$ is a Bohr set and $E$ has zero Banach…

An order is a commutative ring that as an abelian group is finitely generated and free. A commutative ring is reduced if it has no non-zero nilpotent elements. In this paper we use a new tool, namely, the fact that every reduced order has a…

The product m_k of the first k primes (2..p_k) has neighbours m_k +/- 1 with all prime divisors beyond p_k, implying there are infinitely many primes [Euclid]. All primes between p_k and m_k are in the group G_1 of units in semigroup…

Let G be a group of the form G_1* ... *G_n, the free product of n subgroups, and let M be a ZG-module of the form $\bigoplus_{i=1}^n M_i \otimes_{\mathbb{Z}G_i} \mathbb{Z}G$. We shall give formulae in various situations for $d_{ZG}(M)$, the…

The Gruenberg-Kegel graph $\Gamma(G)$ of a finite group $G$ is the graph whose vertex set is the set of prime divisors of $|G|$ and in which two distinct vertices $r$ and $s$ are adjacent if and only if there exists an element of order $rs$…

In a previous paper the authors constructed a class of quasi-Hopf algebras $D^{\omega}(G, A)$ associated to a finite group $G$, generalizing the twisted quantum double construction. We gave necessary and sufficient conditions, cohomological…

Let G be a simply connected simple algebraic group over an algebraically closed field K of characteristic p>0 with root system R, and let ${\mathfrak g}={\cal L}(G)$ be its restricted Lie algebra. Let V be a finite dimensional ${\mathfrak…

Let $d(G)$ be the smallest cardinality of a generating set of a finite group $G.$ We give a complete classification of the finite groups with the property that, whenever $ \langle x_1, \dots, x_{d(G)} \rangle = \langle y_1, \dots, y_{d(G)}…