Topics (384k) Articles (398k) Users (410) Discussions (242) Comments (383) Files (13k) New article
The class equation implies that a nontrivial finite -group has nontrivial center of a group. Here a center of order would make cyclic; a group with cyclic quotient by its center of a group is abelian, contradicting the hypothesis. ThusThe quotient of order nine must be noncyclic for the same reason. For , has order at least nine and lies in the proper centralizer . Lagrange's theorem therefore forces . Also , so and all commutators are central of order dividing three.
Classification and splitting. First suppose has order nine. Then is normal of index three and . For , conjugation on is nontrivial, since otherwise would generate an abelian group. Its order divides three, so, after replacing by its inverse if needed, . Write . Central commutators and give ; choose modulo three to obtain an element of order three outside . This provesThere is a unique resulting isomorphism type, since the two nontrivial actions of order three are interchanged by reversing the complement's generator.
If there is no element of order nine, every nonidentity element has order three. Choose whose images form a basis of and put . These elements generate , and generates . The subgroup has index three and is normal. The line meets trivially and complements it. Conjugation by fixes and sends to or ; choosing the central generator removes this sign. Thus there is one isomorphism type,with the nontrivial unipotent action on . These presentations are realized by the indicated semidirect products and have order 27. Their exponents are nine and three respectively, so they are not isomorphic. This proves both existence and completeness of the two cases.
Their ordinary character tables are the same, up to relabelling. In either group each of the 24 noncentral elements has conjugacy class of size three, giving eight noncentral classes and three central singleton classes. Each noncentral class is , since conjugates of differ from by central commutators and its class has size three. There are nine linear characters, arising from , and eleven irreducible characters altogether. The two remaining degrees satisfy , so both are three.
Put and . Label the noncentral classes by nonzero . For the nine linear characters have valuesAt a noncentral element, column orthogonality gives a squared column norm of nine. The nine linear characters already contribute nine, so both degree-three characters vanish there. By the Schur lemma, a central element has value in an irreducible representation of degree three. The central character cannot be trivial, since that would factor the representation through the abelian quotient. Orthogonality of the identity and columns then forces the two nontrivial central characters to occur once each. The final two rows, on and the eight other columns, areThis description gives the same entire character table in both cases. The differing element orders are additional power-map data, which an ordinary character table need not determine.
Pinned article: Introduction to the OurBigBook Project
Welcome to the OurBigBook Project! Our goal is to create the perfect publishing platform for STEM subjects, and get university-level students to write the best free STEM tutorials ever.
Everyone is welcome to create an account and play with the site: ourbigbook.com/go/register. We belive that students themselves can write amazing tutorials, but teachers are welcome too. You can write about anything you want, it doesn't have to be STEM or even educational. Silly test content is very welcome and you won't be penalized in any way. Just keep it legal!
Intro to OurBigBook
. Source. We have two killer features:
- topics: topics group articles by different users with the same title, e.g. here is the topic for the "Fundamental Theorem of Calculus" ourbigbook.com/go/topic/fundamental-theorem-of-calculusArticles of different users are sorted by upvote within each article page. This feature is a bit like:
- a Wikipedia where each user can have their own version of each article
- a Q&A website like Stack Overflow, where multiple people can give their views on a given topic, and the best ones are sorted by upvote. Except you don't need to wait for someone to ask first, and any topic goes, no matter how narrow or broad
This feature makes it possible for readers to find better explanations of any topic created by other writers. And it allows writers to create an explanation in a place that readers might actually find it.Figure 1. Screenshot of the "Derivative" topic page. View it live at: ourbigbook.com/go/topic/derivativeVideo 2. OurBigBook Web topics demo. Source. - local editing: you can store all your personal knowledge base content locally in a plaintext markup format that can be edited locally and published either:This way you can be sure that even if OurBigBook.com were to go down one day (which we have no plans to do as it is quite cheap to host!), your content will still be perfectly readable as a static site.
- to OurBigBook.com to get awesome multi-user features like topics and likes
- as HTML files to a static website, which you can host yourself for free on many external providers like GitHub Pages, and remain in full control
Figure 2. You can publish local OurBigBook lightweight markup files to either OurBigBook.com or as a static website.Figure 3. Visual Studio Code extension installation.Figure 5. . You can also edit articles on the Web editor without installing anything locally. Video 3. Edit locally and publish demo. Source. This shows editing OurBigBook Markup and publishing it using the Visual Studio Code extension. - Infinitely deep tables of contents:
All our software is open source and hosted at: github.com/ourbigbook/ourbigbook
Further documentation can be found at: docs.ourbigbook.com
Feel free to reach our to us for any help or suggestions: docs.ourbigbook.com/#contact





