Existence of an invariant form under a linear map

Let F be a field of characteristic different from 2 and V be a vector space over F. Let J: α → α ^J be a fixed involutory automorphism on F. In this paper we answer the following question: given an invertible linear map T: V → V, when does the vector space V admit a T-invariant nondegenerate J-hermitian, resp. J-skew-hermitian, form?     

Local automorphisms of semisimple algebras and group algebras

Let F be a field of characteristic not 2, and let A be a finite-dimensional semisimple F -algebra. All local automorphisms of A are characterized when all the degrees of A are larger than 1. If F is further assumed to be an algebraically closed field of characteristic zero, K a finite group, F K the group algebra of K over F , then all local automorphisms of F K are also characterized.     

Forms of certain hopf algebras

Let Ψ be a field, G a finite group of automorphisms of Ψ, and Φ the fixed field of G. Let H be a Hopf algebra over Ψ. For g ∈ G we define a Hopf algebra H_g which has the same underlying vector space as H and modified operations and show that the tensor product (over Ψ) ?_{g ∈ G} H_g has a Φ-form. As a consequence we see that if n>0 is an integer and Φ is a field of characteristic zero or p>0 with (n,p)=1, then there is a finite dimensional Hopf algebra over Φ with antipode of order 2n.     

Three-Dimensional Classical Groups Acting on Polytopes

Let V be a three-dimensional vector space over a finite field. We show that any irreducible subgroup of GL(V) that arises as the automorphism group of an abstract regular polytope preserves a nondegenerate symmetric bilinear form on V. In particular, the only classical groups on V that arise as automorphisms of such polytopes are the orthogonal groups.     

Local automorphisms of nilpotent algebras of matrices of small orders

Let K be an associative commutative ring with identity, and let R be the algebra of lower niltriangular n × n matrices over K. For n = 3, we prove that local automorphisms and Lie automorphisms of the algebra R generate all its local Lie automorphisms. For the case when K is a field and n = 4, we describe local automorphisms, local derivations, and local Lie automorphisms of the algebra R.     

Maximal Subgroups in the Classical Groups Normalizing Solvable Subgroups

Let G be a classical group over an arbitrary field F,acting on an n-dimensional vector space V=V(n,F) over a field F.In this paper,we classify the maximal subgroups of G,which normalizes a solvable subgroup N of GL(L,F) not lying in F~*1_V.     

The Poincaré Series of Relative Invariants of Finite Pseudo-Reflection Groups

Let F be a field with characteristic 0,V=F~n the n-dimensional vector space over F and let G be a finite pseudo-reflection group which acts on V.Let χ:G→F~* be a 1-dimensional representation of G.In this article we show that X(g)=(detg)~α(0≤α≤r-1),where g∈G and r is the order of g.In addition,we characterize the relation between the relative invariants and the invariants of the group G,and then we use Molien's Theorem of invariants to compute the Poincaré series of relative invariants.     

Extensions of Chevalley groups

LetG ₀ be a split simple Chevalley group of any type over the fieldK andG its universal group; and let? ₀ be the group of automorphisms of the corresponding Chevalley algebra,L _K, generated byG ₀ and all the diagonal automorphisms. A group? (and appropriate homorphisms) is constructed which generalizes the groupGL _n (K) whenG ₀ is specialized to typeA _n?1.     

Classification of 9-dimensional trilinear alternating forms over GF(2)

Let V be a finite-dimensional vector space over a finite field and let f be a trilinear alternating form over V. For such forms, we introduce two new invariants. Together with a generalized radical polynomial used for classification of forms in dimension 8 over GF(2), they are sufficient to distinguish between all trilinear alternating forms in dimension 9 over GF(2). To prove the completeness of the list of forms, we computed their groups of automorphisms. There are 31 degenerate and 317 nondegenerate forms. We point out some forms with either small or large automorphism group.     

On Minimal Generating Sets of E(D n ), A(D n) and I(D n ) with Even n

Let Dn be the dihedral group of order 2n. Denote by E(Dn) (resp. A(Dn), I(Dn)) the distributively generated nearring generated by the set of all endomorphisms (resp. automorphisms, inner automorphisms). In this paper, we determine for each one of the above three nearrings a minimal (additive) generating set. For E(Dn), this set contains the identity mapping and four other endomorphisms; for A(Dn), the identity mapping, one outer automorphism and one inner automorphisms; and for I(Dn), the identity mapping and two inner automorphisms.     

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

Problems in algebra inspired by universal algebraic geometry

Let Θ be a variety of algebras. In every variety Θ and every algebra H from Θ one can consider algebraic geometry in Θ over H. We also consider a special categorical invariant K _Θ of this geometry. The classical algebraic geometry deals with the variety Θ = Com-P of all associative and commutative algebras over the ground field of constants P. An algebra H in this setting is an extension of the ground field P. Geometry in groups is related to the varieties Grp and Grp-G, where G is a group of constants. The case Grp-F, where F is a free group, is related to Tarski’s problems devoted to logic of a free group. The described general insight on algebraic geometry in different varieties of algebras inspires some new problems in algebra and algebraic geometry. The problems of such kind determine, to a great extent, the content of universal algebraic geometry. For example, a general and natural problem is: When do algebras H ₁ and H ₂ have the same geometry? Or more specifically, what are the conditions on algebras from a given variety Θ that provide the coincidence of their algebraic geometries? We consider two variants of coincidence: 1) K _Θ(H ₁) and K _Θ(H ₂) are isomorphic; 2) these categories are equivalent. This problem is closely connected with the following general algebraic problem. Let Θ⁰ be the category of all algebras W = W(X) free in Θ, where X is finite. Consider the groups of automorphisms Aunt(Θ⁰) for different varieties Θ and also the groups of autoequivalences of Θ⁰. The problem is to describe these groups for different Θ.     

Monochromatic affine lines in finite vector spaces

Let d(k, q) be the smallest positive integer d such that if the d-dimensional vector space over the q-element field is k-colored, there exists a monochromatic affine line. It is shown that d(2, 4) = 3 and d(3, 3) = 4.     

On algebraic automorphisms and their rational invariants

Let X be an affine irreducible variety over an algebraically closed field k of characteristic zero. Given an automorphism Φ, we denote by k(X)^Φ its field of invariants, i.e., the set of rational functions f on X such that f o Φ = f. Let n(Φ) be the transcendence degree of k(X)^Φ over k. In this paper we study the class of automorphisms Φ of X for which n(Φ) = dim X - 1. More precisely, we show that under some conditions on X, every such automorphism is of the form Φ = ϕ_g, where ϕ is an algebraic action of a linear algebraic group G of dimension 1 on X, and where g belongs to G. As an application, we determine the conjugacy classes of automorphisms of the plane for which n(Φ) = 1.     

Resilience of ranks of higher inclusion matrices

Let \(n \ge r \ge s \ge 0\) be integers and \(\mathcal {F}\) a family of r-subsets of [n]. Let \(W_{r,s}^{\mathcal {F}}\) be the higher inclusion matrix of the subsets in \({{\mathcal {F}}}\) vs. the s-subsets of [n]. When \(\mathcal {F}\) consists of all r-subsets of [n], we shall simply write \(W_{r,s}\) in place of \(W_{r,s}^{\mathcal {F}}\). In this paper we prove that the rank of the higher inclusion matrix \(W_{r,s}\) over an arbitrary field K is resilient. That is, if the size of \(\mathcal {F}\) is “close” to \({n \atopwithdelims ()r}\) then \({{\mathrm{rank}}}_{K}( W_{r,s}^{\mathcal {F}}) = {{\mathrm{rank}}}_{K}(W_{r,s})\), where K is an arbitrary field. Furthermore, we prove that the rank (over a field K) of the higher inclusion matrix of r-subspaces vs. s-subspaces of an n-dimensional vector space over \({\mathbb {F}}_q\) is also resilient if \(\mathrm{char}(K)\) is coprime to q.     

Density of vector bundles periodic under the action of Frobenius

Let X be a proper and smooth curve of genus g?2 over an algebraically closed field k of positive characteristic. If , it follows from Hrushovski's work on the geometry of difference schemes that the set of rank r vector bundles with trivial determinant over X that are periodic under the action of Frobenius is dense in the corresponding moduli space. Using the equivalence between Frobenius periodicity of a stable vector bundle and its triviality after pull-back by some finite étale cover of X (due to Lange and Stuhler) on the one hand, and specialization of the fundamental group on the other hand, we prove that the same result holds for any algebraically closed field of positive characteristic.     

Affine transformations of finite vector spaces with large orders or few cycles

Let V be a d-dimensional vector space over a field of prime order p. We classify the affine transformations of V   of order at least p^d/4$p^d/4$, and apply this classification to determine the finite primitive permutation groups of affine type, and of degree n  , that contain a permutation of order at least n/4$n/4$. Using this result we obtain a classification of finite primitive permutation groups of affine type containing a permutation with at most four cycles.     

Nil-automorphisms of groups with residual properties

Let G be any group and x an automorphism of G. The automorphism x is said to be nil if, for every g ∈ G, there exists n = n(g) such that [g, _n x] = 1. If n can be chosen independently of g, we say that x is n-unipotent. A nil (resp. unipotent) automorphism x could also be seen as a left Engel element (resp. left n-Engel element) in the group G〈x〉. When G is a finite dimensional vector space, groups of unipotent linear automorphisms turn out to be nilpotent, so that one might ask to what extent this result can be extended to a more general setting. In this paper we study finitely generated groups of nil or unipotent automorphisms of groups with residual properties (e.g. locally graded groups, residually finite groups, profinite groups), proving that such groups are nilpotent.