Let $F_n$ be the free group of rank $n\geq2$ with basis $x_1,\ldots,x_n$. For $1\leq j<i\leq n$, let $d_{i,j}$ and $e_{i,j}$ be the automorphisms of $F_n$ defined by $d_{i,j}(x_i)=x_ix_j$ and $e_{i,j}(x_i)=x_jx_i$, respectively, and fixing the remaining free generators. Write $D_n=\langle d_{i,j}\mid 1\leq j<i\leq n\rangle$ and $A_n^+=\langle d_{i,j},e_{i,j}\mid 1\leq j<i\leq n\rangle$. We prove that $D_n$ admits a presentation on the generators $d_{r+1,r}$, $1\leq r\leq n-1$, with three families of relations given by commutators of weights two, three, and four, respectively. We extend this to a presentation of $A_n^+$ on the generators $d_{r+1,r}$ and $e_{r+1,r}$, $1\leq r\leq n-1$. These generating sets have minimum cardinality. Moreover, the presentation of $A_n^+$ may be chosen so that every defining relator is a single commutator.
Let $F_n$ be a free group of rank $n\geq3$, freely generated by $x_1,\ldots,x_n$. For $1\leq j<i\leq n$, let $d_{i,j}$ denote the Nielsen automorphism of $F_n$ defined by $d_{i,j}(x_i)=x_ix_j$ and $d_{i,j}(x_k)=x_k$ for $k\neq i$, and let $D_n=\langle d_{i,j}\mid 1\leq j<i\leq n\rangle$. We determine the lower central...
Let $S=K[x_1,\ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with ${\rm deg} x_1=\cdots ={\rm deg} x_n = 1$ and ${\bf a} = (a_1,\ldots,a_n) \in {\mathbb Z}_{>0}^n$. Given a squarefree monomial $u=x_{i_1} \cdots x_{i_d}$ of $S$ with $1 \leq i_1<\cdots<i_d \leq n$, we set $u^{[{\bf a}]}:=x_{i_1}...
For a positive integer $n$, let $A_n=\mathbb{C}[t_1^{\pm1},\ldots,t_n^{\pm1},x_1,\ldots,x_n]$ and $\mathfrak{g}_n=\bigoplus_{i=1}^n A_nd_i$, where $d_i=t_i\frac{\partial}{\partial t_i} +\frac{\partial}{\partial x_i}$. We first determine when the tensor module $T(P,V)=P\otimes V$ is simple, where $P$ is a simple module...
Let $q$ be a primitive $n$-th root of unity, $n>1$, and let $f$ be a nonzero polynomial such that $n\nmid(j+1)$ for every $j\in\supp(f)$. Set $e=\gcd(n,\{j+1:j\in\supp(f)\})$. We show that $\Oz(B_q(f))\cong\mu_e\times\mu_e$: the defining relations are homogeneous for a $\mathbb{Z}/e\times\mathbb{Z}/e$ grading, the cent...
Let $F_1=F_2=1$, $F_{n+2}=F_{n+1}+F_n$, and define the Fibonacci zeta function by $$ Z_F(s)=\sum_{n\ge1}F_n^{-s},\qquad \operatorname{Re}s>0. $$ We determine the exact right edge of the closure of the real parts of its zeros in the half-plane of absolute convergence. If $\sigma_F$ is the unique solution of $$ Z_F(\sigm...
Let $k=\mathbb{F}_q$, $E=\mathbb{F}_{q^n}$ and $\mathrm{Tr}=\mathrm{Tr}_{E/k}$. For $r\ge 2$, $a\in k^{\times}$ and $x\in E^{\times}$, let $\mathrm{N}(E,r,x,a)$ be the number of $r$-tuples $(x_1,\cdots,x_r)$ in $(E^{\times})^r$ satisfying $x_1\cdots x_r=x$ and $\mathrm{Tr}(x_1+\cdots+x_r)=a$. We prove $\left|\mathrm{N}...
Xue-Jun Guo, Chen Lin, Chen-Hao Tang· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
