Annihilator condition does not pass to polynomials and power series

In this paper we construct a ring A which has annihilator condition (a.c.) and we show that neither $A[x]$ nor $A[[x]]$ has this property. This answers in negative a question asked by Hong, Kim, Lee and Nielsen. We also show that there is an algebra A which does not have annihilator condition while both $A[x]$ and $A[[x]]$ have this property.     

The structure of the minimal free resolution of semigroup rings obtained by gluing

We construct a minimal free resolution of the semigroup ring $k[C]$ in terms of minimal resolutions of $k[A]$ and $k[B]$ when $〈C〉$ is a numerical semigroup obtained by gluing two numerical semigroups $〈A〉$ and $〈B〉$. Using our explicit construction, we compute the Betti numbers, graded Betti numbers, regularity and Hilbert series of $k[C]$, and prove that the minimal free resolution of $k[C]$ has a differential graded algebra structure provided the resolutions of $k[A]$ and $k[B]$ possess them. We discuss the consequences of our results in small embedding dimensions. Finally, we give an extension of our main result to semigroups in ${\mathbb{N}}^n$.     

Isomorphism problems for Hopf–Galois structures on separable field extensions

Let $L/K$ be a finite separable extension of fields whose Galois closure $E/K$ has Galois group G. Greither and Pareigis use Galois descent to show that a Hopf algebra giving a Hopf–Galois structure on $L/K$ has the form $E{[N]}^G$ for some group N of order $[L:K]$. We formulate criteria for two such Hopf algebras to be isomorphic as Hopf algebras, and provide a variety of examples. In the case that the Hopf algebras in question are commutative, we also determine criteria for them to be isomorphic as K-algebras. By applying our results, we complete a detailed analysis of the distinct Hopf algebras and K-algebras that appear in the classification of Hopf–Galois structures on a cyclic extension of degree $p^n$, for p an odd prime number.     

Type and conductor of simplicial affine semigroups

We provide a generalization of pseudo-Frobenius numbers of numerical semigroups to the context of the simplicial affine semigroups. In this way, we characterize the Cohen-Macaulay type of the simplicial affine semigroup ring $\mathbb{K}[S]$. We define the type of S, $\mathrm{type}(S)$, in terms of some Apéry sets of S and show that it coincides with the Cohen-Macaulay type of the semigroup ring, when $\mathbb{K}[S]$ is Cohen-Macaulay. If $\mathbb{K}[S]$ is a d-dimensional Cohen-Macaulay ring of embedding dimension at most $d+2$, then $\mathrm{type}(S)\le 2$. Otherwise, $\mathrm{type}(S)$ might be arbitrary large and it has no upper bound in terms of the embedding dimension. Finally, we present a generating set for the conductor of S as an ideal of its normalization.     

On the powers of vertex cover ideals

Let $S=\mathbb{K}[x_1,\dots ,x_n]$ be a polynomial ring, where $\mathbb{K}$ is a field, and G be a simple graph on n vertices. Let $J(G)?S$ be the vertex cover ideal of G. Herzog, Hibi and Ohsugi have conjectured that all powers of vertex cover ideals of chordal graph are componentwise linear. Here we establish the conjecture for the special case of trees. We also show that if G is a unicyclic vertex decomposable graph, then symbolic powers of $J(G)$ are componentwise linear.     

Classification of cyclic codes over a non-Galois chain ring Zp[u]/〈u3〉

We explicitly determine generators of cyclic codes over a non-Galois finite chain ring ${\mathbb{Z}}_p[u]/〈u^3〉$ of length $p^k$, where p is a prime number and k is a positive integer. We completely classify that there are three types of principal ideals of ${\mathbb{Z}}_p[u]/〈u^3〉$ and four types of non-principal ideals of ${\mathbb{Z}}_p[u]/〈u^3〉$, which are associated with cyclic codes over ${\mathbb{Z}}_p[u]/〈u^3〉$ of length $p^k$. We then obtain a mass formula for cyclic codes over ${\mathbb{Z}}_p[u]/〈u^3〉$ of length $p^k$.     

Spanning trees and spanning closed walks with small degrees

Let G be a graph and let f be a positive integer-valued function on $V(G)$. In this paper, we show that if for all $S?V(G)$, $\omega (G?S)<{\sum }_{v\in S}(f(v)?2)+2+\omega (G[S])$, then G has a spanning tree T containing an arbitrary given matching such that for each vertex v, $d_T(v)\le f(v)$, where $\omega (G?S)$ denotes the number of components of $G?S$ and $\omega (G[S])$ denotes the number of components of the induced subgraph $G[S]$ with the vertex set S. This is an improvement of several results. Next, we prove that if for all $S?V(G)$, $\omega (G?S)\le {\sum }_{v\in S}(f(v)?1)+1$, then G admits a spanning closed walk passing through the edges of an arbitrary given matching meeting each vertex v at most $f(v)$ times. This result solves a long-standing conjecture due to Jackson and Wormald (1990).     

Path decompositions of triangle-free graphs

Let G be a graph with n vertices. A path decomposition of G is a set of edge-disjoint paths containing all the edges of G. Let $p(G)$ denote the minimum number of paths needed in a path decomposition of G. Gallai Conjecture asserts that if G is connected, then $p(G)\le ?n/2?$. If G is allowed to be disconnected, then the upper bound $?\frac{3}{4}n?$ for $p(G)$ was obtained by Donald [7], which was improved to $?\frac{2}{3}n?$ independently by Dean and Kouider [6] and Yan [14]. For graphs consisting of vertex-disjoint triangles, $?\frac{2}{3}n?$ is reached and so this bound is tight. If triangles are forbidden in G, then $p(G)\le ?\frac{g+1}{2g}n?$ can be derived from the result of Harding and McGuinness [11], where g denotes the girth of G. In this paper, we also focus on triangle-free graphs and prove that $p(G)\le ?3n/5?$, which improves the above result with $g=4$.     

Graphs with nullity 2c(G)+p(G)−1

Let G be a connected graph with $n(G)$ vertices and $e(G)$ edges. The nullity of G, denoted by $\eta (G)$, is the multiplicity of eigenvalue zero of the adjacency matrix of G. Ma, Wong and Tian (2016) proved that $\eta (G)\le 2c(G)+p(G)?1$ unless G is a cycle of order a multiple of 4, where $c(G)=e(G)?n(G)+1$ is the elementary cyclic number of G and $p(G)$ is the number of leaves of G. Recently, Chang, Chang and Zheng (2020) characterized the leaf-free graphs with nullity $2c(G)?1$, thus leaving the problem to characterize connected graphs G with nullity $2c(G)+p(G)?1$ when $p(G)\ne 0$. In this paper, we solve this problem completely.     

Cyclotomic graphs and perfect codes

We study two families of cyclotomic graphs and perfect codes in them. They are Cayley graphs on the additive group of $\mathbb{Z}[{\zeta }_m]/A$, with connection sets $\{\pm ({\zeta }_m^i+A):0\le i\le m?1\}$ and $\{\pm ({\zeta }_m^i+A):0\le i\le ?(m)?1\}$, respectively, where ${\zeta }_m$ ($m\ge 2$) is an mth primitive root of unity, A a nonzero ideal of $\mathbb{Z}[{\zeta }_m]$, and ? Euler's totient function. We call them the mth cyclotomic graph and the second kind mth cyclotomic graph, and denote them by $G_m(A)$ and $G_m^{?}(A)$, respectively. We give a necessary and sufficient condition for $D/A$ to be a perfect t-code in $G_m^{?}(A)$ and a necessary condition for $D/A$ to be such a code in $G_m(A)$, where $t\ge 1$ is an integer and D an ideal of $\mathbb{Z}[{\zeta }_m]$ containing A. In the case when $m=3,4$, $G_m((\alpha ))$ is known as an Eisenstein–Jacobi and Gaussian networks, respectively, and we obtain necessary conditions for $(\beta )/(\alpha )$ to be a perfect t-code in $G_m((\alpha ))$, where $0\ne \alpha ,\beta \in \mathbb{Z}[{\zeta }_m]$ with β dividing α. In the literature such conditions are known to be sufficient when $m=4$ and $m=3$ under an additional condition. We give a classification of all first kind Frobenius circulants of valency 2p and prove that they are all pth cyclotomic graphs, where p is an odd prime. Such graphs belong to a large family of Cayley graphs that are efficient for routing and gossiping.     

The Whitehead group of (almost) extra-special p-groups with p odd

Let p be an odd prime number. We describe the Whitehead group of all extra-special and almost extra-special p-groups. For this we compute, for any finite p-group P, the subgroup $C{l}_1(\mathbb{Z}P)$ of $S{K}_1(\mathbb{Z}P)$, in terms of a genetic basis of P. We also introduce a deflation map $C{l}_1(\mathbb{Z}P)\to C{l}_1(\mathbb{Z}(P/N))$, for a normal subgroup N of P, and show that it is always surjective. Along the way, we give a new proof of the result describing the structure of $S{K}_1(\mathbb{Z}P)$, when P is an elementary abelian p-group.