A note about the section below: A lot of what I intend to put here is some of my own independent derivations. So fellow Wikipedians and the like may take a look at some of the work I've done. If you want to discuss some of the stuff below, feel free to comment on my talk page.

Graphing Polynomials over Complex Inputs, Real Outputs

edit

During my Junior year of High School, I made several failed attempts at deriving the Cubic Formula completely on my own, before finally looking it up and duplicated their methods which I only vaguely understood at the time. As part of that quest, I attempted to study the behavior of Polynomials where  . I found this to be difficult, especially if the equation had nonreal solutions. I noted that, one key thing I was missing was a way visualize the behavior of a Polynomial over Complex values. The problem was that this required 4 physical dimensions, which is not practical for observing the kinds of behavior I was looking for. It finally dawned on me that I really wasn't concerned with Complex outputs, I wanted really to study the behavior of Real outputs for Complex inputs. In other words, I could remove the imaginary part of the y variable, and thus I would only need 3 physical dimensions. So I set out to graph them, ... one problem, graphing utilities don't think the way I need them too. So I had to do things the old fashion way, at least somewhat. (I will elaborate on that later)

I deduced that I would need to rewrite the x variable into components in order to have a chance at really learning anything from my discovery. So I had to choose of slightly different notation than would normally be used for Polynomials and for graphing in 3 dimensions. Since I want the final equation to have x,y,z as their variables, I would have to start with X as the original variable else substituting   for   would look very weird and confusing.

First off I wanted to test my thinking, 1st degree Polynomials with real coefficients don't have any "Complex" part to their graph. So the   term should drop out. First of all before I start let me define a few things which will apply throughout.

Let   and let   be arbitrary constants.

Let   and let   be variables.

Let   and let  .

Now

 

 

 

Notice how I arranged the terms after I expanded. Here's the key part, remember   not  . So that means the term with   must go to zero. So I group the terms over real vs. imaginary, then determine the conditions on   and   so that,  .

 

Thus   and thus   is the only restriction.

So   is the final form. Note that this means the line has no "Complex" part, as stated earlier. Note that if you directly apply the condition on z, then z vanishes, which means that   becomes  . This is actually a unique behavior, since 1st degree Polynomials are the highest order Polynomials that can't have nonreal solutions. It should also be noted that the condition   must always exist since (with   not  ) the domain of the Function is  . No problem graphing lines in space, since they still only have two dimensions to their graphs.

Before I start working on the 2nd degree Polynomial, I would like to point out a few things about the conventions of graphing a Polynomial this way. I have decided that since   is the usual choice for the output of a Polynomial to define   not   as the vertical and instead   is the depth aspect, leaving   to it's usual left-right aspect.

The 2nd degree Polynomial is a more appropriate test of the applicability of my method, as it actually has a "Complex" part. It was actually the first case I worked on and was responcible for putting this idea in my head. I notice that if you tranlated a Quardratic vertically, the Solutions would converge towards eachother, then on the imaginary axis diverge with the same symmetrical pattern. I hypothesized that the 'shape' of the graph is really two Parabolas, with a shared vertex that have opposite leading coefficients and are twisted   from one another.

 

 

 

 

Now once again we set the entire term with   equal to zero.

 

And this give two different conditions, using the Zero-Product Property

 

 

 

So either   (given), or   which describes the "Complex" part, try graphing one or two examples. My hypothesis turned out to true, not only that but it looked like there was a relationship to De Moivre's Formula. It appeared that, looking down the y axis, the sections of the graph, centered at  , the points would appear to be placed according to the nth-roots by De Moivre's Formula. The case of the Cubic function however would disprove that hypothesis.

 

 

 

 

 

So now set the imaginary part equal to zero.

 

Factor out  

 

And thus  , or  . Lets rewrite the second case so that   is a function of  .

 

Lets switch sides of the equals sign so the the term with   can be position be also on the left side.

So,  

 

Now we must include both roots to get the whole original function, which is a conic section by the way, since the if were replaced by y it would be a simplified form of the General Quadratic equation in Two Variables.

 

This means that  . It should be noted that the radical solutions represent a Hyperbola. If you treat   as though it were   like normal for conic sections. You get

 

Looking at this equation, there is no   term and the   term is negative when the   term is postive and vis versa if it is negative. Meaning the equation above is a Hyperbola. The Quartic function is a more complicated curve, by now I think the patterns are starting to become clear. The Quartic "Complex" part is represented by a simplified version of the General Cubic Equation in Two Variables. And has a basic form of

 

Implicit functions like this and the one from the Cubic function are difficult to get a graphing utility to graph. The matter is only further complicated by the fact that the result, is actually the intersection of a plane parallel to the y-axis and another plane that is rather complicated to visualize. Hence the reason I haven't spent more time on this. I really need a program talored to the need of this kind of mathematics, which I don't have, nor em I a good enough programmer of computers to write such a program. (If you know of a program which will graph these quite readily please do tell me on my talk page)

 

 

 

 

 

 

 

 

 

 

 

The Quintic Function introduces a new difficulty, the presence of a   term in the imaginary part.

 

 

 

 

 

 

To solve this, note that only even powers of z, including zero are present, so in terms of z, we have a Biquadratic Equation. Obtain a solution for   first, then take the square roots of both sides, resulting in a   on the side w/ x.

Solving Polynomials with Compositions of Functions

edit

Consider,   and  , then

 

 

 

If  , then   iff  ,  ,  , and  

 

 

 

 

 

 

 

 

 

This is the condition on the coefficients of h(x) for f(g(x)) to exist. Provided it is met, h(x) can be sold then using g(ved by solving for f(0), and then using the solutions to f(0) to find the appropriate x's.

Library of strange identities

edit

In this section, I intend to put any unusual relations/equalities I find in my studies of mathematics.

 

Using partial fractions,

 

Thus

 

 

This gives the system

 

Thus, solving the second equation for B gives

 

Substituting into to first gives

 

 

 

Substituting that result into the second equation gives

 

 

This means we can conclude

 

 

Let   and  , then we get

 

 

Back substituting yields

 

Now let's integrate this function using some trigonometric identities instead

 

Let  , then  , and thus our integral becomes

 

Substitute using the trigonometric identity  

 

 

 

 

Using a integral table's formula for the antiderivative of the secant function, we get

 

Now we solve for   in terms of t,

 

And thus

 

Now for the strange part, we can conclude that the two different looking results are in fact the same, and we may move the constant's of integration to one side and combine them, to yield the equality

 

Structure of Finite Groups of Small Order

edit

Most of the information below was computed using GAP CAS. I've organized this information by order and GAP SmallGroups library number.

Groups of Order 1

edit

There is exactly 1 group of order 1, namely, the trivial group. I sometimes use the notation   for this group.

Structure of the Trivial Group

edit

It has only 1 element,  , the identity. It has no nontrivial subgroups, and its automorphism group is isomorphic to itself.

Groups of Order 2

edit

There is exactly 1 group of order 2, namely, the group isomorphic to  .

Structure of SmallGroup(2,1)

edit

It is a cyclic group, and as such can be viewed as the group generated by  , where Order( )=2. It can be represented as  . It has no nontrivial subgroups, and its automorphism group is isomorphic to  .

Groups of Order 3

edit

There is exactly 1 group of order 2, namely, the group isomorphic to  .

Structure of SmallGroup(3,1)

edit

It is a cyclic group, generated by  , where Order( )=Order( )=3. It can be represented as  . It has no nontrivial subgroups. It has a nontrivial automorphism which maps   to  . Therefore its automorphism group is isomorphic to  .

Groups of Order 4

edit

There are 2 groups of order 4. Both are abelian groups, and both have at least 1 normal subgroup isomorphic to  .

Structure of SmallGroup(4,1)

edit

It is a cyclic group, generated by  , where Order( )=Order( )=4 and Order( )=2. It can be represented as  . It has 1 nontrivial normal subgroup,   isomorphic to  . It has a nontrivial automorphism which maps   to  . Therefore its automorphism group is isomorphic to  .

Structure of SmallGroup(4,2)

edit

It is an abelian group, generated by   and  , where Order( )=Order( )=Order( )=2. It can be respresented as  , and is also known as the Klein four-group. It has 3 nontrivial normal subgroups;  ,  , and  , which are each isomorphic to  . Its automorphism group is isomorphic to SmallGroup(6,1), the dihedral group of the triangle, also known as  .

Groups of Order 5

edit

There is exactly one group of order 5, namely, the group isomorphic to  .

Structure of SmallGroup(5,1)

edit

It is a cyclic group, generated by  , where Order( )=Order( )=Order( )=Order( )=5. It can be represented as  . It has no nontrivial subgroups. Its automorphism group is isomorphic to  .

Groups of Order 6

edit

There are 2 groups of order 6. Only 1 is abelian, but both have a normal subgroup of order 3 and at least 1 subgroup of order 2.

Structure of SmallGroup(6,1)

edit

It is a dihedral group, generated by   and  , where Order( )=Order( )=Order( )=2, and Order( )=Order( )=3. It can be respresented as the dihedral group,   (using convention that the the dihedral group of the  -gon is  ), or as  , the symmetric (or permutation) group for permutations on 3 objects. It has 4 nontrivial subgroups, of which, 1 is normal;   is normal, and isomorphic to  ;  ,  , and  , all isomorphic to  . It is isomorphic to its own automorphism group.

Structure of SmallGroup(6,2)

edit

It is a cyclic group, generated by  , where Order( )=2, Order( )=Order( )=3, and Order( )=Order( )=6. It can be represented as  . It has 2 nontrivial normal subgroups;  , isomorphic to  ;  , isomorphic to  . Its automorphism group is isomorphic to  .

Groups of Order 7

edit

There is exactly 1 group of order 7, namely, the group isomorphic to  .

Structure of SmallGroup(7,1)

edit

It is a cyclic group, generated by  , where Order( )=Order( )=Order( )=Order( )=Order( )=Order( )=7. It can be represented as  . It has no nontrivial subgroups. Its automorphism group is isomorphic to  .

Groups of Order 8

edit

There are 5 groups of order 8. 3 of them are abelian, all of them have a normal subgroup of order 4, and a normal subgroup of order 2.

Structure of SmallGroup(8,1)

edit

It is a cyclic group, generated by  , where Order( )=2, Order( )=Order( )=4, and Order( )=Order( )=Order( )=Order( )=8. It can be represented as  . It has 2 nontrivial normal subgroups;   isomorphic to  ; and   isomorphic to  . Its automorphism group is isomorphic to  .

Structure of SmallGroup(8,2)

edit

It is an abelian group, generated by   and  , where Order( )=Order( )=Order( )=2, and Order( )=Order( )=Order( )=Order( )=4. It can be represented as  . It has 6 nontrivial normal subgroups;  , and  , both isomorphic to  ;  , isomorphic to  ; and  ,  , and  , all isomorphic to  . Its automorphism group is isomorphic to SmallGroup(8,3), the dihedral group of the square,  .

Structure of SmallGroup(8,3)

edit

It is the dihedral group of the square, generated by   and  , where Order( )=Order( )=4, and Order( )=Order( )=Order( )

=Order( )=Order( )=2. It can be represented as  . It has 8 nontrivial subgroups, of which, 4 are normal;  , which is normal, and isomorphic to  ;  , and  , which are both normal, and isomorphic to  ; and  , which is normal, and  ,  ,  , and  , all of which are isomorphic to  . Its isomorphic to its own automorphism group.