Related papers: The subnormal structure of classical-like groups o…
Let $G$ be a semisimple linear algebraic group over a field $k$ and let $G^+(k)$ be the subgroup generated by the subgroups $R_u(Q)(k)$, where $Q$ ranges over all the minimal $k$-parabolic subgroups $Q$ of $G$. We prove that if $G^+(k)$ is…
For a given coorientable contact manifold $(M^{2n+1},\xi)$, we consider the group $ \operatorname{Cont}_c^{(r,\delta)}(M,\alpha)$ consisting of $C^{r,\delta}$ contactomorphisms with compact support which is equipped with…
Let $G$ be a finite group, $\Omega(G)$ be its Burnside ring, and $\Delta(G)$ its augmentation ideal. Denote by $\Delta^n(G)$ and $Q_n(G)$ the $n$-th power of $\Delta(G)$ and the $n$-th consecutive quotient group…
For semigroup $S$, a commutative congruence $\sigma_{orient}$ on $S$ and a subsemigroup Orientable($S$) of $S$ were introduced in "Two cancellative commutative congruences and group diagrams", Semigroup Forum (2011) 82: 338-353. Here we…
We consider the problem of discovering subgroup $H$ of permutation group $S_{n}$. Unlike the traditional $H$-invariant networks wherein $H$ is assumed to be known, we present a method to discover the underlying subgroup, given that it…
A cover of a unital, associative (not necessarily commutative) ring $R$ is a collection of proper subrings of $R$ whose set-theoretic union equals $R$. If such a cover exists, then the covering number $\sigma(R)$ of $R$ is the cardinality…
We propose a general quantum Hamiltonian formalism of a renormalization group (RG) flow with an emphasis on generalized symmetry by interpreting the elementary relationship between homomorphism, quotient ring, and projection. In our…
Let $N(\Gamma,G)$ be the number of homomorphisms from $\Gamma$ to $G$ up to conjugation by $G$. Physics of four-dimensional $\mathcal{N}=4$ supersymmetric gauge theories predicts that $N(\Gamma,G)=N(\Gamma , \tilde G)$ when $\Gamma$ is a…
We prove that a deformation of a hypersurface in a $(n+1)$-dimensional real space form ${\mathbb S}^{n+1}_{p,1}$ induce a Hamiltonian variation of the normal congruence in the space ${\mathbb L}({\mathbb S}^{n+1}_{p,1})$ of oriented…
We prove a general divisibility theorem that implies, e.g., that, in any group, the number of generating pairs (as well as triples, etc.) is a multiple of the order of the commutator subgroup. Another corollary says that, in any associative…
For two families of four-dimensional off-shell N = 2 supersymmetric nonlinear sigma-models constructed originally in projective superspace, we develop their formulation in terms of N = 1 chiral superfields. Specifically, these theories are:…
We look at genera of even unimodular lattices of rank $12$ over the ring of integers of $\mathbb{Q}(\sqrt{5})$ and of rank $8$ over the ring of integers of $\mathbb{Q}(\sqrt{3})$, using Kneser neighbours to diagonalise spaces of…
A permutation $\sigma\in S_n$ is said to be $k$-universal or a $k$-superpattern if for every $\pi\in S_k$, there is a subsequence of $\sigma$ that is order-isomorphic to $\pi$. A simple counting argument shows that $\sigma$ can be a…
Let $G$ be a connected, simply connected nilpotent group and $\pi$ be a square-integrable irreducible unitary representation modulo its center $Z(G)$ on $L^2(\mathbf{R}^d)$. We prove that under reasonably weak conditions on $G$ and $\pi$…
Let $A$ be a finitary algebra over a finite field $k$, and $A$-$mod$ the category of finite dimensional left $A$-modules. Let $\mathcal{H}(A)$ be the corresponding Hall algebra, and for a positive integer $r$ let $D_{r}(A)$ be the subspace…
By using unramified cohomology groups, we construct a full sequence of cohomological invariants for hermitian forms of any type (orthogonal, symplectic or unitary) that can be used to detect hyperbolicity. The base central simple algebras…
Let $K$ be a field of characteristic two, and let $\lambda$ be a two-part partition of some natural number $r$. Denote the permutation module corresponding to the (maximal) Young subgroup $\Sigma_\lambda$ in $\Sigma_r$ by $M^\lambda$. We…
Certain solvable extensions of $H$-type groups provide noncompact counterexamples to the so-called Lichnerowicz conjecture, which asserted that ``harmonic'' Riemannian spaces must be rank 1 symmetric spaces.
In this paper, we study defining ideals of numerical semigroup rings. Let $H$ be a numerical semigroup with multiplicity $a_0$ and embedding dimension $n$. Assuming $a_0/2+1\leq n$, we prove that the defining ideal of $H$ is determinantal…
Denoting by Sigma(S) the set of subset sums of a subset S of a finite abelian group G, we prove that |Sigma(S)| >= |S|(|S|+2)/4-1 whenever S is symmetric, |G| is odd and Sigma(S) is aperiodic. Up to an additive constant of 2 this result is…