repthy
Class ProductGroupInternal

Object
  AbstractCollection
      AbstractSet
          ImmutableSet
              Group
                  HashGroup
                      ProductGroup
                          ProductGroupInternal

All Implemented Interfaces:

Collection, Set

public class ProductGroupInternal

extends ProductGroup

An internal direct product, where the elements g₁, g₂ in g₁ × g₂ lie in a common parent group. That is, g₁g₂ is defined and takes distinct values as g₁ × g₂ runs through the direct product. It's also necessary that g₁, g₂ commute. By contrast, the superclass ProductGroup represents direct products which may or may not be internal.

Author:

Mark McConnell

Field Summary

Fields inherited from class Group

charTable

Constructor Summary

ProductGroupInternal(Group factor1, Group factor2)
Constructor.

Method Summary

Group	asInternal()
Homomorphism	homomToInternal()

Methods inherited from class ProductGroup

fillInCharTable, getCharComparator, getFactor1, getFactor2, getProductMorphism, getProjection1, getProjection2, iteratedProduct, main, toString

Methods inherited from class HashGroup

contains, getConjClass, getConjClassIndex, getConjClassNum, iterator, size

Methods inherited from class Group

cyclicSubgpsUpToConj, describeOrder8, elementarySubgps, getCenter, getCentralizer, getCharTable, getCommutatorSubgroup, getCompositionSeries, getConjClassRep, getEltOrder, getEltOrder, getIdentity, getOrder, getProperNormalSubgroup, getSylow, isAbelian, isCentral, isSimple, isSubgroupOf, order, power, printTest, tableTest

Methods inherited from class ImmutableSet

add, addAll, clear, remove, removeAll, retainAll

Methods inherited from class AbstractSet

equals, hashCode

Methods inherited from class AbstractCollection

containsAll, isEmpty, toArray, toArray

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface Set

containsAll, isEmpty, toArray, toArray

Constructor Detail

ProductGroupInternal

public ProductGroupInternal(Group factor1,
                            Group factor2)

Constructor.

Throws:

IllegalArgumentException - Unless every member of one factor commutes with the other. There will also be exceptions if the elements of the two groups can't be multiplied together.

Method Detail

asInternal

public Group asInternal()

homomToInternal

public Homomorphism homomToInternal()