https://bugzilla.redhat.com/show_bug.cgi?id=1765727
Bug ID: 1765727
Summary: Review Request: gap-pkg-circle - Adjoint groups of
finite rings
Product: Fedora
Version: rawhide
Hardware: All
OS: Linux
Status: NEW
Component: Package Review
Severity: medium
Priority: medium
Assignee: nobody(a)fedoraproject.org
Reporter: loganjerry(a)gmail.com
QA Contact: extras-qa(a)fedoraproject.org
CC: package-review(a)lists.fedoraproject.org
Target Milestone: ---
Classification: Fedora
Spec URL:
https://jjames.fedorapeople.org/gap-pkg-circle/gap-pkg-circle.spec
SRPM URL:
https://jjames.fedorapeople.org/gap-pkg-circle/gap-pkg-circle-1.6.1-1.fc3...
RPMLINTRC URL:
https://jjames.fedorapeople.org/gap-pkg-circle/gap-pkg-circle.rpmlintrc
Fedora Account System Username: jjames
Description: Let R be an associative ring, not necessarily with a unit element.
The set of all elements of R forms a monoid with the neutral element 0 from R
under the operation r*s = r + s + rs defined for all r,s from R. This
operation is called 'circle multiplication'; it is also known as 'star
multiplication'. The monoid of elements of R under circle multiplication is
called the adjoint semigroup of R. The group of all invertible elements of
this monoid is called the adjoint group of R.
These notions naturally lead to a number of questions about the connection
between a ring and its adjoint group, for example, how the ring properties will
determine properties of the adjoint group; which groups can appear as adjoint
groups of rings; which rings can have adjoint groups with prescribed
properties, etc.
The main objective of the GAP package 'Circle' is to extend GAP functionality
for computations in adjoint groups of associative rings to make it possible to
use the GAP system for the investigation of such questions.
Circle provides functionality to construct circle objects that will respect
circle multiplication r*s = r + s + rs, create multiplicative groups, generated
by these objects, and compute groups of elements, invertible with respect to
this operation, for finite radical algebras and finite associative rings
without one.
--
You are receiving this mail because:
You are on the CC list for the bug.
You are always notified about changes to this product and component