Authors: Nelson, Alexander M.

Subject Terms: group theory, inner automorphisms, characteristic subgroups

File Description: application/pdf

Relation: Formalized Mathematics, Volume 30, Issue 2, Pages 79-91; http://hdl.handle.net/11320/14264; Formalized Mathematics

Availability: https://doi.org/10.2478/forma-2022-0007
http://hdl.handle.net/11320/14264

Authors: Nakasho, Kazuhisa, Yamazaki, Hiroshi, Okazaki, Hiroyuki, Shidama, Yasunari

Subject Terms: group theory, direct sum decomposition

File Description: application/pdf

Relation: Formalized Mathematics, Volume 24, Issue 1, pp. 81-94; http://hdl.handle.net/11320/5492

Availability: https://doi.org/10.1515/forma-2016-0007
http://hdl.handle.net/11320/5492

Authors: Nakasho, Kazuhisa, Yamazaki, Hiroshi, Okazaki, Hiroyuki, Shidama, Yasunari

Subject Terms: direct sum decomposition, group theory

File Description: application/pdf

Relation: Formalized Mathematics, Volume 23, Issue 1, Pages 15–27; http://hdl.handle.net/11320/4835

Availability: https://doi.org/10.2478/forma-2015-0002
http://hdl.handle.net/11320/4835

Authors: Nakasho, Kazuhisa, Okazaki, Hiroyuki, Yamazaki, Hiroshi, Shidama, Yasunari

Subject Terms: group theory, direct sum decomposition

File Description: application/pdf

Relation: Formalized Mathematics, Volume 23, Issue 1, Pages 67–73; http://hdl.handle.net/11320/4839

Availability: https://doi.org/10.2478/forma-2015-0006
http://hdl.handle.net/11320/4839