Source author record

Fernando Szechtman

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RT math.RA math.GR math-ph math.MP

Catalog footprint

Research overview

29works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

The automorphism group of certain 3-generator $p$ -groups

A presentation as well as a structural description of the automorphism group of a family of 3-generator finite $p$ -groups is given, $p$ being an odd prime.

preprint2020arXiv

Nilpotency degree of the nilradical of a solvable Lie algebra on two generators

Given a sequence $\vec d=(d_1,\dots,d_k)$ of natural numbers, we consider the Lie subalgebra $\mathfrak{h}$ of $\mathfrak{gl}(d,\mathbb{F})$ , where $d=d_1+\cdots +d_k$ and $\mathbb{F}$ is a field of characteristic 0, generated by two block upper triangular matrices $D$ and $E$ partitioned according to $\vec d$ , and study the problem of computing the nilpotency degree $m$ of the nilradical $\mathfrak{n}$ of $\mathfrak{h}$ . We obtain a complete answer when $D$ and $E$ belong to a certain family of matrices that arises naturally when attempting to classify the indecomposable modules of certain solvable Lie algebras. Our determination of $m$ depends in an essential manner on the symmetry of $E$ with respect to an outer automorphism of $\mathfrak{sl}(d)$ . The proof that $m$ depends solely on this symmetry is long and delicate. As a direct application of our investigations on $\mathfrak{h}$ and $\mathfrak{n}$ we give a full classification of all uniserial modules of an extension of the free $\ell$ -step nilpotent Lie algebra on $n$ generators when $\mathbb{F}$ is algebraically closed.

preprint2016arXiv

Classification of finite dimensional uniserial representations of conformal Galilei algebras

With the aid of the $6j$ -symbol, we classify all uniserial modules of $\mathfrak{sl}(2)\ltimes \mathfrak{h}_{n}$ , where $\mathfrak{h}_{n}$ is the Heisenberg Lie algebra of dimension $2n+1$ .

preprint2016arXiv

Groups having a faithful irreducible representation

We address the problem of finding necessary and sufficient conditions for an arbitrary group, not necessarily finite, to admit a faithful irreducible representation over an arbitrary field.

preprint2016arXiv

Irreducible representations of unipotent subgroups of symplectic and unitary groups defined over rings

Let $A$ be a ring with $1\neq 0$ , not necessarily finite, endowed with an involution~ $*$ , that is, an anti-automorphism of order $\leq 2$ . Let $H_n(A)$ be the additive group of all $n\times n$ hermitian matrices over $A$ relative to $*$ . Let ${\mathcal U}_n(A)$ be the subgroup of $\mathrm{GL}_n(A)$ of all upper triangular matrices with 1's along the main diagonal. Let $P=H_n(A)\rtimes {\mathcal U}_n(A)$ , where ${\mathcal U}_n(A)$ acts on $H_n(A)$ by $*$ -congruence transformations. We may view $P$ as a unipotent subgroup of either a symplectic group $\mathrm{Sp}_{2n}(A)$ , if $*=1_A$ (in which case $A$ is commutative), or a unitary group $\mathrm{U}_{2n}(A)$ if $*\neq 1_A$ . In this paper we construct and classify a family of irreducible representations of $P$ over a field $F$ that is essentially arbitrary. In particular, when $A$ is finite and $F=\mathbb C$ we obtain irreducible representations of $P$ of the highest possible degree.

preprint2016arXiv

On infinite groups admitting a faithful irreducible representation

Necessary and sufficient conditions for a group to possess a faithful irreducible representation are investigated

preprint2016arXiv

Representations of McLain groups

Basic modules of McLain groups $M=M(Λ,\leq, R)$ are defined and investigated. These are (possibly infinite dimensional) analogues of André's supercharacters of $U_n(q)$ . The ring $R$ need not be finite or commutative and the field underlying our representations is essentially arbitrary: we deal with all characteristics, prime or zero, on an equal basis. The set $Λ$ , totally ordered by $\leq$ , is allowed to be infinite. We show that distinct basic modules are disjoint, determine the dimension of the endomorphism algebra of a basic module, find when a basic module is irreducible, and exhibit a full decomposition of a basic module as direct sum of irreducible submodules, including their multiplicities. Several examples of this decomposition are presented, and a criterion for a basic module to be multiplicity-free is given. In general, not every irreducible module of a McLain group is a constituent of a basic module.

preprint2015arXiv

Clifford theory for infinite dimensional modules

Clifford theory of possibly infinite dimensional modules is studied

preprint2015arXiv

On the splitting ring of a polynomial

Let $f(Z)=Z^n-a_{1}Z^{n-1}+\cdots+(-1)^{n-1}a_{n-1}Z+(-1)^na_n$ be a monic polynomial with coefficients in a ring~ $R$ with identity, not necessarily commutative. We study the ideal $I_f$ of $R[X_1,\dots,X_n]$ generated by $σ_i(X_1,\dots,X_n)-a_{i}$ , where $σ_1,\dots,σ_n$ are the elementary symmetric polynomials, as well as the quotient ring $R[X_1,\dots,X_n]/I_f$ .

preprint2014arXiv

Classification of linked indecomposable modules of a family of solvable Lie algebras over an arbitrary field of characteristic 0

Let ${\mathfrak g}$ be a finite dimensional Lie algebra over a field of characteristic 0, with solvable radical ${\mathfrak r}$ and nilpotent radical ${\mathfrak n}=[{\mathfrak g},{\mathfrak r}]$ . Given a finite dimensional ${\mathfrak g}$ -module $U$ , its nilpotency series $0\subset U({\mathfrak n}^1)\subset\cdots\subset U({\mathfrak n}^m)=U$ is defined so that $U({\mathfrak n}^1)$ is the 0-weight space of ${\mathfrak n}$ in $U$ , $U({\mathfrak n}^2)/U({\mathfrak n}^1)$ is the 0-weight space of ${\mathfrak n}$ in $U/U({\mathfrak n}^1)$ , and so on. We say that $U$ is linked if each factor of its nilpotency series is a uniserial ${\mathfrak g}/{\mathfrak n}$ -module, i.e., its ${\mathfrak g}/{\mathfrak n}$ -submodules form a chain. Every uniserial ${\mathfrak g}$ -module is linked, every linked ${\mathfrak g}$ -module is indecomposable with irreducible socle, and both converse fail. In this paper we classify all linked ${\mathfrak g}$ -modules when ${\mathfrak g}=\langle x\rangle\ltimes {\mathfrak a}$ and $\mathrm{ad}\, x$ acts diagonalizably on the abelian Lie algebra ${\mathfrak a}$ . Moreover, we identify and classify all uniserial ${\mathfrak g}$ -module amongst them.

preprint2014arXiv

Generalized Artin-Schreier polynomials

Let $F$ be a field of prime characteristic $p$ containing $F_{p^n}$ as a subfield. We refer to $q(X)=X^{p^n}-X-a\in F[X]$ as a generalized Artin-Schreier polynomial. Suppose that $q(X)$ is irreducible and let $C_{q(X)}$ be the companion matrix of $q(X)$ . Then $ad\, C_{q(X)}$ has such highly unusual properties that any $A\in{\mathfrak{ gl}}(m)$ such that $ad\, A$ has like properties is shown to be similar to the companion matrix of an irreducible generalized Artin-Schreier polynomial. We discuss close connections with the decomposition problem of the tensor product of indecomposable modules for a 1-dimensional Lie algebra over a field of characteristic $p$ , the problem of finding an explicit primitive element for every intermediate field of the Galois extension associated to an irreducible generalized Artin-Schreier polynomial, and the problem of finding necessary and sufficient conditions for the irreducibility of a family of polynomials.

preprint2014arXiv

Indecomposable modules of 2-step solvable Lie algebras in arbitrary characteristic

Let $F$ be an algebraically closed field and consider the Lie algebra ${\mathfrak g}=\langle x\rangle\ltimes {\mathfrak a}$ , where $\mathrm{ad}\, x$ acts diagonalizably on the abelian Lie algebra ${\mathfrak a}$ . Refer to a ${\mathfrak g}$ -module as admissible if $[{\mathfrak g},{\mathfrak g}]$ acts via nilpotent operators on it, which is automatic if $\mathrm{char}(F)=0$ . In this paper we classify all indecomposable ${\mathfrak g}$ -modules $U$ which are admissible as well as uniserial, in the sense that $U$ has a unique composition series.

preprint2013arXiv

A note on orthogonal Lie algebras in dimension 4 viewed as current Lie algebras

Orthogonal Lie algebras in dimension 4 are identified as current Lie algebras, thus producing a natural decomposition for them over any field.

preprint2013arXiv

Composition series of $\gl(m)$ as a module for its classical subalgebras over an arbitrary field

Let $F$ be an arbitrary field and let $f:V\times V\to F$ be a non-degenerate symmetric or alternating bilinear form defined on an $F$ -vector space of finite dimension $m\geq 2$ . Let $L(f)$ be the subalgebra of $gl(V)$ formed by all skew-adjoint endomorphisms with respect to $f$ . We find a composition series for the $L(f)$ -module $gl(V)$ and furnish multiple identifications for all its composition factors.

preprint2013arXiv

Equivalence and congruence of matrices under the action of standard parabolic subgroups

We find necessary and sufficient conditions for $P$ -equivalence of arbitrary matrices and $P$ -congruence of symmetric and alternating matrices, where $P$ is standard parabolic subgroup of $GL_n(F)$ and $F$ is an arbitrary field.

preprint2013arXiv

Equivalence and normal forms of bilinear forms

We present an alternative account of the problem of classifying and finding normal forms for arbitrary bilinear forms. Beginning from basic results developed by Riehm, our solution to this problem hinges on the classification of indecomposable forms and in how uniquely they fit together to produce all other forms. We emphasize the use of split forms, i.e., those bilinear forms such that the minimal polynomial of the asymmetry of their non-degenerate part splits over ground field, rather than restricting the field to be algebraically closed. In order to obtain the most explicit results, without resorting to the classification of hermitian, symmetric and quadratic forms, we merely require that the underlying field be quadratically closed.

preprint2013arXiv

Is every matrix similar to a polynomial in a companion matrix?

Given a field $F$ , an integer $n\geq 1$ , and a matrix $A\in M_n(F)$ , are there polynomials $f,g\in F[X]$ , with $f$ monic of degree $n$ , such that $A$ is similar to $g(C_f)$ , where $C_f$ is the companion matrix of $f$ ? For infinite fields the answer is easily seen to positive, so we concentrate on finite fields. In this case we give an affirmative answer, provided $|F|\geq n-2$ . Moreover, for any finite field $F$ , with $|F|=m$ , we construct a matrix $A\in M_{m+3}(F)$ that is not similar to any matrix of the form $g(C_f)$ . Of use above, but also of independent interest, is a constructive procedure to determine the similarity type of any given matrix $g(C_f)$ purely in terms of $f$ and $g$ , without resorting to polynomial roots in $F$ or in any extension thereof. This, in turn, yields an algorithm that, given $g$ and the invariant factors of any $A$ , returns the elementary divisors of $g(A)$ . It is a rational procedure, as opposed to the classical method that uses the Jordan decomposition of $A$ to find that of $g(A)$ . Finally, extending prior results by the authors, we show that for an integrally closed ring $R$ with field of fractions $F$ and companion matrices $C,D$ the subalgebra $R< C,D>$ of $M_n(R)$ is a free $R$ -module of rank $n+(n-m)(n-1)$ , where $m$ is the degree of $\gcd (f,g)\in F[X]$ , and a presentation for $R< C,D>$ is given in terms of $C$ and $D$ . A counterexample is furnished to show that $R< C,D>$ need not be a free $R$ -module if $R$ is not integrally closed. The preceding information is used to study $M_n(R)$ , and others, as $R[X]$ -modules.

preprint2013arXiv

Modular reduction of the Steinberg lattice of the general linear group

The modular reduction of the Steinberg lattice of the general linear group is studied

preprint2013arXiv

Modular representations of Heisenberg algebras

Let $F$ be be an arbitrary field and let $h(n)$ be the Heisenberg algebra of dimension $2n+1$ over $F$ . It was shown by Burde that if $F$ has characteristic 0 then the minimum dimension of a faithful $h(n)$ -module is $n+2$ . We show here that his result remains valid in prime characteristic $p$ , as long as $(p,n)\neq (2,1)$ . We construct, as well, various families of faithful irreducible $h(n)$ -modules if $F$ has prime characteristic, and classify these when $F$ is algebraically closed. Applications to matrix theory are given.

preprint2013arXiv

On the theorem of the primitive element with applications to the representation theory of associative and Lie algebras

We describe of all finite dimensional uniserial representations of a commutative associative (resp. abelian Lie) algebra over a perfect (resp. sufficiently large perfect) field. In the Lie case the size of the field depends on the answer to following question, considered and solved in this paper. Let $K/F$ be a finite separable field extension and let $x,y\in K$ . When is $F[x,y]=F[αx+βy]$ for some non-zero elements $α,β\in F$ ?

preprint2013arXiv

Reductivity of the Lie algebra of a bilinear form

Let $f:V\times V\to F$ be a totally arbitrary bilinear form defined on a finite dimensional vector space $V$ over a a field $F$ , and let $L(f)$ be the subalgebra of $\gl(V)$ of all skew-adjoint endomorphisms relative to $f$ . Provided $F$ is algebraically closed of characteristic not 2, we determine all $f$ , up to equivalence, such that $L(f)$ is reductive. As a consequence, we find, over an arbitrary field, necessary and sufficient conditions for $L(f)$ to be simple, semisimple or isomorphic to $\sl(n)$ for some $n$ .

preprint2013arXiv

Roots multiplicity and square-free factorization of polynomials using companion matrices

Given an arbitrary monic polynomial $f$ over a field $F$ of characteristic 0, we use companion matrices to construct a polynomial $M_f\in F[X]$ of minimum degree such that for each root $α$ of $f$ in the algebraic closure of $F$ , $M_f(α)$ is equal to the multiplicity $m(α)$ of $α$ as a root of $f$ . As an application of $M_f$ we give a new method to compute in $F[X]$ each component of the square-free factorization $f=P_1P_2^2\cdots P_m^m$ , where $P_k$ is the product of all $X-α$ with $m(α)=k$ , for $k=1, \dots, m=\max m(α)$ .

preprint2013arXiv

Structure of the group preserving a bilinear form

We study the group of all linear automorphisms preserving an arbitrary bilinear form

preprint2013arXiv

The Weil representation of a unitary group associated to a ramified quadratic extension of a finite local ring

We find all irreducible constituents of the Weil representation of a unitary group $U_m(A)$ of rank $m$ associated to a ramified quadratic extension $A$ of a finite, commutative, local and principal ring $R$ of odd characteristic. We show that this Weil representation is multiplicity free with monomial irreducible constituents. We also find the number of these constituents and describe them in terms of Clifford theory with respect to a congruence subgroup. We find all character degrees in the special case when $R$ is a field.

preprint2012arXiv

A new interpretation of the Racah-Wigner $6j$ -symbol and the classification of uniserial $sl(2)\ltimes V(m)$ -modules

All Lie algebras and representations will be assumed to be finite dimensional over the complex numbers. Let $V(m)$ be the irreducible $\sl(2)$-module with highest weight $m\geq 1$ and consider the perfect Lie algebra $\g=\sl(2)\ltimes V(m)$. Recall that a $\g$-module is uniserial when its submodules form a chain. In this paper we classify all uniserial $\g$-modules. The main family of uniserial $\g$-modules is actually constructed in greater generality for the perfect Lie algebra $\g=\s\ltimes V(μ)$, where $\s$ is a semisimple Lie algebra and $V(μ)$ is the irreducible $\s$-module with highest weight $μ\neq 0$ . The fact that the members of this family are, but for a few exceptions of lengths 2, 3 and~4, the only uniserial $\sl(2)\ltimes V(m)$-modules depends in an essential manner on the determination of certain non-trivial zeros of Racah-Wigner $6j$ -symbol.

preprint2010arXiv

A Closed Formula for the Product in Simple Integral Extensions

Let $ξ$ be an algebraic number and let $α,β\in \mathbb Q[ξ]$ . An explicit formula for the coordinates of the product $αβ$ is given in terms of the coordinates of $α$ and $β$ and the companion matrix of the minimal polynomial of $ξ$ . The formula as well as its proof extend to fairly general simple integral extensions.

preprint2010arXiv

Jordan-Chevalley decomposition in finite dimesional Lie algebras

Let $\g$ be a finite dimensional Lie algebra over a field $k$ of characteristic zero. An element $x$ of $\g$ is said to have an \emph{abstract Jordan-Chevalley decomposition} if there exist unique $s,n\in\g$ such that $x=s+n$ , $[s,n]=0$ and given any finite dimensional representation $π:\g\to\gl(V)$ the Jordan-Chevalley decomposition of $π(x)$ in $\gl(V)$ is $π(x)=π(s)+π(n)$ . In this paper we prove that $x\in\g$ has an abstract Jordan-Chevalley decomposition if and only if $x\in [\g,\g]$, in which case its semisimple and nilpotent parts are also in $[\g,\g]$ and are explicitly determined. We derive two immediate consequences: (1) every element of $\g$ has an abstract Jordan-Chevalley decomposition if and only if $\g$ is perfect; (2) if $\g$ is a Lie subalgebra of $\gl(n,k)$ then $[\g,\g]$ contains the semisimple and nilpotent parts of all its elements. The last result was first proved by Bourbaki using different methods. Our proof only uses elementary linear algebra and basic results on the representation theory of Lie algebras, such as the Invariance Lemma and Lie's Theorem, in addition to the fundamental theorems of Ado and Levi.

preprint2010arXiv

Steinberg lattice of the general linear group and its modular reduction

We study the Steinberg lattice of the general linear group when reduced modulo a prime different from the defining characteristic.

preprint2010arXiv

Subalgebras of Matrix Algebras Generated by Companion Matrices

Let $f,g\in Z[X]$ be monic polynomials of degree $n$ and let $C,D\in M_n(Z)$ be the corresponding companion matrices. We find necessary and sufficient conditions for the subalgebra $Z< C,D>$ to be a sublattice of finite index in the full integral lattice $M_n(Z)$ , in which case we compute the exact value of this index in terms of the resultant of $f$ and $g$ . If $R$ is a commutative ring with identity we determine when $R< C,D>=M_n(R)$ , in which case a presentation for $M_n(R)$ in terms of $C$ and $D$ is given.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Fernando Szechtman

Research overview

Is this your work?

29 publications

The automorphism group of certain 3-generator $p$ -groups

Nilpotency degree of the nilradical of a solvable Lie algebra on two generators

Classification of finite dimensional uniserial representations of conformal Galilei algebras

Groups having a faithful irreducible representation

Irreducible representations of unipotent subgroups of symplectic and unitary groups defined over rings

On infinite groups admitting a faithful irreducible representation

Representations of McLain groups

Clifford theory for infinite dimensional modules

On the splitting ring of a polynomial

Classification of linked indecomposable modules of a family of solvable Lie algebras over an arbitrary field of characteristic 0

Generalized Artin-Schreier polynomials

Indecomposable modules of 2-step solvable Lie algebras in arbitrary characteristic

A note on orthogonal Lie algebras in dimension 4 viewed as current Lie algebras

Composition series of $\gl(m)$ as a module for its classical subalgebras over an arbitrary field

Equivalence and congruence of matrices under the action of standard parabolic subgroups

Equivalence and normal forms of bilinear forms

Is every matrix similar to a polynomial in a companion matrix?

Modular reduction of the Steinberg lattice of the general linear group

Modular representations of Heisenberg algebras

On the theorem of the primitive element with applications to the representation theory of associative and Lie algebras

Reductivity of the Lie algebra of a bilinear form

Roots multiplicity and square-free factorization of polynomials using companion matrices

Structure of the group preserving a bilinear form

The Weil representation of a unitary group associated to a ramified quadratic extension of a finite local ring

A new interpretation of the Racah-Wigner $6j$ -symbol and the classification of uniserial $sl(2)\ltimes V(m)$ -modules

A Closed Formula for the Product in Simple Integral Extensions

Jordan-Chevalley decomposition in finite dimesional Lie algebras

Steinberg lattice of the general linear group and its modular reduction

Subalgebras of Matrix Algebras Generated by Companion Matrices

See the researcher in context

Building this map preview

Fernando Szechtman

Research overview

Is this your work?

29 publications

The automorphism group of certain 3-generator ppp-groups

Nilpotency degree of the nilradical of a solvable Lie algebra on two generators

Classification of finite dimensional uniserial representations of conformal Galilei algebras

Groups having a faithful irreducible representation

Irreducible representations of unipotent subgroups of symplectic and unitary groups defined over rings

On infinite groups admitting a faithful irreducible representation

Representations of McLain groups

Clifford theory for infinite dimensional modules

On the splitting ring of a polynomial

Classification of linked indecomposable modules of a family of solvable Lie algebras over an arbitrary field of characteristic 0

Generalized Artin-Schreier polynomials

Indecomposable modules of 2-step solvable Lie algebras in arbitrary characteristic

A note on orthogonal Lie algebras in dimension 4 viewed as current Lie algebras

Composition series of $\gl(m)$ as a module for its classical subalgebras over an arbitrary field

Equivalence and congruence of matrices under the action of standard parabolic subgroups

Equivalence and normal forms of bilinear forms

Is every matrix similar to a polynomial in a companion matrix?

Modular reduction of the Steinberg lattice of the general linear group

Modular representations of Heisenberg algebras

On the theorem of the primitive element with applications to the representation theory of associative and Lie algebras

Reductivity of the Lie algebra of a bilinear form

Roots multiplicity and square-free factorization of polynomials using companion matrices

Structure of the group preserving a bilinear form

The Weil representation of a unitary group associated to a ramified quadratic extension of a finite local ring

A new interpretation of the Racah-Wigner 6j6j6j-symbol and the classification of uniserial sl(2)⋉V(m)sl(2)\ltimes V(m)sl(2)⋉V(m)-modules

A Closed Formula for the Product in Simple Integral Extensions

Jordan-Chevalley decomposition in finite dimesional Lie algebras

Steinberg lattice of the general linear group and its modular reduction

Subalgebras of Matrix Algebras Generated by Companion Matrices

See the researcher in context

Building this map preview

The automorphism group of certain 3-generator $p$ -groups

A new interpretation of the Racah-Wigner $6j$ -symbol and the classification of uniserial $sl(2)\ltimes V(m)$ -modules