Trace polynomials of words in special linear groups

1979 ◽  
Vol 28 (4) ◽  
pp. 401-412 ◽  
Author(s):  
J. B. Southcott

AbstractIf w is a group word in n variables, x1,…,xn, then R. Horowitz has proved that under an arbitrary mapping of these variables into a two-dimensional special linear group, the trace of the image of w can be expressed as a polynomial with integer coefficients in traces of the images of 2n−1 products of the form xσ1xσ2…xσm 1 ≤ σ1 < σ2 <… <σm ≤ n. A refinement of this result is proved which shows that such trace polynomials fall into 2n classes corresponding to a division of n-variable words into 2n classes. There is also a discussion of conditions which two words must satisfy if their images have the same trace for any mapping of their variables into a two-dimensional special linear group over a ring of characteristic zero.

1980 ◽  
Vol 22 (3) ◽  
pp. 439-455 ◽  
Author(s):  
James Archer

Let k be a finite field of characteristic 2, and let G be the three dimensional special linear group over k. The principal indecomposable modules of G over k are constructed from tensor products of the irreducible modules, and formulae for their dimensions are given.


2016 ◽  
Vol 15 (04) ◽  
pp. 1650062
Author(s):  
S. G. Quek ◽  
K. B. Wong ◽  
P. C. Wong

Let [Formula: see text] be a group and [Formula: see text]. The 2-tuple [Formula: see text] is said to be an [Formula: see text]-Engel pair, [Formula: see text], if [Formula: see text], [Formula: see text] and [Formula: see text]. Let SL[Formula: see text] be the special linear group of degree [Formula: see text] over the field [Formula: see text]. In this paper, we show that given any field [Formula: see text], there is a field extension [Formula: see text] of [Formula: see text] with [Formula: see text] such that SL[Formula: see text] has an [Formula: see text]-Engel pair for some integer [Formula: see text]. We will also show that SL[Formula: see text] has a [Formula: see text]-Engel pair if [Formula: see text] is a field of characteristic [Formula: see text].


2015 ◽  
Vol 58 (1) ◽  
pp. 263-272
Author(s):  
TALIA FERNÓS ◽  
POOJA SINGLA

AbstractIn this paper, we investigate the abstract homomorphisms of the special linear group SLn($\mathfrak{O}$) over complete discrete valuation rings with finite residue field into the general linear group GLm($\mathbb{R}$) over the field of real numbers. We show that for m < 2n, every such homomorphism factors through a finite index subgroup of SLn($\mathfrak{O}$). For $\mathfrak{O}$ with positive characteristic, this result holds for all m ∈ ${\mathbb N}$.


2014 ◽  
Vol 51 (1) ◽  
pp. 83-91
Author(s):  
Milad Ahanjideh ◽  
Neda Ahanjideh

Let V be the 2-dimensional column vector space over a finite field \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\mathbb{F}_q$$ \end{document} (where q is necessarily a power of a prime number) and let ℙq be the projective line over \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\mathbb{F}_q$$ \end{document}. In this paper, it is shown that GL2(q), for q ≠ 3, and SL2(q) acting on V − {0} have the strict EKR property and GL2(3) has the EKR property, but it does not have the strict EKR property. Also, we show that GLn(q) acting on \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\left( {\mathbb{F}_q } \right)^n - \left\{ 0 \right\}$$ \end{document} has the EKR property and the derangement graph of PSL2(q) acting on ℙq, where q ≡ −1 (mod 4), has a clique of size q + 1.


1969 ◽  
Vol 21 ◽  
pp. 106-135 ◽  
Author(s):  
Norbert H. J. Lacroix

The problem of classifying the normal subgroups of the general linear group over a field was solved in the general case by Dieudonné (see 2 and 3). If we consider the problem over a ring, it is trivial to see that there will be more normal subgroups than in the field case. Klingenberg (4) has investigated the situation over a local ring and has shown that they are classified by certain congruence groups which are determined by the ideals in the ring.Klingenberg's solution roughly goes as follows. To a given ideal , attach certain congruence groups and . Next, assign a certain ideal (called the order) to a given subgroup G. The main result states that if G is normal with order a, then ≧ G ≧ , that is, G satisfies the so-called ladder relation at ; conversely, if G satisfies the ladder relation at , then G is normal and has order .


Sign in / Sign up

Export Citation Format

Share Document