The Autotopism Group of A Semifield of Order p 4, p is an Odd Prime

The aim of this article is to investigate the autotopism group of a semifield of order p ⁴, p is an odd prime, admitting a four-group of automorphisms E? Z ₂ × Z ₂ acting freely on A.     

On Schurity of Finite Abelian Groups

A finite group G is called a Schur group, if any Schur ring over G is associated in a natural way with a subgroup of Sym(G) that contains all right translations. Recently, the authors have completely identified the cyclic Schur groups. In this article, it is shown that any abelian Schur group belongs to one of several explicitly given families only. In particular, any noncyclic abelian Schur group of odd order is isomorphic to ?₃ × ?_{3 ^k} or ?₃ × ?₃ × ? _p where k ≥ 1 and p is a prime. In addition, we prove that ?₂ × ?₂ × ? _p is a Schur group for every prime p.     

The Number of Subgroups of PSL(2, Z) When Acting on F p ∪ {∞}

Coset diagrams defined for the transitive actions of PSL(2, Z) on projective line over a Galois field F _p , PL(F _p ), where p is prime, are used to obtain a formula for finding the number of subgroups of index p + 1 of the modular group PSL(2, Z). Some intransitive actions of PSL(2, Z) on PL(F _p ) for some special values of θ, when θ ∈ F _p , are also studied.     

On the Automorphism Group of a Semifield of Order 54

The purpose of this article is to determine Aut(A) where A is a semifield of order 5⁴ admitting an automorphism group E ? Z ₂ × Z ₂ acting freely on A.     

Random Measures and Applications

Abstract

A mapping Z(·) from a δ-ring ?₀(?) into the vector space of random variables L ^p (P) is a vector-valued measure if it is σ-additive in the metric of its range. It is a vector measure if the range is a Banach space and a random measure if also its values are independent on disjoint sets. An important reason for this study is to construct integrals relative to such Zs, which typically do not have finite variation. For this, it is essential to find a controlling (σ-finite) measure for Z that is not available if 0 <p < 1, and here the random measure is taken to be p-stable and utilize properties of infinitely divisible distributions. In the case of p = 2, Z(·) induces a bimeasure, and if p > 2 is an integer it induces a polymeasure, either of which need not be (signed) measures on product spaces. Important applications lead to all these possibilities. In all those cases, a detailed analysis of vector-valued set functions is presented, with special focus for the cases of 0 <p < 1 and p = 2 where probability and Bochner's L ^{2, 2} boundedness plays a key role. Specialization if Z is stationary, harmonizable, and/or isotropic are discussed using the group structure of ? ⁿ , n ≥ 1, extending it for an lca group G. If Z is Banach valued or a quasi-martingale measure, methods of obtaining integrals are outlined in the last section, and open problems motivated by applications are pointed out at various places.     

Enumerating Groups Acting Regularly on a d-Dimensional Cube

Let K be a field of characteristic p > 0, K* the multiplicative group of K and G = G _p  × B a finite group, where G _p is a p-group and B is a p′-group. Denote by K ^λ G a twisted group algebra of G over K with a 2-cocycle λ ∈Z ²(G, K*). In this article, we give necessary and sufficient conditions for K ^λ G to be of OTP representation type, in the sense that every indecomposable K ^λ G-module is isomorphic to the outer tensor product V#W of an indecomposable K ^λ G _p -module V and an irreducible K ^λ B-module W.     

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.     

When is a 2 × 2 Matrix Ring Over a Commutative Local Ring Quasipolar?

A ring R is quasipolar if for any a ∈ R, there exists p ² = p ∈ R such that p ∈ comm²(a), p + a ∈ U(R) and ap ∈ R ^qnil . In this article, we determine when a 2 × 2 matrix over a commutative local ring is quasipolar. A criterion in terms of solvability of the characteristic equation is obtained for such a matrix to be quasipolar. Consequently, we obtain several equivalent conditions for the 2 × 2 matrix ring over a commutative local ring to be quasipolar. Furthermore, it is shown that the 2 × 2 matrix ring over the ring of p-adic integers is quasipolar.     

Relative Group Cohomology and The Orbit Category

Let G be a finite group and ? be a family of subgroups of G closed under conjugation and taking subgroups. We consider the question whether there exists a periodic relative ?-projective resolution for ? when ? is the family of all subgroups H ≤ G with rk H ≤ rkG ? 1. We answer this question negatively by calculating the relative group cohomology ?H*(G, 𝔽₂) where G = ?/2 × ?/2 and ? is the family of cyclic subgroups of G. To do this calculation we first observe that the relative group cohomology ?H*(G, M) can be calculated using the ext-groups over the orbit category of G restricted to the family ?. In second part of the paper, we discuss the construction of a spectral sequence that converges to the cohomology of a group G and whose horizontal line at E ₂ page is isomorphic to the relative group cohomology of G.     

The Compact Law of the Iterated Logarithm for Multivariate Stochastic Approximation Algorithms

Abstract

We consider a sequence (Z _n ) _n≥1 defined by a general multivariate stochastic approximation algorithm and assume that (Z _n ) converges to a solution z* almost surely. We establish the compact law of the iterated logarithm for Z _n by proving that, with probability one, the limit set of the sequence (Z _n  ? z*) suitably normalized is an ellipsoid. We also give the law of the iterated logarithm for the l ^p norms, p ∈ [1, ∞], of (Z _n  ? z*).     

The Semifields of Order q 4 Where q is a Power of 2

The aim of this article is to investigate all semifields A of order q ⁴ where q is a power of 2, having the properties that A contains GF(q ²) in its left nucleus and admits a four-group E ? Z ₂ × Z ₂ of automorphisms of A acting freely on A.     

Restrictions of Irreducible Representations of Classical Algebraic Groups to Root A 1-Subgroups

Abstract

Restrictions of irreducible representations of classical algebraic groups to root A ₁-subgroups, i.e., subgroups of type A ₁ generated by root subgroups associated with two opposite roots, are studied. Composition factors of such restrictions are found in the following cases: for groups of types A _n with n > 2 and D _n , for groups of type B _n , n > 2, and long root subgroups, for groups of type C _n , n > 2, and short root subgroups, and for p-restricted representations of A ₂(K), C ₂(K) (recall that B ₂(K) ? C ₂(K)), and of B _n (K), n > 2, and short root subgroups. Here we assume that p > 2 for G = B _n (K) or C _n (K).     

On the existence of semifields of prime power order admitting free automorphism groups

The purpose of this paper is to prove the existence of semifields of order q ⁴ for any odd prime power q = p^r, q > 3, admitting a free automorphism group isomorphic to Z ₂ × Z ₂.     

A Class of Quasipolar Rings

An element a of a ring R is called J-quasipolar if there exists p ² = p ∈ R satisfying p ∈ comm²(a) and a + p ∈ J(R); R is called J-quasipolar in case each of its elements is J-quasipolar. The class of this sort of rings lies properly between the class of uniquely clean rings and the class of quasipolar rings. In particular, every J-quasipolar element in a ring is quasipolar. It is shown, in this paper, that a ring R is J-quasipolar iff R/J(R) is boolean and R is quasipolar. For a local ring R, we prove that every n × n upper triangular matrix ring over R is J-quasipolar iff R is uniquely bleached and R/J(R) ? ?₂. Moreover, it is proved that any matrix ring of size greater than 1 is never J-quasipolar. Consequently, we determine when a 2 × 2 matrix over a commutative local ring is J-quasipolar. A criterion in terms of solvability of the characteristic equation is obtained for such a matrix to be J-quasipolar.     

Lie Regular Generators of General Linear Groups

In this article, we introduce the idea of Lie regular elements and study 2 × 2 Lie regular matrices. It is shown that the linear groups GL(2, ?_{2 ⁿ} ), GL(2, ? _{p ⁿ} ), and GL(2, ?_2p ) (where p is an odd prime) can be genrated by Lie regular matrices. Presentations of linear groups GL(2, ?₄), GL(2, ?₆), GL(2, ?₈), and GL(2, ?₁₀) are also given.     

On Nuclei and Duals of Semifields of Order q 4, q is a Power of 2

The aim of this article is to investigate the nuclei of a semifield A of order q ⁴, q is a power of 2, admitting a four-group E of automorphisms isomorphic to Z ₂ × Z ₂ acting freely on A and having GF(q ²) in its left nucleus. We also study the dual semifield A* of A and show that A and A* are isomorphic.     

Looking for difference sets in D2p × Zq

We consider groups D_2p × Z_q, with p and q odd primes, q < p, and for which each prime dividing n has order p − 1 (mod p). If such a group contains a nontrivial difference set, D, our main theorem gives constraints on the parameters of D. This in turn rules out difference sets in some groups of this form. For instance, D₂₂ × Z₃ contains no nontrivial difference set. © 2000 John Wiley & Sons, Inc. J Combin Designs 8: 35–41, 2000     

QUASIREGULAR TORSION RINGS HAVING ISOMORPHIC ADDITIVE AND CIRCLE COMPOSITION GROUPS

Abstract

We investigate the role played by torsion properties in determining whether or not a commutative quasiregular ring has its additive and circle composition (or adjoint) groups isomorphic. We clarify and extend some results for nil rings, showing, in particular, that an arbitrary torsion nil ring has the isomorphic groups property if and only if the components from its primary decomposition into p-rings do too.

We look at the more specific case of finite rings, extending the work of others to show that a non-trivial ring with the isomorphic groups property can be constructed if the additive group has one of the following groups in its decomposition into cyclic groups: Z₂ ⁿ (for n ≥ 3), Z₂ ⊕ Z₂ ⊕ Z₂, Z₂ ⊕ Z₄, Z₄ ⊕ Z₄, Z _p ⊕ Z _p (for odd primes, p), or Z _p ⁿ (for odd primes, p, and n ≥ 2).

We consider, also, an example of a ring constructed on an infinite torsion group and use a specific case of this to show that the isomorphic groups property is not hereditary.     

Minimal relations for certain finitep-groups

It is an open question whether or not every finitep-groupG has a presentation withd(G)=dimH ¹(G,Z _p ) generators andr(G)=dimH ²(G, Z _p ) relations; in this article, a large number of examples are given to show that such a presentation does exist for nearly all such groups for whichr(G) has been calculated.