Search Results for ""

A group whose left Haar measure equals its right Haar measure.

A group generated by the elements P_i for i=1, ..., n subject to (P_iP_j)^(M_(ij))=1, where M_(ij) are the elements of a Coxeter matrix. Coxeter used the notation [3^(p,q,r)] ...

A group is called a free group if no relation exists between its group generators other than the relationship between an element and its inverse required as one of the ...

The sporadic groups are the 26 finite simple groups that do not fit into any of the four infinite families of finite simple groups (i.e., the cyclic groups of prime order, ...

One of the Eilenberg-Steenrod axioms. Let X be a single point space. H_n(X)=0 unless n=0, in which case H_0(X)=G where G are some groups. The H_0 are called the coefficients ...

The Harada-Norton group is the sporadic group HN of order |HN| = 273030912000000 (1) = 2^(14)·3^6·5^6·7·11·19. (2) It is implemented in the Wolfram Language as ...

The Held group is the sporadic group He of order |He| = 4030387200 (1) = 2^(10)·3^3·5^2·7^3·17. (2) It is implemented in the Wolfram Language as HeldGroupHe[].

The Lyons group is the sporadic group Ly of order |Ly| = 51765179004000000 (1) = 2^8·3^7·5^6·7·11·31·37·67. (2) It is implemented in the Wolfram Language as LyonsGroupLy[].

The O'Nan group is the sporadic group O'N of order |O'N| = 460815505920 (1) = 2^9·3^4·5·7^3·11·19·31. (2) It is implemented in the Wolfram Language as ONanGroupON[].

The Rudvalis group is the sporadic group Ru of order |Ru| = 145926144000 (1) = 2^(14)·3^3·5^3·7·13·29. (2) It is implemented in the Wolfram Language as RudvalisGroupRu[].