MathGroup Archive 1998

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: algebra problem, need help fast!!!


You should be able to get the subfields using AbstractAlgebra`, which is
available at http://www.central.edu/homepages/hibbarda/EAAM/eaam.html. 
I am coauthor of these packages with Al Hibbard (Central College).  You
might also be able to do the same with the Standard package
FiniteFields.m, but I don't think that any of its functions identifies
subfields.   With out packages, there is no single function that
identifies subfields, but you could proceed as follows:

In[1]:=
<<AbstractAlgebra`Master`
In[2]:=
IrreduciblePolyOverZpQ[ x^5+x^2+1,2]  (* Verify that the polynomial is
irreducible *)
In[3]:=
F=GF[2^5,IrreduciblePolynomial-> x^5+x^2+1] In[4]:=
G=GenerateGroupoid[{x},Multiplication[F],SizeLimit->31] In[5]:=
subgroups=CyclicSubgroups[G]

Since finite fields are cyclic, the subfields would be the subgroups
that you get from Out[5] that are closed with respect to addition
(other than sums that add to 0).  However, for the example you cite,
your answer is obvious from Out[5].  Your question for degree 4 or 6
(for example) yeilds more interesting results.


Ken Levasseur
UMass Lowell

Base_D wrote:

> Does anyone know  how to use mathematica to find all the subfields the
> following field:
>
> K = Z/2Z[X]/(f)  where is an irreducible polynomial of degree 5.
>
> Any help would be greatly appreciated. Rick




  • Prev by Date: Re: Single character in Italics. Ervin Doyle;
  • Next by Date: Re: using Upset for defining positive real values (Re: Can I get ComplexExpand to really work?)
  • Previous by thread: algebra problem, need help fast!!!
  • Next by thread: Re: algebra problem, need help fast!!!