The free group does not have the finite cover property

We prove that the first order theory of nonabelian free groups eliminates the ?^∞-quantifier (in eq). Equivalently, since the theory of nonabelian free groups is stable, it does not have the finite cover property.     

On finite minimal non-nilpotent groups

A critical group for a class of groups is a minimal non- -group. The critical groups are determined for various classes of finite groups. As a consequence, a classification of the minimal non-nilpotent groups (also called Schmidt groups) is given, together with a complete proof of Gol'fand's theorem on maximal Schmidt groups.

     

On a property of minimal triangulations

A graph H has the property MT, if for all graphs G, G is H-free if and only if every minimal (chordal) triangulation of G is H-free. We show that a graph H satisfies property MT if and only if H is edgeless, H is connected and is an induced subgraph of P₅, or H has two connected components and is an induced subgraph of 2P₃.This completes the results of Parra and Scheffler, who have shown that MT holds for H=P_k, the path on k vertices, if and only if k?5 [A. Parra, P. Scheffler, Characterizations and algorithmic applications of chordal graph embeddings, Discrete Applied Mathematics 79 (1997) 171-188], and of Meister, who proved that MT holds for ?P₂, ? copies of a P₂, if and only if ??2 [D. Meister, A complete characterisation of minimal triangulations of 2K₂-free graphs, Discrete Mathematics 306 (2006) 3327-3333].     

On a certain property of the BurkillSCP-integral

We establish a necessary condition for theSCP-integrability of a function and use it to construct an example of a function possessing a continuousSCP-majorant andSCP-minorant on a closed interval, but nonintegrable over this interval in the sense of theSCP-integral. Translated fromMatematicheskie Zametki, Vol. 65, No. 4, pp. 599–606, April, 1999.     

On the finite prime spectrum minimal groups

Let G be a finite group. The set of all prime divisors of the order of G is called the prime spectrum of G and is denoted by π(G). A group G is called prime spectrum minimal if π(G) ≠ π(H) for any proper subgroup H of G. We prove that every prime spectrum minimal group all of whose nonabelian composition factors are isomorphic to the groups from the set {PSL ₂(7), PSL ₂(11), PSL ₅(2)} is generated by two conjugate elements. Thus, we extend the corresponding result for finite groups with Hall maximal subgroups. Moreover, we study the normal structure of a finite prime spectrum minimal group with a nonabelian composition factor whose order is divisible by exactly three different primes.     

On minimal subgroups of finite groups

In this paper, the minimal subgroups of a finite group G are studied. Using the normalizes of Sylow subgroups of G, we obtain some sufficient conditions for G to be p-milpotent and supersolvable, which ae extensions of the related results of Burnside, Ito, Buckley and Asaad.     

On certain residually finite groups

In this paper we will give necessary and sufficient conditions under which A ⊕ B = A ⊕ C implies B and C are comparable relative to ≤ for all finitely generated projective modules A, B and C over a regular ring     

On locally finite minimal non-solvable groups

In the present work we consider infinite locally finite minimal non-solvable groups, and give certain characterizations. We also define generalizations of the centralizer to establish a result relevant to infinite locally finite minimal non-solvable groups.     

On the martingale property of certain local martingales

The stochastic exponential ${Z_t= {\rm exp}\{M_t-M_0-(1/2)\langle M,M\rangle_t\}}$ of a continuous local martingale M is itself a continuous local martingale. We give a necessary and sufficient condition for the process Z to be a true martingale in the case where ${M_t=\int_0^t b(Y_u)\,dW_u}$ and Y is a one-dimensional diffusion driven by a Brownian motion W. Furthermore, we provide a necessary and sufficient condition for Z to be a uniformly integrable martingale in the same setting. These conditions are deterministic and expressed only in terms of the function b and the drift and diffusion coefficients of Y. As an application we provide a deterministic criterion for the absence of bubbles in a one-dimensional setting.     

On p-nilpotency and minimal subgroups of finite groups

We call a subgroup H of a finite group G c-supplemented in G if there exists a subgroup K of G such that G = HK and H ∩ K ≤ core(H). In this paper it is proved that a finite group G is p-nilpotent if G is S4-free and every minimal subgroup of P n GN is c-supplemented in NG(P), and when p = 2 P is quaternion-free, where p is the smallest prime number dividing the order of G, P a Sylow p-subgroup of G. As some applications of this result, some known results are generalized.     

On groups satisfying the minimal condition on certain subgroups

Periodica Mathematica Hungarica -     

On the average distance property and certain energy integrals

One of our main results is the following: LetX be a compact connected subset of the Euclidean spaceR ⁿ andr(X, d ₂) the rendezvous number ofX, whered ₂ denotes the Euclidean distance inR ⁿ . (The rendezvous numberr(X, d ₂) is the unique positive real number with the property that for each positive integern and for all (not necessarily distinct)x ₁,x ₂,...,x _n inX, there exists somex inX such that .) Then there exists some regular Borel probability measure μ₀ onX such that the value of ∫ _X d ₂(x, y)dμ₀ (y) is independent of the choicex inX, if and only ifr(X, d ₂) = sup_μ ∫ _X ∫ _X d ₂(x, y)dμ(x)dμ(y), where the supremum is taken over all regular Borel probability measures μ onX.     

On the homogeneity property for certain quantifier logics

Summary The local homogeneity property is defined as in [Mak]. We show thatL (Q₁) and some related logics do not have the local homogeneity property, whereas cofinality logicL (Q ^cf) has the homogeneity property. Both proofs use forcing and absoluteness arguments.     

On inductively minimal geometries that satisfy the intersection property

We prove that, up to isomorphism, for a given positive integer n, there is only one inductively minimal pair (Γ,Sym(n)) of rank n-1 that satisfies the intersection property. Moreover, we show that the diagram of Γ is linear.     

Ramsey property, ultrametric spaces, finite posets, and universal minimal flows

We introduce the class COU _S of finite ultrametric spaces with distances in the set S and with two additional linear orderings. We also introduce the class EOP of finite posets with two additional linear orderings. In this paper, we prove that COU _S and EOP are Ramsey classes. In addition, we give an application of our results to calculus of universal minimal flows.