Volume 9, Issue 6

In this paper we investigate the structure and representation of n-ary algebras arising from DNA recombination, where n is a number of DNA segments participating in recombination. Our methods involve a generalization of the Jordan formalization of observables in quantum mechanics in n-ary splicing algebras. It is proved that every identity satisfied by n-ary DNA recombination, with no restriction on the degree, is a consequence of n-ary commutativity and a single n-ary identity of the degree 3n-2. It solves the well-known open problem in the theory of n-ary intermolecular recombination.

Let H c(M) stand for the path connected identity component of the group of all compactly supported homeomorphisms of a manifold M. It is shown that H c(M) is perfect and simple under mild assumptions on M. Next, conjugation-invariant norms on Hc(M) are considered and the boundedness of Hc(M) and its subgroups is investigated. Finally, the structure of the universal covering group of Hc(M) is studied.

Following a Bendersky-Gitler idea, we construct an isomorphism between Anderson’s and Arone’s complexes modelling the chain complex of a mapping space. This allows us to apply Shipley’s convergence theorem to Arone’s model. As a corollary, we reduce the problem of homotopy equivalence for certain “toy” spaces to a problem in homological algebra.

In this article, we extend the work on minimal Hausdorff functions initiated by Cammaroto, Fedorchuk and Porter in a 1998 paper. Also, minimal Urysohn functions are introduced and developed. The properties of heredity and productivity are examined and developed for both minimal Hausdorff and minimal Urysohn functions.

Let X, Y be two Banach spaces. We say that Y is a quasi-quotient of X if there is a continuous operator R: X → Y such that its range, R(X), is dense in Y. Let X be a nonseparable Banach space, and let U, W be closed subspaces of X and Y, respectively. We prove that if X has the Controlled Separable Projection Property (CSPP) (this is a weaker notion than the WCG property) and Y is a quasi-quotient of X, then the structure of Y resembles the structure of a separable Banach space: (a) Y/W is norm-separable iff its dual W ⊥ is weak*-separable, (b) every weak*-separable subset of B Y* is weak*-metrizable, (c) every weak*-null sequence in the unit sphere of Y* contains a “nice“ subsequence; and (d) if U is separable, then X/U also has the CSPP. Property (a) yields an easy way of obtaining separable quotients in a class of Banach spaces. We also study the CSPP for C(K)-spaces, where K is a Mrówka compact space, e.g., we prove that the CSPP is not a three-space property.

We prove that if Köthe F-spaces X and Y on finite atomless measure spaces (ΩX; ΣX, µX) and (ΩY; ΣY; µY), respectively, with absolute continuous norms are isomorphic and have the property $\mathop {\lim }\limits_{\mu (A) \to 0} \left\| {\mu (A)^{ - 1} 1_A } \right\| = 0$ (for µ = µX and µ = µY, respectively) then the measure spaces (ΩX; ΣX; µX) and (ΩY; ΣY; µY) are isomorphic, up to some positive multiples. This theorem extends a result of A. Plichko and M. Popov concerning isomorphic classification of L p(µ)-spaces for 0 < p < 1. We also provide a new class of F-spaces having no nonzero separable quotient space.

The aim of this article is to extend results of Maslyuchenko, Mykhaylyuk and Popov about narrow operators on vector lattices. We give a new definition of a narrow operator, where a vector lattice as the domain space of a narrow operator is replaced with a lattice-normed space. We prove that every GAM-compact (bo)-norm continuous linear operator from a Banach-Kantorovich space V to a Banach lattice Y is narrow. Then we show that, under some mild conditions, a continuous dominated operator is narrow if and only if its exact dominant is so.

We show that Grüss-type probabilistic inequalities for covariances can be considerably sharpened when the underlying random variables are quadrant dependent in expectation (QDE). The herein established covariance bounds not only sharpen the classical Grüss inequality but also improve upon recently derived Grüss-type bounds under the assumption of quadrant dependency (QD), which is stronger than QDE. We illustrate our general results with examples based on specially devised bivariate distributions that are QDE but not QD. Such results play important roles in decision making under uncertainty, and particularly in areas such as economics, finance, and insurance.

Some limit and Dieudonné-type theorems in the setting of (ℓ)-groups with respect to filter convergence are proved, extending earlier results.

The purpose of this paper is to investigate the normal families and shared sets of meromorphic functions. The results obtained complement the related results due to Fang, Liu and Pang.

Let $\mathbb{K}$ be a field, G a reductive algebraic $\mathbb{K}$-group, and G 1 ≤ G a reductive subgroup. For G 1 ≤ G, the corresponding groups of $\mathbb{K}$-points, we study the normalizer N = N G(G 1). In particular, for a standard embedding of the odd orthogonal group G 1 = SO(m, $\mathbb{K}$) in G = SL(m, $\mathbb{K}$) we have N ≅ G 1 ⋊ µm($\mathbb{K}$), the semidirect product of G 1 by the group of m-th roots of unity in $\mathbb{K}$. The normalizers of the even orthogonal and symplectic subgroup of SL(2n, $\mathbb{K}$) were computed in [Širola B., Normalizers and self-normalizing subgroups, Glas. Mat. Ser. III (in press)], leaving the proof in the odd orthogonal case to be completed here. Also, for G = GL(m, $\mathbb{K}$) and G 1 = O(m, $\mathbb{K}$) we have N ≅ G 1 ⋊ $\mathbb{K}$ ×. In both of these cases, N is a self-normalizing subgroup of G.

In [Michailov I.M., On Galois cohomology and realizability of 2-groups as Galois groups, Cent. Eur. J. Math., 2011, 9(2), 403–419] we calculated the obstructions to the realizability as Galois groups of 14 non-abelian groups of order 2n, n ≥ 4, having a cyclic subgroup of order 2n−2, over fields containing a primitive 2n−3th root of unity. In the present paper we obtain necessary and sufficient conditions for the realizability of the remaining 8 groups that are not direct products of smaller groups.

Our main result is that a locally graded group whose proper subgroups are Baer-by-Chernikov is itself Baer-by-Chernikov. We prove also that a locally (soluble-by-finite) group whose proper subgroups are Baer-by-(finite rank) is itself Baer-by-(finite rank) if either it is locally of finite rank but not locally finite or it has no infinite simple images.

Let (R;m) be a 2-dimensional rational singularity with algebraically closed residue field and whose associated graded ring is an integrally closed domain. Göhner has shown that for every prime divisor v of R, there exists a unique one-fibered complete m-primary ideal A v in R with unique Rees valuation v and such that any complete m-primary ideal with unique Rees valuation v, is a power of A v. We show that for v ≠ ordR, A v is the inverse transform of a simple complete ideal in an immediate quadratic transform of R, if and only if the degree coefficient d(A v; v) is 1. We then give a criterion for R to be regular.

In this paper we present logics about stable and unstable versions of several well-known relations from mereology: part-of, overlap and underlap. An intuitive semantics is given for the stable and unstable relations, describing them as dynamic counterparts of the base mereological relations. Stable relations are described as ones that always hold, while unstable relations hold sometimes. A set of first-order sentences is provided to serve as axioms for the stable and unstable relations, and representation theory is developed in similar fashion to Stone’s representation theory for distributive lattices. First-order predicate logic and modal logic are presented with semantics based on structures with stable and unstable mereological relations. Completeness theorems for these logics are proved, as well as decidability in the case of the modal logic, hereditary undecidability in the case of the first-order logic, and NP-completeness for the satisfiability problem of the quantifier-free fragment of the first-order logic.

We prove that any ideal in a distributive (relative to a certain completion) poset is an intersection of prime ideals. Besides that, we give a characterization of n-normal meet semilattices with zero, thus generalizing a known result for lattices with zero.

We show that the modular functions j 1,N generate function fields of the modular curve X 1(N), N ∈ {7; 8; 9; 10; 12}, and apply them to construct ray class fields over imaginary quadratic fields.

We define the k-Fibonacci matrix as an extension of the classical Fibonacci matrix and relationed with the k-Fibonacci numbers. Then we give two factorizations of the Pascal matrix involving the k-Fibonacci matrix and two new matrices, L and R. As a consequence we find some combinatorial formulas involving the k-Fibonacci numbers.

For any prime p, we consider p-ary linear codes obtained from the span over $\mathbb{F}_p $ p of rows of incidence matrices of triangular graphs, differences of the rows and adjacency matrices of line graphs of triangular graphs. We determine parameters of the codes, minimum words and automorphism groups. We also show that the codes can be used for full permutation decoding.

A graph is 1-planar if it can be drawn on the plane so that each edge is crossed by at most one other edge. In this paper, it is proved that the (p, 1)-total labelling number of every 1-planar graph G is at most Δ(G) + 2p − 2 provided that Δ(G) ≥ 8p+4 or Δ(G) ≥ 6p+2 and g(G) ≥ 4. As a consequence, the well-known (p, 1)-total labelling conjecture has been confirmed for some 1-planar graphs.

This paper is mainly concerned with the blow-up and global existence profile for the Cauchy problem of a class of fully nonlinear degenerate parabolic equations with reaction sources.