+7 (495) 987 43 74 ext. 3304
Join us -              
Рус   |   Eng

Authors

Kityukov V. V.

Degree
Student, Mathematical Modeling Department, Moscow Aviation Institute
E-mail
atum89@gmail.ru
Location
Moscow
Articles

Homomorphism groups computing and homomorphic stability of pairs of finite groups verification

We consider all pairs of groups G and H under the condition that their orders are not greater than 12. For Abelian group H, we obtain (up to isomorphism) via computer modeling, first, the group of homomorphisms of G to H and, second, the subgroup in H which is a union of the images of all homomorphisms. For non-Abelian H, we consider the similar constrictions, but this case is more difficult.

Read more...

Programming method for computing topologies and study their properties

We suggest the algorithm and the corresponding programming code for computing topologies of a finite set. Algorithm provides verification of T0-axiom of the separation and connectivity, computing the connected components, bases and topological spaces homeomorphisms to itself. Software implementing the proposed model developed by the authors is presented.
Read more...