TWiki> Mizar Web>MathematicsSubjectClassification>20>20A>20A05 (2007-01-04, MarcoRiccardi)EditAttach

20A05 Foundations - Axiomatics and elementary properties

Primary classification

# Article
1 group_1 Groups Wojciech A. Trybulec
2 group_2 Subgroup and Cosets of Subgroups. Lagrange theorem Wojciech A. Trybulec
3 group_3 Classes of Conjugation. Normal Subgroups Wojciech A. Trybulec
4 group_5 Commutator and Center of a Group Wojciech A. Trybulec
5 group_6 Homomorphisms and Isomorphisms of Groups. Quotient Group Wojciech A. Trybulec and Micha{\l} J. Trybulec
6 group_8 Properties of Groups Gijs Geleijnse and Grzegorz Bancerek
   
   

Secondary classification

# Article
   
   
WebForm
TopicClassification MathSC2000
ProjectGroup?

ImplementationDate? N/A
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 2007-01-04 - 10:46:35 - MarcoRiccardi
 
Mizar TWiki
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback