A classical result of Reinhold Baer states that a group G = XN, which is the product of two normal supersoluble subgroups X and N, is supersoluble if and only if Gʹ is nilpotent. This result has been weakened in [6] for a finite group G: in fact, we do not need that both X and N are normal, but only that N is normal and X permutes with every maximal subgroup of each Sylow subgroup of N.

In our paper, we improve the result mentioned above by showing that we only need X to permute with the maximal subgroups of the non-cyclic Sylow subgroups of N. Also, we extend this result (and several others) to relevant classes of infinite groups.

The central idea behind our results stems from grasping the key aspects of what happens in [6]. It turns out that tensor products play a very crucial role, and it is precisely this shift of perspective that makes it possible not only to improve those results but also extend them to infinite groups.

The purpose of this article is to explore the solutions of the following nonlinear partial differential equations:

\begin{equation*}\mathcal{P}_1(u)^2+\mathcal{P}_2(u)^2=e^{g}\end{equation*}

and

\begin{equation*}\mathcal{P}_1(u)^2+2\alpha \mathcal{P}_1(u)\mathcal{P}_2(u)+\mathcal{P}_2(u)^2=e^{g},\end{equation*}

where $\alpha^2\in \mathbb{C}\setminus\{0,1\}$, g(z) is a polynomial, $a_j,b_j,c_j(j=1,2)$ are constants in $\mathbb{C}$, and

\begin{equation*}\mathcal{P}_1(u)=a_1 u+b_1 u_{z_1}+c_1u_{z_2}\quad \text{and} \quad \mathcal {P}_2(u)=a_2 u+b_2u_{z_1}+c_2u_{z_2}.\end{equation*}

The description of the existence conditions and the forms of the solutions for the above partial differential equations demonstrate that our results improve and generalise the previous results given by Saleeby, Cao and Xu. Moreover, some of our examples corresponding to every case in our theorems reveal the significant difference in the order of solutions for equations from a single variable to several variables.

Let µ be a finite positive Borelmeasure on $[0,1)$ and $\alpha \gt -1$. The generalized integral operator of Hilbert type $\mathcal {I}_{\mu_{\alpha+1}}$ is defined on the spaces $H(\mathbb{D})$ of analytic functions in the unit disc $\mathbb{D}$ as follows:

\begin{equation*}\mathcal {I}_{\mu_{\alpha+1}}(f)(z)=\int_{0}^{1} \frac{f(t)}{(1-tz)^{\alpha+1}}d\mu(t),\ \ f\in H(\mathbb{D}),\ \ z\in \mathbb{D} .\end{equation*}

In this paper, we give a unified characterization of the measures µ for which the operator $\mathcal {I}_{\mu_{\alpha+1}}$ is bounded from the Bloch space to a Bergman space for all $\alpha \gt -1$. Additionally, we also investigate the action of $\mathcal {I}_{\mu_{\alpha+1}}$ from the Bloch space to the Hardy spaces and the Besov spaces.

The notion of a strongly dense subgroup was introduced by Breuillard, Green, Guralnick and Tao: a subgroup Γ of a semi-simple $\mathbb{Q}$ algebraic group $\mathcal{G}$ is called strongly dense if every pair of non-commuting elements generate a Zariski dense subgroup. Amongst other things, Breuillard et al. prove that there exist strongly dense free subgroups in $\mathcal{G}({\mathbb{R}})$ and ask whether or not a Zariski dense subgroup of $\mathcal{G}(\mathbb{R})$ always contains a strongly dense free subgroup. In this paper, we answer this for many surface subgroups of $\textrm{SL}(3,\mathbb{R})$.

Let $(A,\mathfrak{m} )$ be a hypersurface local ring of dimension $d \geq 1$ and let I be an $\mathfrak{m} $-primary ideal. We show that there is a integer rI$\geq\;-1$ (depending only on I) such that if M is any non-free maximal Cohen–Macaulay (= MCM) A-module the function $n \rightarrow \ell(\operatorname{Tor}^A_1(M, A/I^{n+1}))$ (which is of polynomial type) has degree rI. Analogous results hold for Hilbert polynomials associated to Ext-functors. Surprisingly, a key ingredient is the classification of thick subcategories of the stable category of MCM A-modules (obtained by Takahashi, see [11, 6.6]).

The fixed points of the generalized Ricci flow are the Bismut Ricci flat (BRF) metrics, i.e., a generalized metric (g, H) on a manifold M, where g is a Riemannian metric and H a closed 3-form, such that H is g-harmonic and $\operatorname{Rc}(g)=\tfrac{1}{4} H_g^2$. Given two standard Einstein homogeneous spaces $G_i/K$, where each Gi is a compact simple Lie group and K is a closed subgroup of them holding some extra assumption, we consider $M=G_1\times G_2/\Delta K$. Recently, Lauret and Will proved the existence of a BRF metric on any of these spaces. We proved that this metric is always asymptotically stable for the generalized Ricci flow on M among a subset of G-invariant metrics and, if $G_1=G_2$, then it is globally stable.

We give a complete combinatorial classification of the parabolic Verma modules in the principal block of the parabolic category $\mathcal{O}$ associated with a minimal or a maximal parabolic subalgebra of the special linear Lie algebra for which the answer to Kostant’s problem is positive.

We define and study a notion of G-dimension for DG-modules over a non-positively graded commutative noetherian DG-ring A. Some criteria for the finiteness of the G-dimension of a DG-module are given by applying a DG-version of projective resolution introduced by Minamoto [Israel J. Math. 245 (2021) 409-454]. Moreover, it is proved that the finiteness of G-dimension characterizes the local Gorenstein property of A. Applications go in three directions. The first is to establish the connection between G-dimensions and the little finitistic dimensions of A. The second is to characterize Cohen-Macaulay and Gorenstein DG-rings by the relations between the class of maximal local-Cohen-Macaulay DG-modules and a special G-class of DG-modules. The third is to extend the classical Buchweitz-Happel Theorem and its inverse from commutative noetherian local rings to the setting of commutative noetherian local DG-rings. Our method is somewhat different from classical commutative ring.

Recently, it is proven that positive harmonic functions defined in the unit disc or the upper half-plane in $\mathbb{C}$ are contractions in hyperbolic metrics [14]. Furthermore, the same result does not hold in higher dimensions as shown by given counterexamples [16]. In this paper, we shall show that positive (or bounded) harmonic functions defined in the unit ball in $\mathbb{R}^{n}$ are Lipschitz in hyperbolic metrics. The involved method in main results allows to establish essential improvements of Schwarz type inequalities for monogenic functions in Clifford analysis [24, 25] and octonionic analysis [21] in a unified approach.

Modified ascent sequences, initially defined as the bijective images of ascent sequences under a certain hat map, have also been characterized as Cayley permutations where each entry is a leftmost copy if and only if it is an ascent top. These sequences play a significant role in the study of Fishburn structures. In this paper, we investigate (primitive) modified ascent sequences avoiding a pattern of length 4 by combining combinatorial and algebraic techniques, including the application of the kernel method. Our results confirm several conjectures posed by Cerbai.

We study the problem of conjugating a diffeomorphism of the interval to (positive) powers of itself. Although this is always possible for homeomorphisms, the smooth setting is rather interesting. Besides the obvious obstruction given by hyperbolic fixed points, several other aspects need to be considered. As concrete results we show that, in class C1, if we restrict to the (closed) subset of diffeomorphisms having only parabolic fixed points, the set of diffeomorphisms that are conjugate to their powers is dense, but its complement is generic. In higher regularity, however, the complementary set contains an open and dense set. The text is complemented with several remarks and results concerning distortion elements of the group of diffeomorphisms of the interval in several regularities.

In this paper,the linear space $\mathcal F$ of a special type of fractal interpolation functions (FIFs) on an interval I is considered. Each FIF in $\mathcal F$ is established from a continuous function on I. We show that, for a finite set of linearly independent continuous functions on I, we get linearly independent FIFs. Then we study a finite-dimensional reproducing kernel Hilbert space (RKHS) $\mathcal F_{\mathcal B}\subset\mathcal F$, and the reproducing kernel $\mathbf k$ for $\mathcal F_{\mathcal B}$ is defined by a basis of $\mathcal F_{\mathcal B}$. For a given data set $\mathcal D=\{(t_k, y_k) : k=0,1,\ldots,N\}$, we apply our results to curve fitting problems of minimizing the regularized empirical error based on functions of the form $f_{\mathcal V}+f_{\mathcal B}$, where $f_{\mathcal V}\in C_{\mathcal V}$ and $f_{\mathcal B}\in \mathcal F_{\mathcal B}$. Here $C_{\mathcal V}$ is another finite-dimensional RKHS of some classes of regular continuous functions with the reproducing kernel $\mathbf k^*$. We show that the solution function can be written in the form $f_{\mathcal V}+f_{\mathcal B}=\sum_{m=0}^N\gamma_m\mathbf k^*_{t_m} +\sum_{j=0}^N \alpha_j\mathbf k_{t_j}$, where ${\mathbf k}_{t_m}^\ast(\cdot)={\mathbf k}^\ast(\cdot,t_m)$ and $\mathbf k_{t_j}(\cdot)=\mathbf k(\cdot,t_j)$, and the coefficients γm and αj can be solved by a system of linear equations.

In this paper, we will show the Carleson measure characterizations for the boundedness and compactness of the Cesàro-type operator

\begin{equation*}\mathcal{C}_{\mu}(f)(z)=\sum^{\infty}_{n=0}\left( \int_{[0,1)}t^nd\mu(t)\right) \left(\sum^{n}_{k=0}a_k \right)z^n, \quad z\in \mathbb{D},\end{equation*}

acting on a number of important analytic function spaces on $\mathbb{D}$, where µ is a positive finite Borel measure. The function spaces are some newly appeared analytic function spaces (e.g., Bergman–Morrey spaces $A^{p,\lambda}$ and Dirichlet–Morrey spaces $\mathcal{D}_p^{\lambda}$) . This work continues the lines of the previous characterizations by Blasco and Galanopoulos et al. for classical Hardy spaces and weighted Bergman spaces and so forth.

Let Γ be a finite graph and let $A(\Gamma)$ be the corresponding right-angled Artin group. From an arbitrary basis $\mathcal B$ of $H^1(A(\Gamma),\mathbb F)$ over an arbitrary field, we construct a natural graph $\Gamma_{\mathcal B}$ from the cup product, called the cohomology basis graph. We show that $\Gamma_{\mathcal B}$ always contains Γ as a subgraph. This provides an effective way to reconstruct the defining graph Γ from the cohomology of $A(\Gamma)$, to characterize the planarity of the defining graph from the algebra of $A(\Gamma)$ and to recover many other natural graph-theoretic invariants. We also investigate the behaviour of the cohomology basis graph under passage to elementary subminors and show that it is not well-behaved under edge contraction.

Chan and Seceleanu have shown that if a weighted shift operator on $\ell^p(\mathbb{Z})$, $1\leq p \lt \infty$, admits an orbit with a non-zero limit point then it is hypercyclic. We present a new proof of this result that allows to extend it to very general sequence spaces. In a similar vein, we show that, in many sequence spaces, a weighted shift with a non-zero weakly sequentially recurrent vector has a dense set of such vectors, but an example on $c_0(\mathbb{Z})$ shows that such an operator is not necessarily hypercyclic. On the other hand, we obtain that weakly sequentially hypercyclic weighted shifts are hypercyclic. Chan and Seceleanu have, moreover, shown that if an adjoint multiplication operator on a Bergman space admits an orbit with a non-zero limit point then it is hypercyclic. We extend this result to very general spaces of analytic functions, including the Hardy spaces.

We prove the existence of a power structure over the Grothendieck ring of geometric dg categories. We show that a conjecture by Galkin and Shinder (proved recently by Bergh, Gorchinskiy, Larsen and Lunts) relating the motivic and categorical zeta functions of varieties can be reformulated as a compatibility between the motivic and categorical power structures. Using our power structure, we show that the categorical zeta function of a geometric dg category can be expressed as a power with exponent the category itself. We give applications of our results for the generating series associated with Hilbert schemes of points, categorical Adams operations and series with exponent a linear algebraic group.

Let (W, S) be a Coxeter system of rank n, and let $p_{(W, S)}(t)$ be its growth function. It is known that $p_{(W, S)}(q^{-1}) \lt \infty$ holds for all $n \leq q \in \mathbb{N}$. In this paper, we will show that this still holds for $q = n-1$, if (W, S) is 2-spherical. Moreover, we will prove that $p_{(W, S)}(q^{-1}) = \infty$ holds for $q = n-2$, if the Coxeter diagram of (W, S) is the complete graph. These two results provide a complete characterization of the finiteness of the growth function in the case of 2-spherical Coxeter systems with a complete Coxeter diagram.

Let $\mathbb{N}$ be the set of all non-negative integers. For any integer r and m, let $r+m\mathbb{N}=\{r+mk: k\in\mathbb{N}\}$. For $S\subseteq \mathbb{N}$ and $n\in \mathbb{N}$, let $R_{S}(n)$ denote the number of solutions of the equation $n=s+s'$ with $s, s'\in S$ and $s \lt s'$. Let $r_{1}, r_{2}, m$ be integers with $0 \lt r_{1} \lt r_{2} \lt m$ and $2\mid r_{1}$. In this paper, we prove that there exist two sets C and D with $C\cup D=\mathbb{N}$ and $C\cap D=(r_{1}+m\mathbb{N})\cup (r_{2}+m\mathbb{N})$ such that $R_{C}(n)=R_{D}(n)$ for all $n\in\mathbb{N}$ if and only if there exists a positive integer l such that $r_{1}=2^{2l+1}-2, r_{2}=2^{2l+1}-1, m=2^{2l+2}-2$.