On Derived Equivalences for Selfinjective Algebras

We show that if A is a representation-finite selfinjective Artin algebra, then every P ^? ? K ^b(𝒫 _A ) with Hom _K(Mod?A)(P ^?,P ^?[i]) = 0 for i ≠ 0 and add(P ^?) = add(νP ^?) is a direct summand of a tilting complex, and that if A, B are derived equivalent representation-finite selfinjective Artin algebras, then there exists a sequence of selfinjective Artin algebras A = B ₀, B ₁,…, B _m  = B such that, for any 0 ≤ i < m, B _i+1 is the endomorphism algebra of a tilting complex for B _i of length ≤ 1.     

Spectra of Maximal 1-Sided Ideals and Primitive Ideals

R is any ring with identity. Let Spec _r (R) (resp. Max _r (R), Prim _r (R)) denote the set of all right prime ideals (resp. all maximal right ideals, all right primitive ideals) of R and let U _r (eR) = {P ? Spec _r (R)| e ? P}. Let  = ∪_{P?Prim r (R)} Spec _r ^P (R), where Spec _r ^P (R) = {Q ?Spec _r ^P (R)|P is the largest ideal contained in Q}. A ring is called right quasi-duo if every maximal right ideal is 2-sided. In this article, we study the properties of the weak Zariski topology on  and the relationships among various ring-theoretic properties and topological conditions on it. Then the following results are obtained for any ring R: (1) R is right quasi-duo ring if and only if  is a space with Zariski topology if and only if, for any Q ? , Q is irreducible as a right ideal in R. (2) For any clopen (i.e., closed and open) set U in ? = Max _r (R) ∪  Prim _r (R) (resp.  = Prim _r (R)) there is an element e in R with e ² ? e ? J(R) such that U = U _r (eR) ∩  ? (resp. U = U _r (eR) ∩  ), where J(R) is the Jacobson of R. (3) Max _r (R) ∪  Prim _r (R) is connected if and only if Max _l (R) ∪  Prim _l (R) is connected if and only if Prim _r (R) is connected.     

On Landis’ Conjecture in the Plane

In this paper we prove a quantitative form of Landis’ conjecture in the plane. Precisely, let W(z) be a measurable real vector-valued function and V(z) ≥0 be a real measurable scalar function, satisfying ‖W‖ _{L ^∞(R ²)} ≤ 1 and ‖V‖ _{L ^∞(R ²)} ≤ 1. Let u be a real solution of Δu ? ?(Wu) ? Vu = 0 in R ². Assume that u(0) = 1 and |u(z)| ≤exp (C ₀|z|). Then u satisfies inf _{|z 0| =R}  sup _{|z?z 0| <1}|u(z)| ≥exp (?CRlog R), where C depends on C ₀. In addition to the case of the whole plane, we also establish a quantitative form of Landis’ conjecture defined in an exterior domain.     

Minimal Blocking Sets in PG(n, 2) and Covering Groups by Subgroups

In this article we prove that a set of points B of PG(n, 2) is a minimal blocking set if and only if ?B? = PG(d, 2) with d odd and B is a set of d + 2 points of PG(d, 2) no d + 1 of them in the same hyperplane. As a corollary to the latter result we show that if G is a finite 2-group and n is a positive integer, then G admits a ? _n+1-cover if and only if n is even and G? (C ₂) ⁿ , where by a ? _m -cover for a group H we mean a set 𝒞 of size m of maximal subgroups of H whose set-theoretic union is the whole H and no proper subset of 𝒞 has the latter property and the intersection of the maximal subgroups is core-free. Also for all n < 10 we find all pairs (m,p) (m > 0 an integer and p a prime number) for which there is a blocking set B of size n in PG(m,p) such that ?B? = PG(m,p).     

Bounding an Index by the Largest Character Degree of a p-Solvable Group

In this article, we show that if p is a prime and G is a p-solvable group, then |G: O _p (G)| _p  ≤ (b(G) ^p /p)^1/(p?1), where b(G) is the largest character degree of G. If p is an odd prime that is not a Mersenne prime or if the nilpotence class of a Sylow p-subgroup of G is at most p, then |G: O _p (G)| _p  ≤ b(G).     

Solvability of universal bol 2-loops

ABSTRACT

Let (A, ^?) be a structurable algebra. Then the opposite algebra (A ^op , ^?) is structurable, and we show that the triple system B ^op _A(x, y, z):=V^opx,y(z)=x(y¯z)+z(y¯x)?y(x¯z), x, y, z ∈ A, is a Kantor triple system (or generalized Jordan triple system of the second order) satisfying the condition (A). Furthermore, if A=𝔸₁?𝔸₂ denotes tensor products of composition algebras, (^?) is the standard conjugation, and (^∧) denotes a certain pseudoconjugation on A, we show that the triple systems B ^op _𝔸1?𝔸2 ( x , y¯^∧, z) are models of compact Kantor triple systems. Moreover these triple systems are simple if (dim𝔸₁, dim𝔸₂) ≠ (2, 2). In addition, we obtain an explicit formula for the canonical trace form for compact Kantor triple systems defined on tensor products of composition algebras.     

Inverse Problems for Time-Dependent Singular Heat Conductivities: Multi-Dimensional Case

We consider an inverse boundary value problem for the heat equation ? _t u = div (γ? _x u) in (0, T) × Ω, u = f on (0, T) × ?Ω, u| _t=0 = u ₀, in a bounded domain Ω ? ? ⁿ , n ≥ 2, where the heat conductivity γ(t, x) is piecewise constant and the surface of discontinuity depends on time: γ(t, x) = k ² (x ∈ D(t)), γ(t, x) = 1 (x ∈ Ω?D(t)). Fix a direction e* ∈ 𝕊 ^n?1 arbitrarily. Assuming that ?D(t) is strictly convex for 0 ≤ t ≤ T, we show that k and sup {e*·x; x ∈ D(t)} (0 ≤ t ≤ T), in particular D(t) itself, are determined from the Dirichlet-to-Neumann map : f → ?_ν u(t, x)|_{(0, T)×?Ω}. The knowledge of the initial data u ₀ is not used in the proof. If we know min_0≤t≤T (sup _x∈D(t) x·e*), we have the same conclusion from the local Dirichlet-to-Neumann map. Numerical examples of stationary and moving circles inside the unit disk are shown. The results have applications to nondestructive testing. Consider a physical body consisting of homogeneous material with constant heat conductivity except for a moving inclusion with different conductivity. Then the location and shape of the inclusion can be monitored from temperature and heat flux measurements performed at the boundary of the body. Such a situation appears for example in blast furnaces used in ironmaking.     

Über Die Assoziierten Primideale des Bidualen

Let (R, 𝔪) be a commutative, noetherian, local ring, E the injective hull of the residue field R/𝔪, and M ^○○ = Hom _R (Hom _R (M, E), E) the bidual of an R-module M. We investigate the elements of Ass(M ^○○) as well as those of Coatt(M) = {𝔭 ∈ Spec(R)|𝔭 = Ann _R (Ann _M (𝔭))} and provide criteria for equality in one of the two inclusions Ass(M) ? Ass(M ^○○) ? Coatt(M). If R is a Nagata ring and M a minimax module, i.e., an extension of a finitely generated R-module by an artinian R-module, we show that Ass(M ^○○) = Ass(M) ∪ {𝔭 ∈ Coatt(M)| R/𝔭 is incomplete}.     

On B(5, 18) Groups

A group G is said to be a B(n, k) group if for any n-element subset A of G, |A²| ≤k. In this paper, a characterization of B(5, 18) groups is given. It is shown that G is a B(5, 18) group if and only if one of the following statements holds: (1) G is abelian; (2) |G| ≤18; (3) G ? ? a, b | a⁵ = b⁴ = 1, a^b = a^?1 ?.     

Some Results on p-Nilpotence and Supersolvability of Finite Groups

Let G be a finite group. A subgroup K of a group G is called an ?-subgroup of G if N _G (K) ∩ K ^x  ≦ K for all x ? G. The set of all ?-subgroups of G will be denoted by ?(G). Let P be a nontrivial p-group. A chain of subgroups 1 = P ₀ ? P ₁ ? ··· ? P _n  = P is called a maximal chain of P provided that |P _i : P _i?1| = p, i = 1, 2, ···, n. A nontrivial p-subgroup P of G is called weakly supersolvably embedded in G if P has a maximal chain 1 = P ₀ ? P ₁ ? ··· ? P _i  ? ··· ? P _n  = P such that P _i  ? ?(G) for i = 1, 2, ···, n. Using the concept of weakly supersolvably embedded, we obtain new characterizations of p-nilpotent and supersolvable finite groups.     

On Galois Algebras Satisfying the Fundamental Theorem

Let B be a Galois algebra over a commutative ring R with Galois group G such that B ^H is a separable subalgebra of B for each subgroup H of G. Then it is shown that B satisfies the fundamental theorem if and only if B is one of the following three types: (1) B is an indecomposable commutative Galois algebra, (2) B = Re ⊕ R(1 ? e) where e and 1 ? e are minimal central idempotents in B, and (3) B is an indecomposable Galois algebra such that for each separable subalgebra A, V _B (A) = ?∑ _g∈G(A) J _g , and the centers of A and B ^G(A) are the same where V _B (A) is the commutator subring of A in B, J _g  = {b ∈ B | bx = g(x)b for each x ∈ B} for a g ∈ G, and G(A) = {g ∈ G | g(a) = a for all a ∈ A}.     

On Partial Tilting Complexes

Let R be a commutative noetherian ring and A a noetherian R-algebra. Let P ^? ∈ 𝒦^b(𝒫 _A ) with Hom_𝒦(Mod-A)(P ^?, P ^?[i]) = 0 for i > 0. We will provide a sufficient condition for P ^? to be a direct summand of a silting complex. Also, in case Hom_𝒦(Mod-A)(P ^?, P ^?[i]) = 0 for i ≠ 0, we will provide a sufficient condition for P ^? to be a direct summand of a tilting complex.     

On Galois Comodules

Generalizing the notion of Galois corings, Galois comodules were introduced as comodules P over an A-coring 𝒞 for which P _A is finitely generated and projective and the evaluation map μ𝒞:Hom ^𝒞 (P, 𝒞) ?  _S P → 𝒞 is an isomorphism (of corings) where S = End ^𝒞 (P). It has been observed that for such comodules the functors ? ?  _A 𝒞 and Hom _A (P, ?) ?  _S P from the category of right A-modules to the category of right 𝒞-comodules are isomorphic. In this note we use this isomorphism related to a comodule P to define Galois comodules without requiring P _A to be finitely generated and projective. This generalises the old notion with this name but we show that essential properties and relationships are maintained. Galois comodules are close to being generators and have common properties with tilting (co)modules. Some of our results also apply to generalised Hopf Galois (coalgebra Galois) extensions.     

On Solvability of Finite Groups with Few Non-Normal Subgroups

For a finite group G, let v(G) denote the number of conjugacy classes of non-normal subgroups of G and vc(G) denote the number of conjugacy classes of non-normal noncyclic subgroups of G. In this paper, we show that every finite group G satisfying v(G) ≤2|π(G)| or vc(G) ≤ |π(G)| is solvable, and for a finite nonsolvable group G, v(G) = 2|π(G)| +1 if and only if G ? A ₅.     

Varieties of restriction semigroups and varieties of categories

The variety of restriction semigroups may be most simply described as that generated from inverse semigroups (S, ·, ^?1) by forgetting the inverse operation and retaining the two operations x⁺ = xx^?1 and x* = x^?1x. The subvariety B of strict restriction semigroups is that generated by the Brandt semigroups. At the top of its lattice of subvarieties are the two intervals [B₂, B₂M = B] and [B₀, B₀M]. Here, B₂ and B₀ are, respectively, generated by the five-element Brandt semigroup and that obtained by removing one of its nonidempotents. The other two varieties are their joins with the variety of all monoids. It is shown here that the interval [B₂, B] is isomorphic to the lattice of varieties of categories, as introduced by Tilson in a seminal paper on this topic. Important concepts, such as the local and global varieties associated with monoids, are readily identified under this isomorphism. Two of Tilson's major theorems have natural interpretations and application to the interval [B₂, B] and, with modification, to the interval [B₀, B₀M] that lies below it. Further exploration may lead to applications in the reverse direction.     

Purity and Self-Small Groups

Let A be an abelian group. A group B is A-solvable if the natural map Hom(A, B) ?  _E(A) A → B is an isomorphism. We study pure subgroups of A-solvable groups for a self-small group A of finite torsion-free rank. Particular attention is given to the case that A is in , the class of self-small mixed groups G with G/tG? ? ⁿ for some n < ω. We obtain a new characterization of the elements of , and demonstrate that  differs in various ways from the class  ? of torsion-free abelian groups of finite rank despite the fact that the quasi-category ?  is dual to a full subcategory of ?  ?.     

Separativity of Regular Rings in Which 2 Is Invertible

A regular ring R is separative provided that for all finitely generated projective right R-modules A and B, A⊕ A? A⊕ B? A⊕ B implies that A? B. We prove, in this article, that a regular ring R in which 2 is invertible is separative if and only if each a ∈ R satisfying R(1 ? a ²)R = Rr(a) = ?(a)R and i(End _R (aR)) = ∞ is unit-regular if and only if each a ∈ R satisfying R(1 ? a ²)R ∩ RaR = Rr(a) ∩ ?(a)R ∩ RaR and i(End _R (aR)) = ∞ is unit-regular. Further equivalent characterizations of such regular rings are also obtained.     

On the Logarithm Component in Trace Defect Formulas

In asymptotic expansions of resolvent traces Tr(A(P ? λ)^?1) for classical pseudodifferential operators on closed manifolds, the coefficient C ₀(A, P) of ( ? λ)^?1 is of special interest, since it is the first coefficient containing nonlocal elements from A; moreover, it enters in index formulas. C ₀(A, P) also equals the zeta function value at zero when P is invertible. C ₀(A, P) is a trace modulo local terms, since C ₀(A, P) ? C ₀(A, P′) and C ₀([A, A′], P) are local. By use of complex powers P ^s (or similar holomorphic families of order s), Okikiolu, Kontsevich and Vishik, Melrose and Nistor showed formulas for these trace defects in terms of residues of operators defined from A, A′, log P and log P′.

The present paper has two purposes. One is to show how the trace defect formulas can be obtained from the resolvents in a simple way without use of the complex powers of P as in the original proofs. We also give here a simple direct proof of a recent residue formula of Scott for C ₀(I, P). The other purpose is to establish trace defect residue formulas for operators on manifolds with boundary, where complex powers are not easily accessible; we do this using only resolvents. We also generalize Scott's formula to boundary problems.     

Prophet Regions for Independent [0, 1]-Valued Random Variables with Random Discounting

Abstract

Let X ₁, X ₂… and B ₁, B ₂… be mutually independent [0, 1]-valued random variables, with EB _j  = β > 0 for all j. Let Y _j  = B ₁ … sB _j?1 X _j for j ≥ 1. A complete comparison is made between the optimal stopping value V(Y ₁,…,Y _n ):=sup{EY _τ:τ is a stopping rule for Y ₁,…,Y _n } and E(max _1≤j≤n Y _j ). It is shown that the set of ordered pairs {(x, y):x = V(Y ₁,…,Y _n ), y = E(max _1≤j≤n Y _j ) for some sequence Y ₁,…,Y _n obtained as described} is precisely the set {(x, y):0 ≤ x ≤ 1, x ≤ y ≤ Ψ _{n, β}(x)}, where Ψ _{n, β}(x) = [(1 ? β)n + 2β]x ? β^?(n?2) x ² if x ≤ β ^n?1, and Ψ _{n, β}(x) = min _j≥1{(1 ? β)jx + β ^j } otherwise. Sharp difference and ratio prophet inequalities are derived from this result, and an analogous comparison for infinite sequences is obtained.