Information for "Template:Tabular proof format"

Basic information

Display title	Template:Tabular proof format
Default sort key	Tabular proof format
Page length (in bytes)	444
Namespace ID	10
Namespace	Template
Page ID	8978
Page content language	en - English
Page content model	wikitext
Indexing by robots	Allowed
Number of redirects to this page	0
Number of subpages of this page	0 (0 redirects; 0 non-redirects)

Page protection

Edit	Allow all users (infinite)
Move	Allow all users (infinite)

View the protection log for this page.

Edit history

Page creator	Vipul (talk \| contribs)
Date of page creation	23:12, 15 February 2011
Latest editor	Vipul (talk \| contribs)
Date of latest edit	14:43, 22 May 2011
Total number of edits	3
Total number of distinct authors	1
Recent number of edits (within past 90 days)	0
Recent number of distinct authors	0

Page properties

Transcluded template (1)	Template used on this page: Template:Quotation (view source)
Pages transcluded on (85)	Templates used on this page: 2-subnormal implies join-transitively subnormal (view source) ACIC is characteristic subgroup-closed (view source) Artin's induction theorem (view source) Automorph-conjugacy is transitive (view source) Automorphism sends more than three-fourths of elements to inverses implies abelian (view source) Cartan-Brauer-Hua theorem (view source) Central implies amalgam-characteristic (view source) Centralizer product theorem (view source) Characteristic of normal implies normal (view source) Characteristicity is transitive (view source) Congruence condition on index of subgroup containing Sylow-normalizer (view source) Conjugacy class of prime power size implies not simple (view source) Corollary of centralizer product theorem for rank at least three (view source) Cube map is surjective endomorphism implies abelian (view source) Degree of irreducible representation divides index of abelian normal subgroup (view source) Degree of irreducible representation divides order of group (view source) Derived subgroup satisfies ascending chain condition on subnormal subgroups implies subnormal join property (view source) Every finite division ring is a field (view source) Finite group having at least two conjugacy classes of involutions has order less than the cube of the maximum of orders of centralizers of involutions (view source) Finite non-abelian and every proper subgroup is abelian implies metabelian (view source) Finite non-abelian and every proper subgroup is abelian implies not simple (view source) Finite normal implies amalgam-characteristic (view source) Finite supersolvable implies subgroups of all orders dividing the group order (view source) Fixed-point-free involution on finite group is inverse map (view source) Frattini-in-center odd-order p-group implies (mp plus 1)-power map is automorphism (view source) Frattini-in-center odd-order p-group implies p-power map is endomorphism (view source) Linear representation is realizable over principal ideal domain iff it is realizable over field of fractions (view source) Local finiteness is extension-closed (view source) Nilpotent Hall subgroups of same order are conjugate (view source) Normal equals potentially characteristic (view source) Open subgroup implies closed (view source) Order has only two prime factors implies solvable (view source) P-solvable implies p-constrained (view source) Pi-separable and pi'-core-free implies pi-core is self-centralizing (view source) Pronormal implies WNSCDIN (view source) Pronormality is normalizing join-closed (view source) Size of conjugacy class divides index of center (view source) Square map is endomorphism iff abelian (view source) Subnormality is normalizing join-closed (view source) Subnormality is permuting join-closed (view source) Supersolvable implies nilpotent derived subgroup (view source) Sylow subgroups exist (view source) Thompson's critical subgroup theorem (view source) Thompson's replacement theorem for abelian subgroups (view source) Thompson transitivity theorem (view source) Totally disconnected and normal in connected implies central (view source) Union of two subgroups is not a subgroup unless they are comparable (view source) WNSCDIN implies every normalizer-relatively normal conjugation-invariantly relatively normal subgroup is weakly closed (view source) Zero-or-scalar lemma (view source) Tour:Union of two subgroups is not a subgroup unless they are comparable (view source) More...