A characterization of the simple group by the set of its element orders.
Darafsheh, Mohammad Reza, Sadrudini, Abdollah (2008)
Sibirskij Matematicheskij Zhurnal
Similarity:
Darafsheh, Mohammad Reza, Sadrudini, Abdollah (2008)
Sibirskij Matematicheskij Zhurnal
Similarity:
Makarenko, N.Yu. (2000)
Sibirskij Matematicheskij Zhurnal
Similarity:
Kaplan, Gil, Lev, Arieh (2006)
Beiträge zur Algebra und Geometrie
Similarity:
Hiroyuki Okazaki, Hiroshi Yamazaki, Yasunari Shidama (2013)
Formalized Mathematics
Similarity:
We have been working on the formalization of groups. In [1], we encoded some theorems concerning the product of cyclic groups. In this article, we present the generalized formalization of [1]. First, we show that every finite commutative group which order is composite number is isomorphic to a direct product of finite commutative groups which orders are relatively prime. Next, we describe finite direct products of finite commutative groups
Farkas, J.Z. (2001)
Beiträge zur Algebra und Geometrie
Similarity:
Bludov, V.V., Dolbak, L.V. (2007)
Sibirskie Ehlektronnye Matematicheskie Izvestiya [electronic only]
Similarity:
Pianskool, S., Chaopraknoi, S., Kemprasit, Yupaporn (2006)
General Mathematics
Similarity:
Russo, Francesco (2009)
Acta Universitatis Apulensis. Mathematics - Informatics
Similarity:
Datuashvili, T. (2002)
Georgian Mathematical Journal
Similarity:
Delizia, Costantino, Moravec, Primož, Nicotera, Chiara (2007)
Beiträge zur Algebra und Geometrie
Similarity:
Timmesfeld, Franz Georg (2003)
Beiträge zur Algebra und Geometrie
Similarity:
John O'Neill (1996)
Colloquium Mathematicae
Similarity: