Maximal T-spaces of free associative algebras over a finite field

2018 ◽  
Vol 17 (04) ◽  
pp. 1850064
Author(s):  
C. Bekh-Ochir ◽  
S. A. Rankin

In earlier work, it was established that for any finite field [Formula: see text] and any nonempty set [Formula: see text], the free associative (nonunitary) [Formula: see text]-algebra on [Formula: see text], denoted by [Formula: see text], had infinitely many maximal [Formula: see text]-spaces, but exactly two maximal [Formula: see text]-ideals (each of which was shown to be a maximal [Formula: see text]-space). This raises the interesting question as to whether or not the maximal [Formula: see text]-spaces can be classified. However, aside from the two maximal [Formula: see text]-ideals, no examples of maximal [Formula: see text]-spaces of [Formula: see text] have been identified to this point. This paper presents, for each finite field [Formula: see text], an infinite set of proper [Formula: see text]-spaces [Formula: see text] of [Formula: see text], none of which is a [Formula: see text]-ideal. It is proven that for any distinct integers [Formula: see text], [Formula: see text]. Furthermore, it is proven that for the prime field [Formula: see text], [Formula: see text] any prime, [Formula: see text] is a maximal [Formula: see text]-space of [Formula: see text]. We conjecture that for any finite field [Formula: see text] of positive characteristic different from 2 and each integer [Formula: see text], [Formula: see text] is a maximal [Formula: see text]-space of [Formula: see text]. In characteristic 2, the situation is slightly different and we provide different candidates for maximal [Formula: see text]-spaces.

2016 ◽  
Vol 26 (05) ◽  
pp. 985-1017
Author(s):  
Olga B. Finogenova

We study varieties of associative algebras over a finite field and varieties of associative rings satisfying semigroup or adjoint semigroup identities. We characterize these varieties in terms of “forbidden algebras” and discuss some corollaries of the characterizations.


2012 ◽  
Vol 77 (4) ◽  
pp. 1057-1066 ◽  
Author(s):  
Özlem Beyarslan ◽  
Ehud Hrushovski

AbstractWe study the automorphism group of the algebraic closure of a substructureAof a pseudo-finite fieldF. We show that the behavior of this group, even whenAis large, depends essentially on the roots of unity inF. For almost all completions of the theory of pseudofinite fields, we show that overA, algebraic closure agrees with definable closure, as soon asAcontains the relative algebraic closure of the prime field.


2008 ◽  
Vol 191 ◽  
pp. 111-134 ◽  
Author(s):  
Christian Liedtke

AbstractWe establish Noether’s inequality for surfaces of general type in positive characteristic. Then we extend Enriques’ and Horikawa’s classification of surfaces on the Noether line, the so-called Horikawa surfaces. We construct examples for all possible numerical invariants and in arbitrary characteristic, where we need foliations and deformation techniques to handle characteristic 2. Finally, we show that Horikawa surfaces lift to characteristic zero.


2015 ◽  
Vol 151 (7) ◽  
pp. 1288-1308
Author(s):  
Friedrich Knop ◽  
Gerhard Röhrle

Let $G$ be a simple algebraic group. A closed subgroup $H$ of $G$ is said to be spherical if it has a dense orbit on the flag variety $G/B$ of $G$. Reductive spherical subgroups of simple Lie groups were classified by Krämer in 1979. In 1997, Brundan showed that each example from Krämer’s list also gives rise to a spherical subgroup in the corresponding simple algebraic group in any positive characteristic. Nevertheless, up to now there has been no classification of all such instances in positive characteristic. The goal of this paper is to complete this classification. It turns out that there is only one additional instance (up to isogeny) in characteristic 2 which has no counterpart in Krämer’s classification. As one of our key tools, we prove a general deformation result for subgroup schemes that allows us to deduce the sphericality of subgroups in positive characteristic from the same property for subgroups in characteristic zero.


2007 ◽  
Vol 06 (03) ◽  
pp. 469-475 ◽  
Author(s):  
SANDRO MATTAREI

It is known that the weight (that is, the number of nonzero coefficients) of a univariate polynomial over a field of characteristic zero is larger than the multiplicity of any of its nonzero roots. We extend this result to an appropriate statement in positive characteristic. Furthermore, we present a new proof of the original result, which produces also the exact number of monic polynomials of a given degree for which the bound is attained. A similar argument allows us to determine the number of monic polynomials of a given degree, multiplicity of a given nonzero root, and number of nonzero coefficients, over a finite field of characteristic larger than the degree.


Author(s):  
Dan Carmon

We prove a function field version of Chowla's conjecture on the autocorrelation of the Möbius function in the limit of a large finite field of characteristic 2, extending previous work in odd characteristic.


2015 ◽  
Vol 08 (01) ◽  
pp. 1550013 ◽  
Author(s):  
Zahid Raza ◽  
Riasat Ali

In this note, the structure of unitary unit groups V*(𝔽2kQ16) is investigated, where Q16, is quaternion group of order 16, and 𝔽2k is any finite field of characteristic 2, with 2k elements. In particular, we give the center Z(V*(𝔽2kQ16)) of unitary units subgroup V*(𝔽2kQ16) of group algebra 𝔽2kQ16. The structure of the unitary unit subgroup V*(𝔽2kQ16) is described with the help of the Z(V*(𝔽2kQ16)).


2021 ◽  
Vol 37 (4) ◽  
pp. 495-509
Author(s):  
Minh N.H ◽  
Moldovyan D.N, et al.

A method for constructing a blind signature scheme based on a hidden discrete logarithm problem defined in finite non-commutative associative algebras is proposed. Blind signature protocols are constructed using four-dimensional and six-dimensional algebras defined over a ground finite field GF(p) and containing a global two-sided unit as an algebraic support. The basic properties of the used algebra, which determine the choice of protocol parameters, are described.


1993 ◽  
Vol 45 (6) ◽  
pp. 1184-1199 ◽  
Author(s):  
Craig M. Cordes

AbstractAn abstract Witt ring (R, G) of positive characteristic is known to be a group ring S[Δ] with ﹛1﹜ ≠ Δ ⊆ G if and only if it contains a form〈1,x〉, x ≠1, which represents only the two elements 1 and x. Carson and Marshall have characterized all Witt rings of characteristic 2 which contain binary forms representing exactly four elements. Such results which show R is isomorphic to a product of smaller rings are helpful in settling the conjecture that every finitely generated Witt ring is of elementary type. Here, some special situations are considered. In particular if char(R) = 8, |D〈l, 1〉| = 4, and R contains no rigid elements, then R is isomorphic to the Witt ring of the 2-adic numbers. If char(R) = 4, |D〈l,a〉| = 4 where a ∈ D〈1, 1〉, and R contains no rigid elements, then R is either a ring of order 8 or is the specified product of two Witt rings at least one of which is a group ring. In several cases R is realized by a field.


Sign in / Sign up

Export Citation Format

Share Document