groups of infinite rank in which every subgroup is either normal or self-normalizing are characterized in terms of their subgroups of infinite rank.

At the heart of all the techniques that have been proposed for exploring infinite state spaces, is a symbolic representation that can finitely represent infinite sets of states. In early work on the subject, this representation was domain specific, for example linear constraints for sets of real vectors. For several years now, the idea that a generic finite-automaton based representation could ...

Let ? be the multiply connected domain in extended complex plane $\overline {\mathbb {C}}$ obtained by removing m non-overlapping rectilinear segments from infinite strip $S=\{z : \left |\text {Im} z\right |<\pi /2\}$ . In this paper, we present an iterative method for numerical computation of a conformally equivalent bounded G interior unit disk $\mathbb {D}$ and exterior smooth Jordan curves....

We consider the inverse problem of determining an electromagnetic potential appearing in infinite cylindrical domain from boundary measurements. More precisely, we prove stable recovery a general class magnetic field and electric Assuming knowledge unknown coefficients close to boundary, obtain other results with measurements restricted some portion boundary. Our approach combines construction ...

A normed space $mathfrak{X}$ is said to have the fixed point property, if for each nonexpansive mapping $T : E longrightarrow E $ on a nonempty bounded closed convex subset $ E $ of $ mathfrak{X} $ has a fixed point. In this paper, we first show that if $ X $ is a locally compact Hausdorff space then the following are equivalent: (i) $X$ is infinite set, (ii) $C_0(X)$ is infinite dimensional, (...

We study diagonal estimates for the Bergman kernels of certain model domains in C near boundary points that are of infinite type. To do so, we need a mild structural condition on the defining functions of interest that facilitates optimal upper and lower bounds. This is a mild condition; unlike earlier studies of this sort, we are able to make estimates for non-convex pseudoconvex domains as we...

We prove an analyticity result for the Dirichlet–Neumann operator under space periodic boundary conditions in any dimension unbounded domain with infinite depth. derive analytic bifurcation of Stokes waves—i.e., traveling solutions—of water waves equations deep water.