Near-fields and linear transformations of finite fields

A question about near-fields suggests the following problem: If F is a finite field, K is a finite extension of F, and H is a multiplicative subgroup of K¹, describe the F-linear maps φ: K → K which fix F and leave each coset of H invariant. A plausible conjecture would seem to be that φ must be a field automorphism. This is confirmed here in the case that |H| and |F| satisfy a certain numerical relation (and, in particular, when K/F is quadratic). The bulk of the argument consists of showing that an F-linear transformation of K which preserves F-conjugacy is almost always an automorphism.     

Some generalizations of torsion-free Crawley groups

In this paper we investigate two new classes of torsion-free Abelian groups which arise in a natural way from the notion of a torsion-free Crawley group. A group G is said to be an Erd?s group if for any pair of isomorphic pure subgroups H,K with G/H ? G/K, there is an automorphism of G mapping H onto K; it is said to be a weak Crawley group if for any pair H,K of isomorphic dense maximal pure subgroups, there is an automorphism mapping H onto K. We show that these classes are extensive and pay attention to the relationship of the Baer-Specker group to these classes. In particular, we show that the class of Crawley groups is strictly contained in the class of weak Crawley groups and that the class of Erd?s groups is strictly contained in the class of weak Crawley groups.     

Automorphism group of Green ring of Sweedler Hopf algebra

Let H ₂ be Sweedler’s 4-dimensional Hopf algebra and r(H ₂) be the corresponding Green ring of H ₂. In this paper, we investigate the automorphism groups of Green ring r(H ₂) and Green algebra F(H ₂) = r(H ₂)?_? F, where F is a field, whose characteristics is not equal to 2. We prove that the automorphism group of r(H ₂) is isomorphic to K ₄, where K ₄ is the Klein group, and the automorphism group of F(H ₂) is the semidirect product of ?₂ and G, where G = F {1/2} with multiplication given by a · b = 1? a ? b + 2ab.     

Standardness and Standard Automorphisms of Chevalley Groups, I: the Case of Rank at Least Two

The author studies the linkage between the standardness and the standard automorphisms of Chevalley groups over rings.It is proved that if H is any standard subgroup of G(R),then each of its automorphisms can be extended to an automorphism of G(R,I),restricted to an automorphism of E(R,I),and an automorphism of E(R,I) can be extended to one of G(R,I).The case of Chevalley groups of rank at least two is treated in this paper.Further results about the case of Chevalley groups of rank one,the case of non-commutative ground ring and some others exceptions will appear elsewhere.     

Hypercyclicity and unimodular point spectrum

We show that an operator on a separable complex Banach space with sufficiently many eigenvectors associated to eigenvalues of modulus 1 is hypercyclic. We apply this result to construct hypercyclic operators with prescribed K_σ unimodular point spectrum. We show how eigenvectors associated to unimodular eigenvalues can be used to exhibit common hypercyclic vectors for uncountable families of operators, and prove that the family of composition operators C_? on H²(D), where ? is a disk automorphism having +1 as attractive fixed point, has a residual set of common hypercyclic vectors.     

Automorphisms of imbedded graphs

If a linear graph is imbedded in a surface to form a map, then the map has a group of automorphisms which is a subgroup (usually, a proper subgroup) of the automorphism group of the graph. In this note it will be shown that, for any imbedding of K_n in an orientable surface, the order of the automorphism group of the resulting map is a divisor of n(n − 1), and that the order equals n(n − 1) if and only if n is a prime power. The explicit construction of imbeddings of K_Q, q = p^m with map automorphism group of order q(q − 1) gives rise to new types of regular map. There are also tenous connections with the theory of Frobenius groups.     

Edge decompositions into two kinds of graphs

Let H be an arbitrary graph and let K_1,2 be the 2-edge star. By a {K_1,2,H}-decomposition of a graph G we mean a partition of the edge set of G into subsets inducing subgraphs isomorphic to K_1,2 or H. Let J be an arbitrary connected graph of odd size. We show that the problem to decide if an instance graph G has a {K_1,2,H}-decomposition is NP-complete if H has a component of an odd size and H≠pK_1,2∪qJ, where pK_1,2∪qJ is the disjoint union of p copies of K_1,2 and q copies of J. Moreover, we prove polynomiality of this problem for H=qJ.     

Automorphismen Von Cayleyalgebren Über Algebraischen Erweiterungen Endlicher KÖrper Ungerader Charakteristik

Let C denote the (split) Cayley algebra over a finite field K of odd characteristic. Given any automorphism σ of C, which is not expressible as the product of two involutory automorphisms, we show that the minimal polynomial of σ is (x ? l)(x² + x + 1)³]. This result remains true, if K is replaced by an infinite algebraic extension K′ of K. Furthermore the automorphism group of C over K′ is bireflectional iff every polynomial of degree 3 in K′[x] is reducible. This corrects and extends the results achieved by Huberta Lausch in [2].     

A note on local automorphisms

Let H be an infinite-dimensional almost separable Hilbert space. We show that every local automorphism of ℬ(H), the algebra of all bounded linear operators on a Hilbert space H, is an automorphism.     

Ergodic flows of positive entropy can be time changed to becomeK-flows

It is shown that every Kakutani equivalence class of ergodic measure preserving transformations of positive entropy containsK-automorphisms. Also, every ergodic flow of positive entropy can be time changed to become aK-flow and every ergodic automorphism of positive entropy is a cross-section of someK-flow.     

Automorphisms of higher‐dimensional Hadamard matrices

This article derives from first principles a definition of equivalence for higher‐dimensional Hadamard matrices and thereby a definition of the automorphism group for higher‐dimensional Hadamard matrices. Our procedure is quite general and could be applied to other kinds of designs for which there are no established definitions for equivalence or automorphism. Given a two‐dimensional Hadamard matrix H of order ν, there is a Product Construction which gives an order ν proper n‐dimensional Hadamard matrix P⁽ⁿ⁾(H). We apply our ideas to the matrices P⁽ⁿ⁾(H). We prove that there is a constant c > 1 such that any Hadamard matrix H of order ν > 2 gives rise via the Product Construction to cν inequivalent proper three‐dimensional Hadamard matrices of order ν. This corrects an erroneous assertion made in the literature that ”P⁽ⁿ⁾(H) is equivalent to “P⁽ⁿ⁾(H′) whenever H is equivalent to H′.” We also show how the automorphism group of P⁽ⁿ⁾(H) depends on the structure of the automorphism group of H. As an application of the above ideas, we determine the automorphism group of P⁽ⁿ⁾(Hk) when Hk is a Sylvester Hadamard matrix of order 2^k. For ν = 4, we exhibit three distinct families of inequivalent Product Construction matrices P⁽ⁿ⁾(H) where H is equivalent to H₂. These matrices each have large but non‐isomorphic automorphism groups. © 2008 Wiley Periodicals, Inc. J Combin Designs 16: 507–544, 2008     

Coleman automorphisms of holomorphs of completely reducible and almost simple groups

Let H be the holomorph of a finite group G. It is proved that every Coleman automorphism of H is inner whenever G is either completely reducible or almost simple; in particular, this is the case when G is either characteristically simple or simple. As an application, we obtain the normalizer the conjecture holds for integral group rings of holomorphs of such groups in question.     

Definability in substructure orderings, III: Finite distributive lattices

Let ${{\mathcal D}}$ be the ordered set of isomorphism types of finite distributive lattices, where the ordering is by embeddability. We study first-order definability in this ordered set. We prove among other things that for every finite distributive lattice D, the set {d, d ^opp} is definable, where d and d ^opp are the isomorphism types of D and its opposite (D turned upside down). We prove that the only non-identity automorphism of ${{\mathcal D}}$ is the opposite map. Then we apply these results to investigate definability in the closely related lattice of universal classes of distributive lattices. We prove that this lattice has only one non-identity automorphism, the opposite map; that the set of finitely generated and also the set of finitely axiomatizable universal classes are definable subsets of the lattice; and that for each element K of the two subsets, {K, K ^opp} is a definable subset of the lattice.     

QUANDLE VARIETIES,GENERALIZED SYMMETRIC SPACES,AND <Emphasis Type="Italic">φ</Emphasis>-SPACES

We define a quandle variety as an irreducible algebraic variety Q endowed with an algebraically defined quandle operation ?. It can also be seen as an analogue of a generalized affine symmetric space or a regular s-manifold in algebraic geometry.Assume that Q is normal as an algebraic variety and that the action of its inner automorphism group Inn(Q) has a dense orbit. Then we show that there is an algebraic group G acting on Q with the same orbits as Inn(Q) such that each G-orbit is isomorphic to the quandle (G/H, ?φ) associated to the group G, an automorphism φ of G and a subgroup H of Gφ.     

Admissible majorants for model subspaces, and arguments of inner functions

Let Θ be an inner function in the upper half-plane ?⁺ and let K _Θ denote the model subspace H ² ? Θ H ² of the Hardy space H ² = H ²(?⁺). A nonnegative function w on the real line is said to be an admissible majorant for K _Θ if there exists a nonzero function f ∈ K _Θ such that {f} ? w a.e. on ?. We prove a refined version of the parametrization formula for K _Θ-admissible majorants and simplify the admissibility criterion (in terms of arg Θ) obtained in [8]. We show that, for every inner function Θ, there exist minimal K _Θ-admissible majorants. The relationship between admissibility and some weighted approximation problems is considered.     

On the strongly closed subgroups or H-subgroups of finite groups

Let G be a finite group. Goldschmidt, Flores, and Foote investigated the concept: Let K ≤ G. A subgroup H of K is called strongly closed in K with respect to G if H ^g ∩ K ≤ H for all g ∈ G. In particular, when H is a subgroup of prime-power order and K is a Sylow subgroup containing it, H is simply said to be a strongly closed subgroup. Bianchi and the others called a subgroup H of G an H-subgroup if N _G (H) ∩ H ^g ≤ H for all g ∈ G. In fact, an H-subgroup of prime power order is the same as a strongly closed subgroup. We give the characterizations of finite non-T-groups whose maximal subgroups of even order are solvable T-groups by H-subgroups or strongly closed subgroups. Moreover, the structure of finite non-T-groups whose maximal subgroups of even order are solvable T-groups may be difficult to give if we do not use normality.     

Examples of Subfactors with Property T Standard Invariant

Let H and K be two finite groups with a properly outer action on the factor M. We prove that the standard invariant of the group type inclusion , studied in detail in [BiH], has property T in the sense of [Po6] if and only if the group generated by H and K in the outer automorphism group of M has Kazhdan's property T [K]. This construction yields irreducible, infinite depth subfactors with small Jones indices and property T standard invariant. Submitted: March 1998, revised: June 1998.     

Hilbert space representations of decoherence functionals and quantum measures

We show that any decoherence functional D can be represented by a spanning vector-valued measure on a complex Hilbert space. Moreover, this representation is unique up to an isomorphism when the system is finite. We consider the natural map U from the history Hilbert space K to the standard Hilbert space H of the usual quantum formulation. We show that U is an isomorphism from K onto a closed subspace of H and that U is an isomorphism from K onto H if and only if the representation is spanning. We then apply this work to show that a quantum measure has a Hilbert space representation if and only if it is strongly positive. We also discuss classical decoherence functionals, operator-valued measures and quantum operator measures.     

On SS-quasinormal and S-quasinormally embedded subgroups of finite groups

A subgroup H of a group G is said to be an SS-quasinormal (Supplement-Sylow-quasinormal) subgroup if there is a subgroup B of G such that HB = G and H permutes with every Sylow subgroup of B. A subgroup H of a group G is said to be S-quasinormally embedded inGif for every Sylow subgroup P of H, there is an S-quasinormal subgroup K in G such that P is also a Sylow subgroup of K. Groups with certain SS-quasinormal or S-quasinormally embedded subgroups of prime power order are studied.