On the Simplicity of Lie Algebras Associated to Leavitt Algebras

For any field 𝕂 and integer n ≥ 2, we consider the Leavitt algebra L _𝕂(n); for any integer d ≥ 1, we form the matrix ring S = M _d (L _𝕂(n)). S is an associative algebra, but we view S as a Lie algebra using the bracket [a, b] = ab ? ba for a, b ∈ S. We denote this Lie algebra as S ^?, and consider its Lie subalgebra [S ^?, S ^?]. In our main result, we show that [S ^?, S ^?] is a simple Lie algebra if and only if char(𝕂) divides n ? 1 and char(𝕂) does not divide d. In particular, when d = 1, we get that [L _𝕂(n)^?, L _𝕂(n)^?] is a simple Lie algebra if and only if char(𝕂) divides n ? 1.     

Second Homology Groups and Universal Coverings of Steinberg Leibniz Algebras of Small Characteristic

It is known that the second Leibniz homology group HL ₂ (𝔰𝔱𝔩 _n (R)) of the Steinberg Leibniz algebra 𝔰𝔱𝔩 _n (R) is trivial for n ≥ 5. In this article, we determine HL ₂(𝔰𝔱𝔩 _n (R)) explicitly (which are shown to be not necessarily trivial) for n = 3, 4 without any assumption on the base ring.     

Zero-Semidistributive Inverse Semigroups

An inverse semigroup S is said to be 0-semidistributive if its lattice ?F (S) of full inverse subsemigroups is 0-semidistributive. We show that it is sufficient to study simple inverse semigroups which are not groups. Our main theorem states that such a simple inverse semigroup S is 0-semidistributive if and only if (1) S is E-unitary, (2) S is aperiodic, (3) for any a,b ∈ S/σ with ab ≠ 1, there exist nonzero integers n and m such that (ab) ^m  = a ⁿ or (ab) ^m  = b ⁿ , where σ is the minimum group congruence on S.     

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.     

Presimplifiable and Cyclic Group Rings

Let R be any commutative ring with identity, and let C be a (finite or infinite) cyclic group. We show that the group ring R(C) is presimplifiable if and only if its augmentation ideal I(C) is presimplifiable. We conjecture that the group rings R(C _n ) are presimplifiable if and only if n = p ^m , p ∈ J(R), p is prime, and R is presimplifiable. We show the necessity of n = p ^m , and we prove the sufficiency when n = 2, 3, 4. These results were made possible by a new formula derived herein for the circulant determinantal coefficients.     

On Behavior of Solvable Ideals of Lie Algebras Under Outer Derivations

Let L be a finite dimensional Lie algebra over a field F. It is well known that the solvable radical S(L) of the algebra L is a characteristic ideal of L if char F = 0, and there are counterexamples to this statement in case char F = p > 0. We prove that the sum S(L) of all solvable ideals of a Lie algebra L (not necessarily finite dimensional) is a characteristic ideal of L in the following cases: 1) char F = 0; 2) S(L) is solvable and its derived length is less than log₂ p.     

On Finite Nonabelian Loop Capable Groups

We say that groups, which are isomorphic to inner mapping groups of finite loops, are loop capable. Let p and q be distinct prime numbers, S a nonabelian group of order pq, and C a finite nontrivial cyclic group such that gcd (|S|, |C|) = 1. We show that the group S × C is not loop capable.     

An Equivalence of Categories for Lie Color Algebras

Abstract

Let k be a field with char k = p > 0 and G an abelian group with a bicharacter λ on G. For each p-(G,λ)-Lie color algebra L over k the p-universal enveloping algebra u(L) is a G-graded Hopf algebra,i.e.,a Hopf algebra in the category ^kG ? of kG-comodules. In this paper we describe a subcategory of ^kG ? which is equivalent to the category of the finite dimensional p-(G,λ)-Lie color algebras over k.     

On the Number of Galois Points for a Plane Curve in Positive Characteristic

We study Galois points for a plane smooth curve C ? P ² of degree d ≥ 4 in characteristic p > 2. We generalize Yoshihara's result on the number of inner (resp., outer) Galois points to positive characteristic under the assumption that d ? 1 (resp., d ? 0) modulo p. As an application, we also find the number of Galois points in the case that d = p.     

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.     

Nilpotent Subsets of Graded Algebras with Color Involution

In this article, we examine group-graded algebras R with color involution. If S is the symmetric elements and K the skew symmetric elements, it is shown that if S ⁿ  = 0 then R ³ⁿ  = 0, whereas if K ⁿ  = 0 then (R[R, R]_ε R) ⁿ  = 0, where R[R, R]_ε R is the ε-commutator ideal corresponding to a bicharacter ε. It is then shown that the bounds found for the degrees of nilpotence of R and R[R, R]_ε R are best possible. We also examine the situation where R is graded by a finite group and only the identity component of either S or K is assumed to be nilpotent. We conclude by looking at some questions related to the Nagata-Higman theorem.     

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.     

Commuting Involution

We are given a semiprime unital ring A with * such that x*x = xx* for all elements x of A. We will show that both elements x + x* and xx* are central elements. In the case in which A is a quaternion algebra over a field F in the sense given by Albert, we show that * is unique and coincides with the canonical involution. We also provide specific constructions of quaternion division algebras A with canonical involution over a field F of one of the following types: (i) F is a function field in two variables over a ground field of unspecified characteristic; (ii) F is a function field over the Galois field GF(2ⁿ); and (iii) F is a function field over the Galois field GF(pⁿ) where p is an odd prime number and n is a natural number.     

Some Maximal Function Fields and Additive Polynomials

We derive explicit equations for the maximal function fields F over 𝔽 _{q ²ⁿ} given by F = 𝔽 _{q ²ⁿ} (X, Y) with the relation A(Y) = f(X), where A(Y) and f(X) are polynomials with coefficients in the finite field 𝔽 _{q ²ⁿ} , and where A(Y) is q-additive and deg(f) = q ⁿ  + 1. We prove in particular that such maximal function fields F are Galois subfields of the Hermitian function field H over 𝔽 _{q ²ⁿ} (i.e., the extension H/F is Galois).     

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).     

The Relative Brauer Group of an Affine Double Plane

We study algebra classes and divisor classes on a normal affine surface of the form z ² = f(x, y). The affine coordinate ring is T = k[x, y, z]/(z ² ? f), and if R = k[x, y][f ^?1] and S = R[z]/(z ² ? f), then S is a quadratic Galois extension of R. If the Galois group is G, we show that the natural map H¹(G, Cl(T)) → H¹(G, Pic(S)) factors through the relative Brauer group B(S/R) and that all of the maps are onto. Sufficient conditions are given for H¹(G, Cl(T)) to be isomorphic to B(S/R). The groups and maps are computed for several examples.     

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.     

The Classification of Naturally Graded p-Filiform Leibniz Algebras

In the present article the classification of n-dimensional naturally graded p-filiform (1 ≤ p ≤ n ? 4) Leibniz algebras is obtained. A splitting of the set of naturally graded Leibniz algebras into the families of Lie and non Lie Leibniz algebras by means of characteristic sequences (isomorphism invariants) is proved.     

w-Divisoriality in Polynomial Rings

We characterize all finite p-groups G of order p ⁿ (n ≤ 6), where p is a prime for n ≤ 5 and an odd prime for n = 6, such that the center of the inner automorphism group of G is equal to the group of central automorphisms of G.