Normalizer of a group of “diagonal” automorphisms in algebras over a commutative ring

Let S be a faithful algebra over commutative ring R. It is assumed that S is additively generated by its invertible elements. It is shown that the nomalizer of subgroup Aut(S_s) of group Aut(S_R) coincides with the semidirect product Aut(S_S) Aut(S/R),where the second factor is the group of all ring automorphisms of ring S identical on R.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademiya Nauk SSSR, Vol. 191, pp. 5–8, 1991.     

Isols and maximal intersecting classes

In transfinite arithmetic 2ⁿ is defined as the cardinality of the family of all subsets of some set v with cardinality n. However, in the arithmetic of recursive equivalence types (RETs) 2^N is defined as the RET of the family of all finite subsets of some set v of nonnegative integers with RET N. Suppose v is a nonempty set. S is a class over v, if S consists of finite subsets of v and has v as its union. Such a class is an intersecting class (IC) over v, if every two members of S have a nonempty intersection. An IC over v is called a maximal IC (MIC), if it is not properly included in any IC over v. It is known and readily proved that every MIC over a finite set v of cardinality n ≥ 1 has cardinality 2^n-1. In order to generalize this result we introduce the notion of an ω-MIC over v. This is an effective analogue ot the notion of an MIC over v such that a class over a finite set v is an ω-MIC iff it is an MIC. We then prove that every ω-MIC over an isolated set v of RET N ≥ 1 has RET 2^N-1. This is a generalization, for while there only are χ₀ finite sets, there are ? isolated sets, where c denotes the cardinality of the continuum, namely all the finite sets and the c immune sets. MSC: 03D50.     

The Small Index Property for Free Nilpotent Groups

Let F be a relatively free algebra of infinite rank ?. We say that F has the small index property if any subgroup of Γ = Aut(F) of index at most ? contains the pointwise stabilizer Γ_(U) of a subset U of F of cardinality less than ?. We prove that every infinitely generated free nilpotent/abelian group has the small index property, and discuss a number of applications.     

Exponents of someN-compact spaces

For any topological spaceT, S. Mrówka has defined Exp (T) to be the smallest cardinal κ (if any such cardinals exist) such thatT can be embedded as a closed subset of the productN ^κ of κ copies ofN (the discrete space of cardinality ℵ₀). We prove that forQ, the space of the rationals with the inherited topology, Exp (Q) is equal to a certain covering number, and we show that by modifying some earlier work of ours it can be seen that it is consistent with the usual axioms of set theory including the choice that this number equal any uncountable regular cardinal less than or equal to 2^ℵ ₀. Mrówka has also defined and studied the class ℳ={κ: Exp (N _κ)=κ} whereN _κ is the discrete space of cardinality κ. It is known that the first cardinal not in ℳ must not only be inaccessible but cannot even belong to any of the first ω Mahlo classes. However, it is not known whether every cardinal below 2^ℵ ₀ is contained in ℳ. We prove that if there exists a maximal family of almost-disjoint subsets ofN of cardinality κ, then κ∈ℳ, and we then use earlier work to prove that if it is consistent that there exist cardinals which are not in the first ω Mahlo classes, then it is consistent that there exist such cardinals below 2^ℵ ₀ and that ℳ nevertheless contain all cardinals no greater than 2^ℵ ₀. Finally, we consider the relationship between ℳ and certain “large cardinals”, and we prove, for example, that if μ is any normal measure on a measurable cardinal, then μ(ℳ)=0.     

Topological realizations of families of ergodic automorphisms, multitowers and orbit equivalence

We study minimal topological realizations of families of ergodic measure preserving automorphisms (e.m.p.a.'s). Our main result is the following theorem. Theorem: Let {T_p:p∈I} be an arbitrary finite or countable collection of e.m.p.a.'s on nonatomic Lebesgue probability spaces (Y _p v _p ). Let S be a Cantor minimal system such that the cardinality of the set ε _S of all ergodic S-invariant Borel probability measures is at least the cardinality of I. Then for any collection {μ _p :pεI} of distinct measures from ε _S there is a Cantor minimal system S′ in the topological orbit equivalence class of S such that, as a measure preserving system, (S ¹,μ _p ) is isomorphic to T_p for every p∈I. Moreover, S′ can be chosen strongly orbit equivalent to S if and only if all finite topological factors of S are measure-theoretic factors of T_p for all p∈I. This result shows, in particular, that there are no restrictions at all for the topological realizations of countable families of e.m.p.a.'s in Cantor minimal systems. Namely, for any finite or countable collection {T ₁,T₂,…} of e.m.p.a.'s of nonatomic Lebesgue probability spaces, there is a Cantor minimal systemS, whose collection {μ1,μ2…} of ergodic Borel probability measures is in one-to-one correspondence with {T ₁,T₂,…}, and such that (S,μ _i ) is isomorphic toT _i for alli. Furthermore, since realizations are taking place within orbit equivalence classes of a given Cantor minimal system, our results generalize the strong orbit realization theorem and the orbit realization theorem of [18]. Those theorems are now special cases of our result where the collections {T _p}, {T _p }{μ _p } consist of just one element each. Research of I.K. was supported by NSF grant DMS 0140068.     

Some Extensions of PSL(2, p 2) are Uniquely Determined by Their Complex Group Algebras

In Tong-Viet's, 2012 work, the following question arose: Question. Which groups can be uniquely determined by the structure of their complex group algebras?

It is proved here that some simple groups of Lie type are determined by the structure of their complex group algebras. Let p be an odd prime number and S = PSL(2, p ²). In this paper, we prove that, if M is a finite group such that S < M < Aut(S), M = ?₂ × PSL(2, p ²) or M = SL(2, p ²), then M is uniquely determined by its order and some information about its character degrees. Let X ₁(G) be the set of all irreducible complex character degrees of G counting multiplicities. As a consequence of our results, we prove that, if G is a finite group such that X ₁(G) = X ₁(M), then G ? M. This implies that M is uniquely determined by the structure of its complex group algebra.     

Pseudodifferential Operators on Prehomogeneous Vector Spaces

ABSTRACT

Let G be a connected, linear algebraic group defined over ?, acting regularly on a finite dimensional vector space V over ? with ?-structure V _?. Assume that V possesses a Zariski-dense orbit, so that (G, ?, V) becomes a prehomogeneous vector space over ?. We consider the left regular representation π of the group of ?-rational points G _? on the Banach space C₀(V _?) of continuous functions on V _? vanishing at infinity, and study the convolution operators π(f), where f is a rapidly decreasing function on the identity component of G _?. Denote the complement of the dense orbit by S, and put S _? = S ∩ V _?. It turns out that, on V _? ? S _?, π(f) is a smooth operator. If S _? = {0}, the restriction of the Schwartz kernel of π(f) to the diagonal defines a homogeneous distribution on V _? ? {0}. Its nonunique extension to V _? can then be regarded as a trace of π(f). If G is reductive, and S and S _? are irreducible hypersurfaces, π(f) corresponds, on each connected component of V _? ? S _?, to a totally characteristic pseudodifferential operator. In this case, the restriction of the Schwartz kernel of π(f) to the diagonal defines a distribution on V _? ? S _? given by some power |p(m)| ^s of a relative invariant p(m) of (G, ?, V) and, as a consequence of the Fundamental Theorem of Prehomogeneous Vector Spaces, its extension to V _?, and the complex s-plane, satisfies functional equations similar to those for local zeta functions. A trace of π(f) can then be defined by subtracting the singular contributions of the poles of the meromorphic extension.     

The finite simple groups with at most two fusion classes of every order

Elements a,b of a group G are said to be fused if a = b^σ and to be inverse-fused if a =(b^-1)^σ for some σ ? Aut(G). The fusion class of a ? G is the set {a^σ | σ ? Aut(G)}, and it is called a fusion class of order i if a has order iThis paper gives a complete classification of the finite nonabelian simple groups G for which either (i) or (ii) holds, where:

(i) G has at most two fusion classes of order i for every i (23 examples); and

(ii) any two elements of G of the same order are fused or inversenfused.

The examples in case (ii) are: A₅, A₆,L₂(7),L₂(8), L₃(4), Sz(8), M₁₁ and M₂₃An application is given concerning isomorphisms of Cay ley graphs.     

One-regular Normal Cayley Graphs on Dihedral Groups of Valency 4 or 6 with Cyclic Vertex Stabilizer

A graph G is one-regular if its automorphism group Aut（G） acts transitively and semiregularly on the arc set. A Cayley graph Cay（Г, S） is normal if Г is a normal subgroup of the full automorphism group of Cay（Г, S）. Xu, M. Y., Xu, J. （Southeast Asian Bulletin of Math., 25, 355-363 （2001）） classified one-regular Cayley graphs of valency at most 4 on finite abelian groups. Marusic, D., Pisanski, T. （Croat. Chemica Acta, 73, 969-981 （2000）） classified cubic one-regular Cayley graphs on a dihedral group, and all of such graphs turn out to be normal. In this paper, we classify the 4-valent one-regular normal Cayley graphs G on a dihedral group whose vertex stabilizers in Aut（G） are cyclic. A classification of the same kind of graphs of valency 6 is also discussed.     

Tetravalent half‐edge‐transitive graphs and non‐normal Cayley graphs

Let X be a vertex‐transitive graph, that is, the automorphism group Aut(X) of X is transitive on the vertex set of X. The graph X is said to be symmetric if Aut(X) is transitive on the arc set of X. suppose that Aut(X) has two orbits of the same length on the arc set of X. Then X is said to be half‐arc‐transitive or half‐edge‐transitive if Aut(X) has one or two orbits on the edge set of X, respectively. Stabilizers of symmetric and half‐arc‐transitive graphs have been investigated by many authors. For example, see Tutte [Canad J Math 11 (1959), 621–624] and Conder and Maru?i? [J Combin Theory Ser B 88 (2003), 67–76]. It is trivial to construct connected tetravalent symmetric graphs with arbitrarily large stabilizers, and by Maru?i? [Discrete Math 299 (2005), 180–193], connected tetravalent half‐arc‐transitive graphs can have arbitrarily large stabilizers. In this article, we show that connected tetravalent half‐edge‐transitive graphs can also have arbitrarily large stabilizers. A Cayley graph Cay(G, S) on a group G is said to be normal if the right regular representation R(G) of G is normal in Aut(Cay(G, S)). There are only a few known examples of connected tetravalent non‐normal Cayley graphs on non‐abelian simple groups. In this article, we give a sufficient condition for non‐normal Cayley graphs and by using the condition, infinitely many connected tetravalent non‐normal Cayley graphs are constructed. As an application, all connected tetravalent non‐normal Cayley graphs on the alternating group A₆ are determined. © 2011 Wiley Periodicals, Inc. J Graph Theory     

The automorphism group of a function lattice: A problem of Jónsson and McKenzie

It is shown that Aut(L ^Q ) is naturally isomorphic to Aut(L) × Aut(Q) whenL is a directly and exponentially indecomposable lattice,Q a non-empty connected poset, and one of the following holds:Q is arbitrary butL is ajm-lattice,Q is finitely factorable and L is complete with a join-dense subset of completely join-irreducible elements, orL is arbitrary butQ is finite. A problem of Jónsson and McKenzie is thereby solved. Sharp conditions are found guaranteeing the injectivity of the natural mapv _P,Q from Aut(P) × Aut(Q) to Aut(P ^Q )P andQ posets), correcting misstatements made by previous authors. It is proven that, for a bounded posetP and arbitraryQ, the Dedekind-MacNeille completion ofP ^Q ,DM(P ^Q ), is isomorphic toDM(P)^Q. This isomorphism is used to prove that the natural mapv _P,Q is an isomorphism ifv _DM(P),Q is, reducing a poset problem to a more tractable lattice problem.Presented by B. Jonsson.The author would like to thank his supervisor, Dr. H. A. Priestley, for her direction and advice as well as his undergraduate supervisor, Prof. Garrett Birkhoff, and Dr. P. M. Neumann for comments regarding the paper. This material is based upon work supported under a (U.S.) National Science Foundation Graduate Research Fellowship and a Marshall Aid Commemoration Commission Scholarship.     

A duality theorem for graph embeddings

A generalized type of graph covering, called a “Wrapped quasicovering” (wqc) is defined. If K, L are graphs dually embedded in an orientable surface S, then we may lift these embeddings to embeddings of dual graphs K?,L? in orientable surfaces S?, such that S? are branched covers of S and the restrictions of the branched coverings to K?,L? are wqc's of K, L. the theory is applied to obtain genus embeddings of composition graphs G[nK₁] from embeddings of “quotient” graphs G.     

A GENERALIZATION OF COMPLETE GROUPS

Let G be a finite group and let G be the semi-direct product of a normal subgroup N and a subgroup K. In [1], conditions were found which are equivalent to the existence of a normal complement to N in G. We consider the structure of groups N for which the above condition always holds. Thus we use Bechtell's results to gain information on groups N such that if G is a semi-direct product of N and a subgroup K, then N is a direct factor of G, for all G. It is an old result that a group N is complete if and only if whenever N is a normal subgroup of G, then N is a direct factor of G, [4]. Hence it is not surprising that complete groups are part of our result. Moreover a group N is complete if and only if N is isomorphic to Aut(N) under the mapping σ(n) = σ _n , where σ _n is the inner automorphism induced by n. This remark leads us to consider groups N which contain a subgroup H such that H is isomorphic to Aut(N) under σ: H → Aut(N). All groups considered here are finite. The results found here do not parallel the results found in the author's dissertation for Lie algebras. There it is shown that only complete Lie algebras have the desired property. Thus, these results provide an example of when the theory of Lie algebras diverges from that of groups.     

Hecke Algebras of Group Extensions

Abstract

We describe the Hecke algebra ?(Γ,Γ₀) of a Hecke pair (Γ,Γ₀) in terms of the Hecke pair (N,Γ₀) where N is a normal subgroup of Γ containing Γ₀. To do this, we introduce twisted crossed products of unital *-algebras by semigroups. Then, provided a certain semigroup S ? Γ/N satisfies S ^?1 S = Γ/N, we show that ? (Γ,Γ₀) is the twisted crossed product of ? (N,Γ₀) by S. This generalizes a recent theorem of Laca and Larsen about Hecke algebras of semidirect products.     

Some Results on Systems of Finite Sets That Satisfy a Certain Intersection Condition

Let S be a finite set, and fix K>2. Let F be a family of subsets of S with the property that whenever A₁,...,A_k are sets in F, not necessarily distinct, and A₁ ? ? ? A_k = ?, then A₁ ? ? ? A_k = S. We prove here that the maximum size of such a family is 2^|S|?1 + 1. If we require that the sets A₁,...,A_k be distinct, then the maximum size of F is again 2^|S|?1 + 1, provided that |S| ≥ log₂(K?2)+3.     

Symmetric boundary values for the Dirichlet problem for harmonic maps from the disc into the 2-sphere

Let Aut(D) denote the group of biholomorphic diffeormorphisms from the unit disc D onto itself and O(3) the group of orthogonal transformations of the unit sphere S ². The existence of multiple solutions to the Dirichlet problem for harmonic maps from D into S ² is related to the symmetries (if any) of the boundary value γ : ∂D → S ², by invariance of the Dirichlet energy under the action of Aut(D) × O(3). In this paper, we classify the stabilizers in Aut(D) × O(3) of boundary values in H ^1/2(S ¹, S ²) and . We give two applications to the Dirichlet problem for harmonic maps. This work was partially supported by the CMLA, Ecole Normale Supérieure de Cachan, Cachan, France.     

Exponential actions and maximal ?-invariant ideals

Let V be an exponential ?-module, ? being an exponential Lie algebra. Put ? = exp ?. Then every orbit of V under the action of ? admits a closed orbit in its closure. If G= exp ? is a nilpotent Lie group and ? an exponential algebra of derivations of ?, then ? = exp ? acts on G, L ¹(G), (?) and the maximal ?-invariant ideals of L ¹(G), resp. of (?) coincide with the kernels Ker Ω, resp. Ker Ω∩ (?), where Ω is a closed orbit of ?^*. Received: 6 December 1996 / Revised version: 7 December 1997     

Disjoint bases in a polymatroid

Let f : 2^N → ⁺ be a polymatroid (an integer‐valued non‐decreasing submodular set function with f(??) = 0). We call S ? N a base if f(S) = f(N). We consider the problem of finding a maximum number of disjoint bases; we denote by m* be this base packing number. A simple upper bound on m* is given by k* = max{k : Σ_iεNf_A(i) ≥ kf_A(N),?A ? N} where f_A(S) = f(A ∪ S) ‐ f(A). This upper bound is a natural generalization of the bound for matroids where it is known that m* = k*. For polymatroids, we prove that m* ≥ (1 ? o(1))k*/lnf(N) and give a randomized polynomial time algorithm to find (1 ? o(1))k*/lnf(N) disjoint bases, assuming an oracle for f. We also derandomize the algorithm using minwise independent permutations and give a deterministic algorithm that finds (1 ? ε)k*/lnf(N) disjoint bases. The bound we obtain is almost tight because it is known there are polymatroids for which m* < (1 + o(1))k*/lnf(N). Moreover it is known that unless NP ? DTIME(n^{log log n}), for any ε > 0, there is no polynomial time algorithm to obtain a (1 + ε)/lnf(N)‐approximation to m*. Our result generalizes and unifies two results in the literature. © 2009 Wiley Periodicals, Inc. Random Struct. Alg., 2009     

Conjecture of Li and Praeger concerning the isomorphisms of Cayley graphs of A5

LetG be a finite group, andS a subset ofG \ |1| withS =S ⁻¹. We useX = Cay(G,S) to denote the Cayley graph ofG with respect toS. We callS a Cl-subset ofG, if for any isomorphism Cay(G,S) ≈ Cay(G,T) there is an α∈ Aut(G) such thatS ^α =T. Assume that m is a positive integer.G is called anm-Cl-group if every subsetS ofG withS =S ⁻¹ and | S | ≤m is Cl. In this paper we prove that the alternating groupA ₅ is a 4-Cl-group, which was a conjecture posed by Li and Praeger.