Moufang loops of odd order \(pq^3\) (Q1840607): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/jabr.2000.8422 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2461632484 / rank | |||
Normal rank |
Revision as of 21:56, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Moufang loops of odd order \(pq^3\) |
scientific article |
Statements
Moufang loops of odd order \(pq^3\) (English)
0 references
30 October 2001
0 references
The author provides a proof for the existence of nonassociative Moufang loops of order \(pq^3\) for every pair of odd primes \(p\) and \(q\) with \(q\equiv 1\pmod p\). He begins his proof by investigating the properties of a nonassociative Moufang loop \(L\) of odd order \(pq^3\), where \(p\) and \(q\) are primes, with \(p<q\). First, it is shown that \(L=CQ\) where \(C\) is a cyclic group of order \(p\), and \(Q\) is a group of order \(q^3\) normal in \(L\). Next, he shows that \(q\equiv 1\pmod p\). Then \(Q\) is proven to be of exponent \(q\), and to be a non-Abelian group if \(p\neq 3\). Finally, a product rule for elements of \(L\) is worked out. Conversely, guided by these properties, a set \(L\) of order \(pq^3\) (\(p\) and \(q\) being odd primes with \(q\equiv 1\pmod p\)) and a product rule for any two elements of \(L\) is defined. A lengthy calculation then shows that \(L\) is indeed a nonassociative Moufang loop.
0 references
nonassociative Moufang loops
0 references
product rules
0 references