| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/groups/ (PVS Prover Version 6.0.9©) Datei vom 28.9.2014 mit Größe 885 B |
|
Quelle top.pvsSprache: PVS |
|||||||||||||||
|
% Andre Luiz Galdino % Federal University of Goais, Brazil % <galdino@unb.br> % % The following theorem of group theory are formalized: % % - Cauchy Theorem; % - Isomorphism Theorems; % - Burside Theorem; % - Sylow Theorems; % - New version of the Lagrange Theorem; % - A variation of the fundamental principle of counting; % - A variation of the formula for permutation with repetition; % - Group Action, stabilizer, orbit, normalizer, centralizer, index of a % subgroup in a group, and properties; % - Class Equation; % - p-groups and properties; % - Product of Subgroups; % - New version of the Zn Group, left (right) cosets, factor group and % properties. top[T: TYPE, *: [T,T -> T], one: T]: THEORY BEGIN ASSUMING IMPORTING algebra@group_def T_is_group: ASSUMPTION group?[T,*,one](fullset[T]) ENDASSUMING IMPORTING sylow_theorems[T, *, one] END top
¤ Dauer der Verarbeitung: 0.9 Sekunden (vorverarbeitet am 2026-06-14) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09