SEMIFIELDS ARISING FROM IRREDUCIBLE SEMILINEAR TRANSFORMATIONS

Size: px
Start display at page:

Download "SEMIFIELDS ARISING FROM IRREDUCIBLE SEMILINEAR TRANSFORMATIONS"

Transcription

1 J. Aust. Math. Soc. 85 (28), doi:.7/s SEMIFIELDS ARISING FROM IRREDUCIBLE SEMILINEAR TRANSFORMATIONS WILLIAM M. KANTOR and ROBERT A. LIEBLER (Received 4 February 28; accepted 7 September 28) Communicated by Martin W. Liebeck Dedicated to Cheryl Praeger for her sixtieth birthday Abstract A construction of finite semifield planes of order n using irreducible semilinear transformations on a finite vector space of size n is shown to produce fewer than n log 2 n different nondesarguesian planes. 2 Mathematics subject classification: primary 5E5; secondary 5A4, 7A35. Keywords and phrases: finite projective planes, semifield, semilinear transformation.. Introduction Let V = V K be a d-dimensional vector space over a finite field K. Suppose that T ƔL(V K ) is an irreducible semilinear transformation: and V are the only T -invariant subspaces of V. (The simplest example is V = K and T Aut(K ).) Then d T i K is a presemifield [5], so that there is a corresponding semifield plane π T (see Section 2 below). While it appears that there might be quite a few projective planes obtained in this manner, the purpose of this paper is to show that this is not the case. THEOREM.. Fewer than n log 2 n pairwise nonisomorphic nondesarguesian semifield planes π T of order n are obtained from irreducible semilinear transformations T on vector spaces of size n. A weaker bound announced in [6] highlighted remarks concerning the relatively small number of known semifield planes. Many standard results concerning linear transformations have been generalized to the semilinear case [4, 2], but these do not appear to give the desired information concerning irreducible transformations. In Section 3 we develop enough machinery concerning semilinear transformations to deduce the theorem. This research was supported in part by NSF grant DMS c 29 Australian Mathematical Society /9 $A

2 334 W. M. Kantor and R. A. Liebler [2] 2. Semifield planes A finite presemifield is a finite vector space V together with a product a b that is left and right distributive and satisfies the condition that a b = implies a = or b =. This produces an affine plane (a semifield plane [, Section 5.3]) with point set V 2 and lines x = c and y = m x + b. There is a simple, elegant construction of finite presemifields due to Jha and Johnson [5], using an irreducible semilinear transformation T on a d-dimensional vector space V over a finite field K. Namely, the set S T := d T i K consists of V additive maps V V, with all nonzero maps invertible; define a b = f (a)(b), a, b V, for an arbitrary additive isomorphism f : V S T. This produces a presemifield and hence also an affine plane π T. Different choices for f produce isomorphic planes π T [, p. 35]. We repeat the elementary proof in [6] that, if at least one of the k i K is not zero, then the element d T i k i of S T is invertible. If this transformation is not invertible then there is some nonzero vector v such that d T i (k i v) =. Then there is some j such that j d and T j (k j v) = j T i (k i v). Since T K = K T, we have T (K T j (v)) = K T (T j (k j v)) j K T i (v), so that the latter is a proper T -invariant subspace, whereas T is irreducible. If T is a linear transformation then this construction produces a field in the standard manner. In general, unlike in the case of fields, if T and T generate the same cyclic group then the planes π T and π T might not be isomorphic since S T is not T -invariant. However, ƔL(V )-conjugates of T produce ƔL(V )-conjugate sets S T and hence isomorphic planes π T (but not conversely, as is easily seen using GF( V )). Therefore, in the next section we focus on conjugacy of irreducible semilinear transformations. We begin with the following result. 3. Proof of Theorem. PROPOSITION 3.. Let T be an irreducible σ -semilinear transformation on a finite vector space V over a finite field K. Then there is a decomposition V = V V t (3.2) of V into subspaces V i permuted cyclically by T such that T t V is a -dimensional semilinear map over an extension field of K. Moreover, t divides the order of σ, and the map T t V uniquely determines T up to GL(V )-conjugacy. PROOF. We will proceed in several steps. Throughout the proof, V will always denote a vector space over K. Whenever a subspace of V is viewed as a vector space over another field, or the field involved needs to be emphasized, we will add that field as a subscript. STEP. Let s be the order of σ and E := C K (σ ). Clearly V is a vector space over E and T s GL(V ) GL(V E ). Let µ(x) E[x] be the minimal polynomial of T s on V E. We claim that µ(x) is irreducible. For, if g(x) E[x] is a proper nontrivial

3 [3] Semifields arising from irreducible semilinear transformations 335 divisor of µ(x), then Ker g(t s ) is a proper nontrivial subspace of V E. Since both K and T commute with g(t s ), they leave invariant the K -space Ker g(t s ), contrary to the irreducibility of T on V. STEP 2. Let µ (x) K [x] be an irreducible factor of µ(x). Then for some t s, µ(x) = t i= µ i (x) where the polynomials µ i (x) := µ σ i (x) K [x] are distinct and irreducible. For i t, let V i := Ker(µ i (T s )). Then (3.2) holds with T (V i ) = V i+ (the subscripts are mod t), and T s has minimal polynomial µ i (x) on (V i ) K. Moreover, m := T s V is K -linear with irreducible minimal polynomial µ (x) K [x], so that L := K [m ] is a subfield of End(V ) and V is a vector space over L. We always let v denote an arbitrary nonzero vector of V. We have T t (km v ) = k σ t T t (T s (v )) = k σ t T s (T t (v )) = k σ t m T t (v ) for k K. It follows that T t V is ρ-semilinear on V for an automorphism ρ of L = K [m ] that coincides with σ t on K, fixes m = T s and hence has the same order s/t as σ t. STEP 3. Most of the proof now focuses on the semilinear transformation T := T t V of V, rather than on T and V. The map T acts irreducibly on the K -space V. For, let W be a nonzero T -invariant subspace of V. Then W i := T i (W ) is a subspace of V i for i t, and T (W t ) = T t (W ) = T (W ) = W. By (3.2), W W t is a nonzero T -invariant subspace of V, and hence W = V, as required. STEP 4. By Step 2, T is semilinear on (V ) L with associated field automorphism ρ of order n := s/t. The polynomial algebra L[T ] (see [4]) is not commutative if ρ. This leads us to consider the set R of polynomials f (x) = d x j f j with f j L, using the twisted product x j a = a ρ j x j for a L. Then R is a (noncommutative) L-algebra having L[T ] as a homomorphic image under the substitution x T. Jacobson [4] viewed V as an R-module, but we will not need this point of view. We only need to know that each f R has a degree in the usual manner, and that f (T )(v ) = d T j f j(v ), where T j f j is a composition of additive maps on V. Then f (T ) is an additive map on V, but it need not be K -semilinear. STEP 5. Let f (x) = d x j f j R, f j L, f d =, have minimal degree d such that f (T )(V ) =. Then d n since (T n m I )(V ) = (T s m I )(V ) = (by the definition of m in Step 2). We claim that d = n; in fact we will show that f (x) = x n m. Take a L lying in no proper subfield, so that a a ρ j for < j < n. Consider g(x) := a ρd f (x) f (x)a R. On the one hand, g(t )(v ) = a ρd f (T )(v ) f (T )(av ) = a ρd =. On the other hand, calculating in R we find that g(x) = d (a ρd x j ) f j d x j ( f j a) = d x j (a ρd j a) f j

4 336 W. M. Kantor and R. A. Liebler [4] has degree < d since a ρd d a =. Now g(t )(V ) = and our choice of f (x) imply that (a ρd j a) f j = for j < d. Then f j = for < j < d (since a ρd j a), so that f (x) = x d + f. If d < n then a ρd a, so that f =, whereas T d(v ). Thus, d = n and f (x) = x n + f. Finally, since ( f + m )(V ) = we have f = m, as claimed. STEP 6. We next claim that V has dimension one as a vector space over L. Since T acts irreducibly on V by Step 3, it suffices to exhibit a -dimensional subspace of (V ) L fixed by T. By Step 2, m F := C L (ρ), where [L : F] = ρ = s/t = n. Consequently, if N L/F : L F is the norm map, then there exists an element a L such that N L/F (a) := n a ρ j equals m. Since h(x) := n (ax) j R has degree less than n, by Step 5 we have h(t )(V ). Let v V with w := n (at ) j (v). Then and hence (at ) n (v) = N L/F (a)t n (v) = N L/F(a)m v = v, n (at )(w) = (at ) j (v) + (at ) n (v) = n (at ) j (v) + v = w. Thus, T (Lw) = Lw, so that Lw is the required T -invariant -space over L, and hence dim(v ) L =. STEP 7. Finally, we need to show that the action of T on V determines T up to GL(V )-conjugacy. For, if B := {v i i =,..., d} is a K -basis of V and v i j := T j (v i ), then {v i j i =,..., d} is a K -basis of V j for j t. If A is the matrix of T = T t V with respect to B then v i v 2i v ti Av i, i d, uniquely describes T up to GL(V )-conjugacy. Observe that, in the notation of Steps and 2, K = C K (σ ) s = E nt, so V = L t = ( K deg µ ) t = E nt2 deg µ. PROOF OF THEOREM.. We are given a vector space V of size n = p r over the prime field GF( p). We will imitate the preceding proposition in order to construct semilinear transformations over subfields of End(V ) that include all irreducible ones but also include many others. Thus, we will need a decomposition (3.2), a subfield L of End(V ) implicit in the statement of Proposition 3., a field K, automorphisms of K and L (see Step 2 of the proposition), and a semilinear transformation T = T t V on V.

5 [5] Semifields arising from irreducible semilinear transformations 337 Choose a factorization r = te with e > and t e; the number of these factorizations is the number τ(r) of positive divisors of r other than. Fix a decomposition (3.2) of V into subspaces V i of size p e. Fix a subfield L = GF(p e ) of End(V ), so that V is an L-vector space. Given e, all such decompositions and fields are GL(r, p)- conjugate. Choose a subfield K GF(p) of L. Choose σ Aut(L) such that σ K has order divisible by t. Let ρ := σ t. (Thus, σ := σ K Aut(K ) and ρ Aut(L) satisfy σ t = ρ K, as required in Step 2 of the proof of Proposition 3.. According to that step we should also require that σ t = ρ, but we will ignore this restriction in our estimates.) Extend the action of K from V in order to make V and all V i vector spaces over K. All such extensions are GL(r, p)-conjugate. Choose l L, and let T End(V ) be v lv ρ, v V (see Proposition 3.). We can restrict the choice of l as follows. If M a : v av, a L, then M a T M a : v la ρ v ρ. Since we require different conjugacy classes of transformations T, we can restrict l to a set (e, ρ) of L /(L ) ρ = C L (ρ) = p e/ ρ coset representatives of (L ) ρ in L. Up to conjugacy in GL(r, p), the choices made above uniquely determine T = T t V, and hence also T by the last part of Proposition 3.. (However, we emphasize that a σ -semilinear map obtained in this manner need not be irreducible on V K.) Thus, the number of GL(r, p)-conjugacy classes of pairs K, T, with T an irreducible K -semilinear transformation that is not linear is at most (e, σ t ) (#K L, σ K ). (3.3) e r,e σ There are τ(r) choices for e and L, and then at most e choices for σ, at most τ(e) subfields K, and p e/ ρ elements in (e, ρ), where again ρ = σ t. Clearly, p e/ ρ dominates the corresponding term in (3.3). This is at most p r/3 unless σ has order 2 and either (i) L = p r, t =, ρ = σ has order 2 and (e, ρ) = p r/2 ; or (ii) L = p r/2, t = 2, ρ =, σ = 2 and (e, ρ) = p r/2. Possibilities (i) and (ii) together contribute at most 2(p r/2 )(τ(r) τ(r/2)) to (3.3). Then (3.3) is easily bounded as required in the theorem if r is not too small, leaving a few cases to be handled by a slightly more detailed and tedious examination of (3.3). 4. Concluding remarks We conclude with some elementary observations concerning the semifields S T and our arguments.

6 338 W. M. Kantor and R. A. Liebler [6] REMARK 4.. Note that π kt = πt, π T +k I = πt and π T = π T for all k K, since S kt = S T, S T +k I = S T and S T T d = S T. Thus, as in the desarguesian case, there are isomorphisms among the planes π T that do not arise from conjugate semilinear transformations. REMARK 4.2. As in Section 2, if we fix e V then we obtain a presemifield operation on V from S T via a b = g(a)(b), a, b V, using the additive isomorphism g : V S T defined by g(a(e)) = A for A S T. Then A(e) v = A(v) for all A S T, v V, gives a simple description of our operation. In fact, this turns V into a semifield with identity element e, since e v = I (e) v = I (v) and A(e) e = A(e) for all v and A. REMARK 4.3. It is straightforward to extend the action of L in Proposition 3. from V to all of V so as to make all V i into -dimensional L-spaces. However, as has been pointed out to us by Dempwolff via an example [3], there can be irreducible semilinear transformations over K that are not semilinear over any such extension field L. Nevertheless, a simple way to obtain a candidate for an irreducible σ -semilinear map on a vector space V over a field K is to use σ -semilinearity together with the requirement T : v v 2 v t mv (4.) for some basis {v,..., v t } of V and some m K. If t > in (4.), it is easy to check that the corresponding semilinear map has no invariant -space if and only if m / K +σ + +σ t. In this case, if t = 2 then the corresponding semifield was discovered by Knuth [7]. REMARK 4.4. Similarly, we can obtain many irreducible semilinear transformations by assuming σ -semilinearity in (4.). PROPOSITION 4.2. Let V be a vector space over K with basis v,..., v t, and let σ Aut(K ) and ρ = σ t. If m K with m σ j / K ρ for j < t, then (4.) defines an irreducible σ -semilinear transformation on V with associated field automorphism σ. PROOF. Suppose that W is a nonzero T -invariant subspace of V. Let t k i v i W, k i K, with the minimum number of k i. Using T we may assume that k =. By (4.) and the fact that W is T t -invariant, ( t ) t t T t k i v i m k i v i = (k ρ i mσ i v i k i mv i ) 2 lies in W and has smaller support, and hence is zero. Then k ρ i mσ i = k i m for 2 i t. If some such k i then m σ i = /(k ρ i ), contradicting our condition on m.

7 [7] Semifields arising from irreducible semilinear transformations 339 Thus, v W. Applying T shows that all v i W, so that W = V. REMARK 4.5. We conclude with a very elementary but weaker version of Theorem. (compare to [6, Theorem 6.2]) having a less informative proof. PROPOSITION 4.3. Given a vector space V of size n over a prime field GF(p), there are fewer than n log 2 p n conjugacy classes of pairs (K, T ) consisting of a field K End(V ) over which V is a vector space and an irreducible semilinear transformation T on V K. PROOF. Let d = dim K V. Let T be an irreducible σ -semilinear transformation of V K. Fix a nonzero vector v. Then {T i (v) i < d} is a basis of V (in Section 2 we saw that d k i T i (v) =, k i K, implies that all k i = ). Write T d (v) = d k i T i (v) with k i K. Since T i (kv) = k σ i T i (v) for each i and each k K, the k i completely determine T. Thus, T is determined by the following choices: a field K = GF(p e ) over which V is a vector space, an automorphism σ of K, and a choice of d = r/e elements k i K, where V = p r. There are at most r divisors e of r, at most e choices for σ, and then V choices for the k i. Choosing a K -basis of V amounts to conjugating in GL(V K ) and hence in GL(r, p). Consequently, the number of GF( p)-conjugacy classes of pairs (K, T ) is less than rr V = V log 2 p V, as required. Unlike in the proof of Proposition 3., this argument used all K d = p r possible d-tuples (k,..., k d ), which is independent of the choice of K and σ. Acknowledgement We are grateful to U. Dempwolff for very helpful comments. References [] P. Dembowski, Finite Geometries (Springer, Berlin, 968). [2] U. Dempwolff, Normalformen semilinearer operatoren, Math. Semesterber. 46 (999), [3], Private communication, 28. [4] N. Jacobson, Pseudo-linear transformations, Ann. Math. 38 (943), [5] V. Jha and N. L. Johnson, An analog of the Albert Knuth theorem on the orders of finite semifields, and a complete solution to Cofman s subplane problem, Algebras Groups Geom. 6 (989), 35. [6] W. M. Kantor, Finite semifields, in: Finite Geometries, Groups, and Computation, Proc. Conf., Pingree Park, CO, September 25 (eds. A. Hulpke et al.) (de Gruyter, Berlin, 26), pp [7] D. E. Knuth, Finite semifields and projective planes, J. Algebra 2 (965), WILLIAM M. KANTOR, Department of Mathematics, University of Oregon, Eugene, OR 9743, USA kantor@math.uoregon.edu ROBERT A. LIEBLER, Department of Mathematics, Colorado State University, Fort Collins, CO 8523, USA liebler@math.colostate.edu

arxiv: v1 [math.co] 2 Dec 2015

arxiv: v1 [math.co] 2 Dec 2015 CYCLIC ELLIPTIC SPREADS arxiv:1512.861v1 [math.co] 2 Dec 215 W. M. KANTOR Abstract. Moderately large numbers of transitive elliptic spreads are constructed in characteristic 2 and dimension 2 (mod 4).

More information

Math 250: Higher Algebra Representations of finite groups

Math 250: Higher Algebra Representations of finite groups Math 250: Higher Algebra Representations of finite groups 1 Basic definitions Representations. A representation of a group G over a field k is a k-vector space V together with an action of G on V by linear

More information

COMMUTATIVE PRESEMIFIELDS AND SEMIFIELDS

COMMUTATIVE PRESEMIFIELDS AND SEMIFIELDS COMMUTATIVE PRESEMIFIELDS AND SEMIFIELDS ROBERT S. COULTER AND MARIE HENDERSON Abstract. Strong conditions are derived for when two commutative presemifields are isotopic. It is then shown that any commutative

More information

On finite semifelds of prime degree. equivalence classifcation of subspaces of invertible matrices

On finite semifelds of prime degree. equivalence classifcation of subspaces of invertible matrices On finite semifields of prime degree and the equivalence classifcation of subspaces of invertible matrices John Sheekey Rod Gow Claude Shannon Institute School of Mathematical Science University College

More information

Irreducible subgroups of algebraic groups

Irreducible subgroups of algebraic groups Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland

More information

COMMUTATIVE SEMIFIELDS OF ORDER 243 AND 3125

COMMUTATIVE SEMIFIELDS OF ORDER 243 AND 3125 COMMUTATIVE SEMIFIELDS OF ORDER 243 AND 3125 ROBERT S. COULTER AND PAMELA KOSICK Abstract. This note summarises a recent search for commutative semifields of order 243 and 3125. For each of these two orders,

More information

INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II

INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II J. M.

More information

The expected number of random elements to generate a finite group by Alexander Lubotzky

The expected number of random elements to generate a finite group by Alexander Lubotzky The expected number of random elements to generate a finite group by Alexander Lubotzky To John Thompson Let G be a finite group with a minimal number of generators d = d(g). If one chooses random elements

More information

THE CLASSIFICATION OF PLANAR MONOMIALS OVER FIELDS OF PRIME SQUARE ORDER

THE CLASSIFICATION OF PLANAR MONOMIALS OVER FIELDS OF PRIME SQUARE ORDER THE CLASSIFICATION OF PLANAR MONOMIALS OVER FIELDS OF PRIME SQUARE ORDER ROBERT S COULTER Abstract Planar functions were introduced by Dembowski and Ostrom in [3] to describe affine planes possessing collineation

More information

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is

More information

Parameterizing orbits in flag varieties

Parameterizing orbits in flag varieties Parameterizing orbits in flag varieties W. Ethan Duckworth April 2008 Abstract In this document we parameterize the orbits of certain groups acting on partial flag varieties with finitely many orbits.

More information

August 2015 Qualifying Examination Solutions

August 2015 Qualifying Examination Solutions August 2015 Qualifying Examination Solutions If you have any difficulty with the wording of the following problems please contact the supervisor immediately. All persons responsible for these problems,

More information

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009)

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009) These are errata for the Third Edition of the book. Errata from previous editions have been fixed

More information

TROPICAL SCHEME THEORY

TROPICAL SCHEME THEORY TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),

More information

VARIATIONS ON THE BAER SUZUKI THEOREM. 1. Introduction

VARIATIONS ON THE BAER SUZUKI THEOREM. 1. Introduction VARIATIONS ON THE BAER SUZUKI THEOREM ROBERT GURALNICK AND GUNTER MALLE Dedicated to Bernd Fischer on the occasion of his 75th birthday Abstract. The Baer Suzuki theorem says that if p is a prime, x is

More information

1 Fields and vector spaces

1 Fields and vector spaces 1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary

More information

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition).

Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Selected exercises from Abstract Algebra by Dummit and Foote (3rd edition). Bryan Félix Abril 12, 2017 Section 14.2 Exercise 3. Determine the Galois group of (x 2 2)(x 2 3)(x 2 5). Determine all the subfields

More information

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

Some practice problems for midterm 2

Some practice problems for midterm 2 Some practice problems for midterm 2 Kiumars Kaveh November 14, 2011 Problem: Let Z = {a G ax = xa, x G} be the center of a group G. Prove that Z is a normal subgroup of G. Solution: First we prove Z is

More information

Polynomial and Inverse Forms

Polynomial and Inverse Forms Contemporary Mathematics Polynomial and Inverse Forms D. S. Passman Abstract. In a recent paper, this author studied invariant ideals in abelian group algebras under the action of certain infinite, locally

More information

SEMI-INVARIANTS AND WEIGHTS OF GROUP ALGEBRAS OF FINITE GROUPS. D. S. Passman P. Wauters University of Wisconsin-Madison Limburgs Universitair Centrum

SEMI-INVARIANTS AND WEIGHTS OF GROUP ALGEBRAS OF FINITE GROUPS. D. S. Passman P. Wauters University of Wisconsin-Madison Limburgs Universitair Centrum SEMI-INVARIANTS AND WEIGHTS OF GROUP ALGEBRAS OF FINITE GROUPS D. S. Passman P. Wauters University of Wisconsin-Madison Limburgs Universitair Centrum Abstract. We study the semi-invariants and weights

More information

Math 145. Codimension

Math 145. Codimension Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in

More information

Polynomials with nontrivial relations between their roots

Polynomials with nontrivial relations between their roots ACTA ARITHMETICA LXXXII.3 (1997) Polynomials with nontrivial relations between their roots by John D. Dixon (Ottawa, Ont.) 1. Introduction. Consider an irreducible polynomial f(x) over a field K. We are

More information

TC10 / 3. Finite fields S. Xambó

TC10 / 3. Finite fields S. Xambó TC10 / 3. Finite fields S. Xambó The ring Construction of finite fields The Frobenius automorphism Splitting field of a polynomial Structure of the multiplicative group of a finite field Structure of the

More information

BENT FUNCTIONS AND SPREADS

BENT FUNCTIONS AND SPREADS BENT FUNCTIONS AND SPREADS 7/23/15 WILLIAM M. KANTOR Abstract. This note is a response to a request by Claude Carlet for a brief summary of some of what is known about spreads for use in John Dillon s

More information

COLLAPSING PERMUTATION GROUPS

COLLAPSING PERMUTATION GROUPS COLLAPSING PERMUTATION GROUPS KEITH A. KEARNES AND ÁGNES SZENDREI Abstract. It is shown in [3] that any nonregular quasiprimitive permutation group is collapsing. In this paper we describe a wider class

More information

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792 Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838

More information

Pacific Journal of Mathematics

Pacific Journal of Mathematics Pacific Journal of Mathematics INVERSION INVARIANT ADDITIVE SUBGROUPS OF DIVISION RINGS DANIEL GOLDSTEIN, ROBERT M. GURALNICK, LANCE SMALL AND EFIM ZELMANOV Volume 227 No. 2 October 2006 PACIFIC JOURNAL

More information

Rank 3 Latin square designs

Rank 3 Latin square designs Rank 3 Latin square designs Alice Devillers Université Libre de Bruxelles Département de Mathématiques - C.P.216 Boulevard du Triomphe B-1050 Brussels, Belgium adevil@ulb.ac.be and J.I. Hall Department

More information

FINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN

FINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN FINITELY GENERATED SIMPLE ALGEBRAS: A QUESTION OF B. I. PLOTKIN A. I. LICHTMAN AND D. S. PASSMAN Abstract. In his recent series of lectures, Prof. B. I. Plotkin discussed geometrical properties of the

More information

Galois Theory and the Insolvability of the Quintic Equation

Galois Theory and the Insolvability of the Quintic Equation Galois Theory and the Insolvability of the Quintic Equation Daniel Franz 1. Introduction Polynomial equations and their solutions have long fascinated mathematicians. The solution to the general quadratic

More information

A linear algebra proof of the fundamental theorem of algebra

A linear algebra proof of the fundamental theorem of algebra A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional

More information

Primitive arcs in P G(2, q)

Primitive arcs in P G(2, q) Primitive arcs in P G(2, q) L. Storme H. Van Maldeghem December 14, 2010 Abstract We show that a complete arc K in the projective plane P G(2, q) admitting a transitive primitive group of projective transformations

More information

How to sharpen a tridiagonal pair

How to sharpen a tridiagonal pair How to sharpen a tridiagonal pair Tatsuro Ito and Paul Terwilliger arxiv:0807.3990v1 [math.ra] 25 Jul 2008 Abstract Let F denote a field and let V denote a vector space over F with finite positive dimension.

More information

On a question of B.H. Neumann

On a question of B.H. Neumann On a question of B.H. Neumann Robert Guralnick Department of Mathematics University of Southern California E-mail: guralnic@math.usc.edu Igor Pak Department of Mathematics Massachusetts Institute of Technology

More information

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

φ(xy) = (xy) n = x n y n = φ(x)φ(y) Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =

More information

55 Separable Extensions

55 Separable Extensions 55 Separable Extensions In 54, we established the foundations of Galois theory, but we have no handy criterion for determining whether a given field extension is Galois or not. Even in the quite simple

More information

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018)

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018) ERRATA Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on February 14, 2018) These are errata for the Third Edition of the book. Errata from previous editions have been

More information

Skew Cyclic Codes Of Arbitrary Length

Skew Cyclic Codes Of Arbitrary Length Skew Cyclic Codes Of Arbitrary Length Irfan Siap Department of Mathematics, Adıyaman University, Adıyaman, TURKEY, isiap@adiyaman.edu.tr Taher Abualrub Department of Mathematics and Statistics, American

More information

Math 594. Solutions 5

Math 594. Solutions 5 Math 594. Solutions 5 Book problems 6.1: 7. Prove that subgroups and quotient groups of nilpotent groups are nilpotent (your proof should work for infinite groups). Give an example of a group G which possesses

More information

A NOTE ON SIMPLE DOMAINS OF GK DIMENSION TWO

A NOTE ON SIMPLE DOMAINS OF GK DIMENSION TWO A NOTE ON SIMPLE DOMAINS OF GK DIMENSION TWO JASON P. BELL Abstract. Let k be a field. We show that a finitely generated simple Goldie k-algebra of quadratic growth is noetherian and has Krull dimension

More information

GALOIS THEORY BRIAN OSSERMAN

GALOIS THEORY BRIAN OSSERMAN GALOIS THEORY BRIAN OSSERMAN Galois theory relates the theory of field extensions to the theory of groups. It provides a powerful tool for studying field extensions, and consequently, solutions to polynomial

More information

MATH 326: RINGS AND MODULES STEFAN GILLE

MATH 326: RINGS AND MODULES STEFAN GILLE MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called

More information

THE NUMBER OF INVARIANT SUBSPACES UNDER A LINEAR OPERATOR ON FINITE VECTOR SPACES

THE NUMBER OF INVARIANT SUBSPACES UNDER A LINEAR OPERATOR ON FINITE VECTOR SPACES Advances in Mathematics of Communications Volume 5, No. 2, 2011, 407 416 Web site: http://www.aimsciences.org THE NUMBER OF INVARIANT SUBSPACES UNDER A LINEAR OPERATOR ON FINITE VECTOR SPACES This work

More information

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008

ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely

More information

The Outer Automorphism of S 6

The Outer Automorphism of S 6 Meena Jagadeesan 1 Karthik Karnik 2 Mentor: Akhil Mathew 1 Phillips Exeter Academy 2 Massachusetts Academy of Math and Science PRIMES Conference, May 2016 What is a Group? A group G is a set of elements

More information

arxiv: v1 [math.rt] 14 Nov 2007

arxiv: v1 [math.rt] 14 Nov 2007 arxiv:0711.2128v1 [math.rt] 14 Nov 2007 SUPPORT VARIETIES OF NON-RESTRICTED MODULES OVER LIE ALGEBRAS OF REDUCTIVE GROUPS: CORRIGENDA AND ADDENDA ALEXANDER PREMET J. C. Jantzen informed me that the proof

More information

ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS

ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS ON RIGIDITY OF ALGEBRAIC DYNAMICAL SYSTEMS ALEX CLARK AND ROBBERT FOKKINK Abstract. We study topological rigidity of algebraic dynamical systems. In the first part of this paper we give an algebraic condition

More information

1. Group Theory Permutations.

1. Group Theory Permutations. 1.1. Permutations. 1. Group Theory Problem 1.1. Let G be a subgroup of S n of index 2. Show that G = A n. Problem 1.2. Find two elements of S 7 that have the same order but are not conjugate. Let π S 7

More information

A linear algebra proof of the fundamental theorem of algebra

A linear algebra proof of the fundamental theorem of algebra A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional

More information

How many units can a commutative ring have?

How many units can a commutative ring have? How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the

More information

THE ARTIN-SCHREIER THEOREM KEITH CONRAD

THE ARTIN-SCHREIER THEOREM KEITH CONRAD THE ARTIN-SCHREIER THEOREM KEITH CONRAD 1. Introduction The algebraic closure of R is C, which is a finite extension. Are there other fields which are not algebraically closed but have an algebraic closure

More information

UNIVERSITÀ DEGLI STUDI DI ROMA LA SAPIENZA. Semifield spreads

UNIVERSITÀ DEGLI STUDI DI ROMA LA SAPIENZA. Semifield spreads UNIVERSITÀ DEGLI STUDI DI ROMA LA SAPIENZA Semifield spreads Giuseppe Marino and Olga Polverino Quaderni Elettronici del Seminario di Geometria Combinatoria 24E (Dicembre 2007) http://www.mat.uniroma1.it/~combinat/quaderni

More information

Subgeometry partitions from cyclic semifields

Subgeometry partitions from cyclic semifields Note di Matematica Note Mat. 1(2008), 125-140 ISSN 1123-2536, e-issn 1590-0932 DOI 10.1285/i15900932v28n1p125 Note http://siba2.unile.it/notemat di Matematica 28, n. 1, 2008, 125 140. Subgeometry partitions

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,

More information

arxiv: v4 [math.gr] 17 Jun 2015

arxiv: v4 [math.gr] 17 Jun 2015 On finite groups all of whose cubic Cayley graphs are integral arxiv:1409.4939v4 [math.gr] 17 Jun 2015 Xuanlong Ma and Kaishun Wang Sch. Math. Sci. & Lab. Math. Com. Sys., Beijing Normal University, 100875,

More information

Algebra Homework, Edition 2 9 September 2010

Algebra Homework, Edition 2 9 September 2010 Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.

More information

LOCALLY ELUSIVE CLASSICAL GROUPS. 1. Introduction

LOCALLY ELUSIVE CLASSICAL GROUPS. 1. Introduction LOCALLY ELUSIVE CLASSICAL GROUPS TIMOTHY C. BURNESS AND MICHAEL GIUDICI Abstract. Let G be a transitive permutation group of degree n with point stabiliser H and let r be a prime divisor of n. We say that

More information

Galois fields/1. (M3) There is an element 1 (not equal to 0) such that a 1 = a for all a.

Galois fields/1. (M3) There is an element 1 (not equal to 0) such that a 1 = a for all a. Galois fields 1 Fields A field is an algebraic structure in which the operations of addition, subtraction, multiplication, and division (except by zero) can be performed, and satisfy the usual rules. More

More information

Maximal non-commuting subsets of groups

Maximal non-commuting subsets of groups Maximal non-commuting subsets of groups Umut Işık March 29, 2005 Abstract Given a finite group G, we consider the problem of finding the maximal size nc(g) of subsets of G that have the property that no

More information

THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL LIE ALGEBRAS

THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL LIE ALGEBRAS Trudy Moskov. Matem. Obw. Trans. Moscow Math. Soc. Tom 67 (2006) 2006, Pages 225 259 S 0077-1554(06)00156-7 Article electronically published on December 27, 2006 THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL

More information

A connection between number theory and linear algebra

A connection between number theory and linear algebra A connection between number theory and linear algebra Mark Steinberger Contents 1. Some basics 1 2. Rational canonical form 2 3. Prime factorization in F[x] 4 4. Units and order 5 5. Finite fields 7 6.

More information

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ).

Lemma 1.1. The field K embeds as a subfield of Q(ζ D ). Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms

More information

ON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS

ON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS 1 ON THE RESIDUALITY A FINITE p-group OF HN N-EXTENSIONS D. I. Moldavanskii arxiv:math/0701498v1 [math.gr] 18 Jan 2007 A criterion for the HNN-extension of a finite p-group to be residually a finite p-group

More information

Computational Approaches to Finding Irreducible Representations

Computational Approaches to Finding Irreducible Representations Computational Approaches to Finding Irreducible Representations Joseph Thomas Research Advisor: Klaus Lux May 16, 2008 Introduction Among the various branches of algebra, linear algebra has the distinctions

More information

THE MULTIPLICATIVE LOOPS OF JHA-JOHNSON SEMIFIELDS

THE MULTIPLICATIVE LOOPS OF JHA-JOHNSON SEMIFIELDS THE MULTIPLICATIVE LOOPS OF JHA-JOHNSON SEMIFIELDS S. PUMPLÜN Abstract. The multiplicative loops of Jha-Johnson semifields are non-automorphic finite loops whose left and right nuclei are the multiplicative

More information

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11

MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 MATH 101A: ALGEBRA I, PART D: GALOIS THEORY 11 3. Examples I did some examples and explained the theory at the same time. 3.1. roots of unity. Let L = Q(ζ) where ζ = e 2πi/5 is a primitive 5th root of

More information

Rings. EE 387, Notes 7, Handout #10

Rings. EE 387, Notes 7, Handout #10 Rings EE 387, Notes 7, Handout #10 Definition: A ring is a set R with binary operations, + and, that satisfy the following axioms: 1. (R, +) is a commutative group (five axioms) 2. Associative law for

More information

Classifying Camina groups: A theorem of Dark and Scoppola

Classifying Camina groups: A theorem of Dark and Scoppola Classifying Camina groups: A theorem of Dark and Scoppola arxiv:0807.0167v5 [math.gr] 28 Sep 2011 Mark L. Lewis Department of Mathematical Sciences, Kent State University Kent, Ohio 44242 E-mail: lewis@math.kent.edu

More information

GALOIS GROUPS AS PERMUTATION GROUPS

GALOIS GROUPS AS PERMUTATION GROUPS GALOIS GROUPS AS PERMUTATION GROUPS KEITH CONRAD 1. Introduction A Galois group is a group of field automorphisms under composition. By looking at the effect of a Galois group on field generators we can

More information

1 Finite abelian groups

1 Finite abelian groups Last revised: May 16, 2014 A.Miller M542 www.math.wisc.edu/ miller/ Each Problem is due one week from the date it is assigned. Do not hand them in early. Please put them on the desk in front of the room

More information

Modern Algebra I. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

Modern Algebra I. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1 2 3 style total Math 415 Please print your name: Answer Key 1 True/false Circle the correct answer; no explanation is required. Each problem in this section counts 5 points. 1. Every group of order 6

More information

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u. 5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field

More information

INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS

INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS INTRODUCTION TO REPRESENTATION THEORY AND CHARACTERS HANMING ZHANG Abstract. In this paper, we will first build up a background for representation theory. We will then discuss some interesting topics in

More information

Longest element of a finite Coxeter group

Longest element of a finite Coxeter group Longest element of a finite Coxeter group September 10, 2015 Here we draw together some well-known properties of the (unique) longest element w in a finite Coxeter group W, with reference to theorems and

More information

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

More information

Problems in Linear Algebra and Representation Theory

Problems in Linear Algebra and Representation Theory Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific

More information

On the generation of the coefficient field of a newform by a single Hecke eigenvalue

On the generation of the coefficient field of a newform by a single Hecke eigenvalue On the generation of the coefficient field of a newform by a single Hecke eigenvalue Koopa Tak-Lun Koo and William Stein and Gabor Wiese November 2, 27 Abstract Let f be a non-cm newform of weight k 2

More information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

Rohit Garg Roll no Dr. Deepak Gumber

Rohit Garg Roll no Dr. Deepak Gumber FINITE -GROUPS IN WHICH EACH CENTRAL AUTOMORPHISM FIXES THE CENTER ELEMENTWISE Thesis submitted in partial fulfillment of the requirement for the award of the degree of Masters of Science In Mathematics

More information

A classification of sharp tridiagonal pairs. Tatsuro Ito, Kazumasa Nomura, Paul Terwilliger

A classification of sharp tridiagonal pairs. Tatsuro Ito, Kazumasa Nomura, Paul Terwilliger Tatsuro Ito Kazumasa Nomura Paul Terwilliger Overview This talk concerns a linear algebraic object called a tridiagonal pair. We will describe its features such as the eigenvalues, dual eigenvalues, shape,

More information

Finite Fields: An introduction through exercises Jonathan Buss Spring 2014

Finite Fields: An introduction through exercises Jonathan Buss Spring 2014 Finite Fields: An introduction through exercises Jonathan Buss Spring 2014 A typical course in abstract algebra starts with groups, and then moves on to rings, vector spaces, fields, etc. This sequence

More information

CANONICAL FORMS FOR LINEAR TRANSFORMATIONS AND MATRICES. D. Katz

CANONICAL FORMS FOR LINEAR TRANSFORMATIONS AND MATRICES. D. Katz CANONICAL FORMS FOR LINEAR TRANSFORMATIONS AND MATRICES D. Katz The purpose of this note is to present the rational canonical form and Jordan canonical form theorems for my M790 class. Throughout, we fix

More information

Linear and Bilinear Algebra (2WF04) Jan Draisma

Linear and Bilinear Algebra (2WF04) Jan Draisma Linear and Bilinear Algebra (2WF04) Jan Draisma CHAPTER 3 The minimal polynomial and nilpotent maps 3.1. Minimal polynomial Throughout this chapter, V is a finite-dimensional vector space of dimension

More information

Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

Groups, Rings, and Finite Fields. Andreas Klappenecker. September 12, 2002

Groups, Rings, and Finite Fields. Andreas Klappenecker. September 12, 2002 Background on Groups, Rings, and Finite Fields Andreas Klappenecker September 12, 2002 A thorough understanding of the Agrawal, Kayal, and Saxena primality test requires some tools from algebra and elementary

More information

ON RIGHT S-NOETHERIAN RINGS AND S-NOETHERIAN MODULES

ON RIGHT S-NOETHERIAN RINGS AND S-NOETHERIAN MODULES ON RIGHT S-NOETHERIAN RINGS AND S-NOETHERIAN MODULES ZEHRA BİLGİN, MANUEL L. REYES, AND ÜNSAL TEKİR Abstract. In this paper we study right S-Noetherian rings and modules, extending notions introduced by

More information

22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points.

22M: 121 Final Exam. Answer any three in this section. Each question is worth 10 points. 22M: 121 Final Exam This is 2 hour exam. Begin each question on a new sheet of paper. All notations are standard and the ones used in class. Please write clearly and provide all details of your work. Good

More information

Definable henselian valuation rings

Definable henselian valuation rings Definable henselian valuation rings Alexander Prestel Abstract We give model theoretic criteria for the existence of and - formulas in the ring language to define uniformly the valuation rings O of models

More information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

MAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems.

MAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems. MAT534 Fall 2013 Practice Midterm I The actual midterm will consist of five problems. Problem 1 Find all homomorphisms a) Z 6 Z 6 ; b) Z 6 Z 18 ; c) Z 18 Z 6 ; d) Z 12 Z 15 ; e) Z 6 Z 25 Proof. a)ψ(1)

More information

REPRESENTATIONS OF S n AND GL(n, C)

REPRESENTATIONS OF S n AND GL(n, C) REPRESENTATIONS OF S n AND GL(n, C) SEAN MCAFEE 1 outline For a given finite group G, we have that the number of irreducible representations of G is equal to the number of conjugacy classes of G Although

More information

Automorphism Groups of Simple Moufang Loops over Perfect Fields

Automorphism Groups of Simple Moufang Loops over Perfect Fields Automorphism Groups of Simple Moufang Loops over Perfect Fields By GÁBOR P. NAGY SZTE Bolyai Institute Aradi vértanúk tere 1, H-6720 Szeged, Hungary e-mail: nagyg@math.u-szeged.hu PETR VOJTĚCHOVSKÝ Department

More information

Integral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract

Integral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract Integral Similarity and Commutators of Integral Matrices Thomas J. Laffey and Robert Reams (University College Dublin, Ireland) Abstract Let F be a field, M n (F ) the algebra of n n matrices over F and

More information

Bulletin of the Iranian Mathematical Society

Bulletin of the Iranian Mathematical Society ISSN: 1017-060X (Print) ISSN: 1735-8515 (Online) Special Issue of the Bulletin of the Iranian Mathematical Society in Honor of Professor Heydar Radjavi s 80th Birthday Vol 41 (2015), No 7, pp 155 173 Title:

More information

A Little Beyond: Linear Algebra

A Little Beyond: Linear Algebra A Little Beyond: Linear Algebra Akshay Tiwary March 6, 2016 Any suggestions, questions and remarks are welcome! 1 A little extra Linear Algebra 1. Show that any set of non-zero polynomials in [x], no two

More information

Name: Solutions Final Exam

Name: Solutions Final Exam Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] For

More information

D-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings

D-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings D-MATH Algebra I HS 2013 Prof. Brent Doran Exercise 11 Rings: definitions, units, zero divisors, polynomial rings 1. Show that the matrices M(n n, C) form a noncommutative ring. What are the units of M(n

More information

Journal of Combinatorial Theory, Series A

Journal of Combinatorial Theory, Series A Journal of Combinatorial Theory, Series A 116 (2009) 1080 1086 Contents lists available at ScienceDirect Journal of Combinatorial Theory, Series A www.elsevier.com/locate/jcta Note Quasifields of symplectic

More information